1350 search results - page 134 / 270 » Reasoning about Staged Computation |
169
click to vote
SPIN
2005
Springer
16 years 11 days ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
192
click to vote
PASTE
2004
ACM
16 years 9 days ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
149
click to vote
ESOP
2004
Springer
16 years 8 days ago
2004
Springer
A transaction defines a locus of computation that satisfies important concurrency and failure properties; these so-called ACID properties provide strong serialization guarantees ...
167
click to vote
PRIMA
2004
Springer
16 years 7 days ago
2004
Springer
— Distributed computing systems are increasingly being created as self-organizing collections of many autonomous (human or software) agents cooperating as peers. Peer-to-peer coo...
177
click to vote
ECCV
2010
Springer
16 years 7 days ago
2010
Springer
Photometric stereo relies on inverting the image formation process, and doing this accurately requires reasoning about the visibility of light sources with respect to each image po...