1980 search results - page 248 / 396 » Compositional Model Checking of Real Time Systems |
108
Voted
ACRI
2006
Springer
15 years 9 months ago
2006
Springer
This paper presents an application of Cellular Automata in the field of dry Granular Systems modelling. While the study of granular systems is not a recent field, no efficient mo...
130
click to vote
CSFW
2006
IEEE
15 years 9 months ago
2006
IEEE
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...
165
Voted
CATA
2006
15 years 4 months ago
2006
This paper introduces a real time human hand simulation system. A lifelike hand model is constructed and some of the human hand constraints are applied to it. Natural hand gesture...
139
click to vote
RTCSA
2007
IEEE
15 years 9 months ago
2007
IEEE
Given the major advantages of productivity and safety, the use of garbage collection (GC) in real-time systems has gained increasing attention. Guaranteeing garbage collection act...
134
Voted
ACMSE
1992
ACM
15 years 7 months ago
1992
ACM
A scheme for disk subsystem performance enhancement that is based on (virtual) cylinder remapping is proposed. A natural workload on a real system is measured, and statistical tes...