7557 search results - page 185 / 1512 » Modeling Timed Concurrent Systems |
173
click to vote
ARTS
1999
Springer
15 years 10 months ago
1999
Springer
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
193
click to vote
DSRT
2005
IEEE
16 years 1 days ago
2005
IEEE
This document presents a simulation-based method for the development of real time embedded systems. This kind of system is really sensitive to the communication with external envi...
171
Voted
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
As computing systems of all types grow in power and complexity, it is common to want to simultaneously execute processes with different timeliness constraints. Many systems use CP...
198
click to vote
IFM
2007
Springer
16 years 17 days ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
183
click to vote
VLDB
1987
ACM
15 years 10 months ago
1987
ACM
A conventional transaction manager implemented by a database management system (DBMS) was compared against one implemented within an operating system (OS) in a variety of simulate...