11328 search results - page 197 / 2266 » Timed Branching Processes |
94
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
This paper explores the idea that the space-time of a virtual reality could appear to those within it as our space-time does to us. The likely processing needed to do this include...
127
click to vote
DAC
2005
ACM
15 years 5 months ago
2005
ACM
Variability of process parameters makes prediction of digital circuit timing characteristics an important and challenging problem in modern chip design. Recently, statistical stat...
164
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we present an approach to the synthesis of fault-tolerant schedules for embedded applications with soft and hard real-time constraints. We are interested to guarante...
134
click to vote
ICLP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
117
Voted
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
More than a decade ago, Moller and Tofts published their seminal work on relating processes that are annotated with lower time bounds, with respect to speed. Their paper has left o...