Výsledky vyhledávání - 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ískat 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ískat plný text

Infinite executions of lazy and strict computations Autor Guttmann, Walter

Získat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat plný text