16725 search results - page 3089 / 3345 » Engineering Software Correctness |
126
click to vote
VRST
2009
ACM
15 years 10 months ago
2009
ACM
We propose a novel wearable imaging system that can capture omnidirectional movies from the viewpoint of the camera wearer. The imaging system solves the problems of resolution un...
148
click to vote
ARCS
2010
Springer
15 years 10 months ago
2010
Springer
This paper describes how a superscalar in-order processor must be modified to support Simultaneous Multithreading (SMT) such that time-predictability is preserved for hard real-ti...
132
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
121
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
143
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value...