503 search results - page 4 / 101 » Equality In Lazy Computation Systems |
132
Voted
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper, we propose a new, efficient logging protocol, called lazy logging, and a fast crash recovery protocol, called the prefetch-based crash recovery (PCR), for software ...
117
Voted
ERSHOV
2009
Springer
15 years 10 months ago
2009
Springer
One of the applications of supercompilation is proving properties
of programs.We focus in this paper on a speci c task: proving term
equivalence for a higher-order lazy functiona...
123
Voted
FORMATS
2004
Springer
15 years 8 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
118
click to vote
HOTI
2008
IEEE
15 years 10 months ago
2008
IEEE
Several types of low power passive equalizer is proposed and optimized in this work. The equalizer topologies include T-junction, parallel R-C and series R-L structures. These str...
136
click to vote
PSLS
1995
15 years 7 months ago
1995
Abstract. Lazy task creation (LTC) is an e cient approach for executing divide and conquer parallel programs that has been used in the implementation of Multilisp's future con...