16725 search results - page 2679 / 3345 » Engineering Software Correctness |
343
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
194
click to vote
ICFP
2002
ACM
16 years 7 months ago
2002
ACM
This paper presents a monadic approach to incremental computation, suitable for purely functional languages such as Haskell. A program that uses incremental computation is able to...
175
click to vote
ICCD
2006
IEEE
16 years 4 months ago
2006
IEEE
— As the geometries of the transistors reach the physical limits of operation, one of the main design challenges of Systems-on-Chips (SoCs) will be to provide dynamic (run-time) ...
204
click to vote
SOSP
2007
ACM
16 years 4 months ago
2007
ACM
We present Zyzzyva, a protocol that uses speculation to reduce the cost and simplify the design of Byzantine fault tolerant state machine replication. In Zyzzyva, replicas respond...
154
click to vote
CC
2010
Springer
16 years 2 months ago
2010
Springer
Compilers use register coalescing to avoid generating code for copy instructions. For architectures with register aliasing such as x86, Smith, Ramsey, and Holloway (2004) presented...