6308 search results - page 103 / 1262 » Modeling Urgency in Timed Systems |
RTAS
2005
IEEE
15 years 3 months ago
2005
IEEE
EUC
2004
Springer
15 years 3 months ago
2004
Springer
Every computer needs a timer mechanism to keep track of current time and also for various accounting purposes such as calculating the time spent by a process in CPU utilization, di...
PADS
2009
ACM
15 years 4 months ago
2009
ACM
A methodology and its associated algorithms are presented for mapping a novel, field-based vehicular mobility model onto graphical processing unit computational platform for simul...
SCCC
1998
IEEE
15 years 2 months ago
1998
IEEE
CORBA is a middleware with open standardization that is receiving plenty of acceptance for facilitating the distributed objects programming. CORBA is being extended through the sp...
KBSE
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...