2850 search results - page 63 / 570 » On Timed Models and Full Abstraction |
174
Voted
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
122
click to vote
WSC
2000
15 years 7 months ago
2000
In determining an electronic workflow system, a financial services firm utilized simulation to determine the necessary capital expenditure. Analysis included batching options, Ser...
167
click to vote
SIGMETRICS
2003
ACM
15 years 11 months ago
2003
ACM
We analyze the asymptotic tail distribution of stationary waiting times and stationary virtual waiting times in a singleserver queue with long-range dependent arrival process and ...
159
click to vote
FMICS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
178
click to vote
CONCUR
1992
Springer
15 years 10 months ago
1992
Springer
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...