Výsledky vyhľadávania - lazy sequential computation

Proof Systems for Reasoning about Computation Errors Autor 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…”
Získať plný text

Sequential aggregate signatures with lazy verification from trapdoor permutations Autor 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…”
Získať plný text

Infinite executions of lazy and strict computations Autor Guttmann, Walter

Získať plný text

Parallel functional programming in Eden Autor 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…”
Získať plný text

Purge-Rehab: Eager Software Transactional Memory with High Performance Under Contention Autor 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…”
Získať plný text

EPICS: Efficient Parallel Pattern Fault Simulation for Sequential Circuits via Strongly Connected Components Autor 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…”
Získať plný text

Sequential Decision Making With Limited Observation Capability: Application to Wireless Networks Autor 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…”
Získať plný text

Privatizing transactions for Lee’s algorithm in commercial hardware transactional memory Autor 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…”
Získať plný text

Combining sequentialization-based verification of multi-threaded C programs with symbolic Partial Order Reduction Autor 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…”
Získať plný text

Human motion classification using 2D stick-model matching regression coefficients Autor 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…”
Získať plný text

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

“…Proposes lazy group sifting for dynamic variable reordering during state traversal of finite state machines (FSMs…”
Získať plný text

Universal domains for sequential computation Autor Kanneganti, Ramarao

“… However, most real programming languages support some form of higher-order data such as potentially infinite streams, lazy trees, and functions…”
Získať plný text

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

“… Evaluation strategies use non-strictness to separate the coordination and computation aspects of a Glasgow parallel Haskell (GpH) program…”
Získať plný text

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

“… The first is called lazy, the second eager. The strategies are tested on the Quadratic…”
Získať plný text

Parallel Integer Optimization for Crew Scheduling Autor 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…”
Získať plný text

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

“…This paper proposes lazy group sifting for dynamic variable re-ordering during state traversal…”
Získať plný text

Finite state machine-based optimization of data parallel regular domain problems applied in low-level image processing Autor 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…”
Získať plný text

Demand-driven logic simulation using a network of loosely coupled processors Autor 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…”
Získať plný text

HMT: A Hardware-Centric Hybrid Bonsai Merkle Tree Algorithm for High-Performance Authentication Autor 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…”
Získať plný text

Sequential Decision Making with Limited Observation Capability: Application to Wireless Networks Autor 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…”
Získať plný text