6308 search results - page 380 / 1262 » Modeling Urgency in Timed Systems |
175
click to vote
ICMCS
1996
IEEE
15 years 11 months ago
1996
IEEE
The most notable characteristic of continuous-media data is the existence of timing constraints. To handle such data appropriately, some system support for resource management and...
161
click to vote
AC
2005
Springer
15 years 6 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
188
click to vote
IWCMC
2006
ACM
16 years 21 days ago
2006
ACM
Orthogonal frequency division multiplexing (OFDM) is very sensitive to frequency offsets which result in considerable interference. Performance of the system will be exacerbated ...
175
click to vote
TC
2002
15 years 6 months ago
2002
This paper describes a group communication system called the timewheel group communication system that has been designed for a timed asynchronous distributed system model. The tim...
173
click to vote
WSC
2001
15 years 8 months ago
2001
This paper presents a methodology that integrates fuzzy clustering and computer simulation and demonstrates its use in modeling earthmoving operations. A simulation system (SimEar...