800 search results - page 90 / 160 » Programming Models for Concurrency and Real-Time |
135
click to vote
ICALP
1997
Springer
15 years 5 months ago
1997
Springer
Rectangular hybrid automatamodel digital control programs of analog plant environments. We study rectangular hybrid automatawhere the plant state evolves continuously in real-numbe...
103
click to vote
CONCUR
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
DSL
1997
15 years 2 months ago
1997
The World-Wide Web is rich in content and services, but access to these resources must be obtained mostly through manual browsers. We would like to be able to write programs that ...
VMCAI
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
111
click to vote
FIDJI
2003
Springer
15 years 6 months ago
2003
Springer
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...