Search Results - lazy sequential computation

Proof Systems for Reasoning about Computation Errors by Avron, Arnon, Konikowska, Beata

“… In that context, 3-valued McCarthy logic is suitable for handling lazy sequential computation, while 3-valued Kleene logic can be used for reasoning about parallel computation…”
Get full text

Sequential aggregate signatures with lazy verification from trapdoor permutations by Brogle, Kyle, Goldberg, Sharon, Reyzin, Leonid

“…Sequential aggregate signature schemes allow n signers, in order, to sign a message each, at a lower total cost than the cost of n individual signatures…”
Get full text

Infinite executions of lazy and strict computations by Guttmann, Walter

Get full text

Parallel functional programming in Eden by LOOGEN, RITA, ORTEGA-MALLÉN, YOLANDA, PEÑA-MARÍ, RICARDO

“… In order to offer effective support for parallel evaluation, Eden's coordination constructs override the inherently sequential demand-driven (lazy…”
Get full text

Purge-Rehab: Eager Software Transactional Memory with High Performance Under Contention by Siddique, Abubakar, Ansari, Mohammad, Luján, Mikel

“… Transactional memory uses either eager (at encounter time) or lazy (at commit time) validation to check for conflicting accesses between concurrent transactions, and researchers have been divided over which approach is best…”
Get full text

EPICS: Efficient Parallel Pattern Fault Simulation for Sequential Circuits via Strongly Connected Components by Wang, Mingjun, Wang, Hui, Mu, Jianan, Zhang, Xinyu, Sun, Bin, Wen, Yihan, Liu, Zizhen, Gu, Feng, Gao, Jun, Liang, Shengwen, Ye, Jing, Li, Xiaowei, Li, Huawei

“… However, for large-scale industrial sequential circuits, these simulations are time-consuming, creating a significant bottleneck in chip development…”
Get full text

Sequential Decision Making With Limited Observation Capability: Application to Wireless Networks by Kaza, Kesav, Meshram, Rahul, Mehta, Varun, Merchant, Shabbir N.

“… We call them lazy restless bandits (LRBs) as the events of decision making are sparser than the events of state transition…”
Get full text

Privatizing transactions for Lee’s algorithm in commercial hardware transactional memory by Quislant, Ricardo, Gutierrez, Eladio, Zapata, Emilio L., Plata, Oscar

“… In fact, Lee’s algorithm has been proved to perform similar to sequential in commercial hardware transactional memory systems due to persistent capacity overflows…”
Get full text

Combining sequentialization-based verification of multi-threaded C programs with symbolic Partial Order Reduction by Herdt, Vladimir, Le, Hoang M., Große, Daniel, Drechsler, Rolf

“… This lazy sequentialization scheme encodes all thread schedules up to a given exploration bound into a single non-deterministic sequential C program…”
Get full text

Human motion classification using 2D stick-model matching regression coefficients by Chan, C.K., Loh, W.P., Rahim, I. Abd

“…•A 2D human motion model developed based on polynomial regression data fit.•Human motion modeled in three segments: backbone, upper body and lower…”
Get full text

Lazy group sifting for efficient symbolic state traversal of FSMs by Higuchi, H., Somenzi, F.

“…Proposes lazy group sifting for dynamic variable reordering during state traversal of finite state machines (FSMs…”
Get full text

Universal domains for sequential computation by Kanneganti, Ramarao

“… However, most real programming languages support some form of higher-order data such as potentially infinite streams, lazy trees, and functions…”
Get full text

Parallel evaluation strategies for lazy data structures in haskell by Totoo, Prabhat

“… Evaluation strategies use non-strictness to separate the coordination and computation aspects of a Glasgow parallel Haskell (GpH) program…”
Get full text

On the best search strategy in parallel branch‐and‐bound:Best‐First Search versus Lazy Depth‐First Search by Clausen, J., Perregaard, M.

“… The first is called lazy, the second eager. The strategies are tested on the Quadratic…”
Get full text

Parallel Integer Optimization for Crew Scheduling by Alefragis, Panayiotis, Sanders, Peter, Takkula, Tuomo, Wedelin, Dag

“… A lazy variant of this approach which decouples communication and computation is even useful on networks of workstations…”
Get full text

Lazy group sifting for efficient symbolic state traversal of FSMs by Higuchi, Hiroyuki, Somenzi, Fabio

“…This paper proposes lazy group sifting for dynamic variable re-ordering during state traversal…”
Get full text

Finite state machine-based optimization of data parallel regular domain problems applied in low-level image processing by Seinstra, F.J., Koelma, D., Bagdanov, A.D.

“…A popular approach to providing nonexperts in parallel computing with an easy-to-use programming model is to design a software library consisting of a set of…”
Get full text

Demand-driven logic simulation using a network of loosely coupled processors by Dunne, Paul E., Leng, Paul H., Nwana, Gerald F.

“… Circuits modelled as directed graphs comprising clocked sequential components and (unclocked) arbitrary combinational logic gates can be partitioned into separate tasks…”
Get full text

HMT: A Hardware-Centric Hybrid Bonsai Merkle Tree Algorithm for High-Performance Authentication by Rakin Muhammad Shadab, Zou, Yu, Gandham, Sanjay, Awad, Amro, Lin, Mingjie

“…) to protect the metadata such as encryption counters. Common BMT algorithms were designed for traditional Von Neumann architectures with a software-centric implementation in mind, hence they use a lot of recursions and are often sequential in nature…”
Get full text

Sequential Decision Making with Limited Observation Capability: Application to Wireless Networks by Kaza, Kesav, Meshram, Rahul, Mehta, Varun, Merchant, S N

“… We call them lazy restless bandits (LRB) as the events of decision-making are sparser than events of state transition…”
Get full text