7557 search results - page 668 / 1512 » Modeling Timed Concurrent Systems |
244
click to vote
SCANGIS
2003
15 years 8 months ago
2003
Although, most of phenomena change over time, there has been an attempt to model the phenomena of real world assuming a static nature for them. Even when changes occurred in the p...
182
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— Optical networks with book-ahead bandwidth schedulers are being deployed to meet the high-speed and predictable-service networking requirements of applications in the scientiï¬...
216
click to vote
RTAS
2003
IEEE
16 years 15 days ago
2003
IEEE
This paper presents our tool set implementation for scenario-based multithreading of object-oriented realtime models and an accompanying experimental validation. Our tools enable ...
196
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper; we describe optimal algorithmsfor incorporating error recovery in the imprecise computation model. In that model eack task compriser a mandatory and an optional par...
190
click to vote
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
In this paper, we present an approach for control-flow aware communication and conflict analysis of systems of parallel communicating processes. This approach allows to determine ...