1164 search results - page 144 / 233 » Case Studies in Event-Driven Control |
135
click to vote
PPPJ
2009
ACM
15 years 11 months ago
2009
ACM
Repository-based revision control systems such as CVS, RCS, Subversion, and GIT, are extremely useful tools that enable software developers to concurrently modify source code, man...
158
click to vote
HYBRID
1998
Springer
15 years 8 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
146
click to vote
IPPS
1997
IEEE
15 years 8 months ago
1997
IEEE
Several optimizations to the Time Warp synchronization protocol for parallel discrete event simulation have been proposed and studied. Many of these optimizations have included so...
159
click to vote
CSREAPSC
2006
15 years 5 months ago
2006
Abstract - Recent advances in multimedia network systems have led to the development of a new generation of applications that associate the use of various multimedia objects. The c...
132
click to vote
CCR
2000
15 years 4 months ago
2000
Distributed optimal traffic engineering in the presence of multiple paths has been found to be a difficult problem to solve. In this paper, we introduce a new approach in an attem...