4520 search results - page 61 / 904 » Algebraic Techniques for Timed Systems |
95
Voted
SAC
2006
ACM
15 years 7 months ago
2006
ACM
Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain i...
125
Voted
ICLP
2003
Springer
15 years 7 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
92
Voted
EURODAC
1994
IEEE
15 years 6 months ago
1994
IEEE
Due to the complexity of today's systems, prototyping by simulation must be based on simulation-engine-like performance. It is proved by implementations that compiler-driven ...
100
Voted
ISOLA
2004
Springer
15 years 7 months ago
2004
Springer
Methods for Worst-Case Execution Time (WCET) analysis have been known for some time, and recently commercial tools have emerged. However, the technique has so far not been much use...
123
click to vote
SEW
2006
IEEE
15 years 7 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...