748 search results - page 40 / 150 » Time and Probability in Process Algebra |
83
Voted
ICCAD
2007
IEEE
15 years 9 months ago
2007
IEEE
— We present a new linear time technique to compute criticality information in a timing graph by dividing it into “zones”. Errors in using tightness probabilities for critica...
124
click to vote
INFOCOM
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— A bloom filter is a simple, space-efficient, randomized data structure for concisely representing a static data set, in order to support approximate membership querie...
CONCUR
1990
Springer
15 years 4 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
182
Voted
ICDE
1999
IEEE
16 years 1 months ago
1999
IEEE
Most operations of the relational algebra or SQL require a sorted stream of tuples for efficient processing. Therefore, processing complex relational queries relies on efficient a...
110
click to vote
TSE
2008
15 years 9 days ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...