7557 search results - page 189 / 1512 » Modeling Timed Concurrent Systems |
197
Voted
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Simultaneous reachability analysis SRA is a recently proposed approach to alleviating the state space explosion problem in reachability analysis of concurrent systems. Th...
160
Voted
SAMOS
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a model for instruction-level distributed computing that allows the implementation of scalable chip multiprocessors. Based on explicit microthreading it serves ...
153
click to vote
ECOOPW
1994
Springer
15 years 10 months ago
1994
Springer
ing Interactions Based on Message Sets Svend Frr 1 and Gul Agha2. 1 Hewlett-Packard Laboratories, 1501 Page Mill Road, Palo Alto, CA 94303 2 University of Illinois, 1304 W. Springf...
223
click to vote
EDBT
2012
ACM
13 years 8 months ago
2012
ACM
Many stream processing applications require access to a multitude of streaming as well as stored data sources. Yet there is no clear semantics for correct continuous query executi...
153
click to vote
FDL
2007
IEEE
16 years 23 days ago
2007
IEEE
This article introduces the Time Model subprofile of MARTE, a new OMG UML Profile dedicated to Modeling and Analysis of Real-Time and Embedded systems. After a brief presentatio...