Suchergebnisse - lazy sequential computation

Proof Systems for Reasoning about Computation Errors von 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 …”
Volltext

Sequential aggregate signatures with lazy verification from trapdoor permutations von 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 …”
Volltext

Infinite executions of lazy and strict computations von Guttmann, Walter

Volltext

Parallel functional programming in Eden von 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 …”
Volltext

Purge-Rehab: Eager Software Transactional Memory with High Performance Under Contention von 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 …”
Volltext

EPICS: Efficient Parallel Pattern Fault Simulation for Sequential Circuits via Strongly Connected Components von 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 …”
Volltext

Sequential Decision Making With Limited Observation Capability: Application to Wireless Networks von 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 …”
Volltext

Privatizing transactions for Lee’s algorithm in commercial hardware transactional memory von 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 …”
Volltext

Combining sequentialization-based verification of multi-threaded C programs with symbolic Partial Order Reduction von 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 …”
Volltext

Human motion classification using 2D stick-model matching regression coefficients von 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 …”
Volltext

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

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

Universal domains for sequential computation von Kanneganti, Ramarao

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

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

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

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

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

Parallel Integer Optimization for Crew Scheduling von 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 …”
Volltext

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

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

Finite state machine-based optimization of data parallel regular domain problems applied in low-level image processing von 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 …”
Volltext

Demand-driven logic simulation using a network of loosely coupled processors von 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 …”
Volltext

HMT: A Hardware-Centric Hybrid Bonsai Merkle Tree Algorithm for High-Performance Authentication von 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 …”
Volltext

Sequential Decision Making with Limited Observation Capability: Application to Wireless Networks von 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 …”
Volltext