7557 search results - page 23 / 1512 » Modeling Timed Concurrent Systems |
116
click to vote
TCAD
1998
15 years 29 days ago
1998
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
123
click to vote
VLDB
1991
ACM
15 years 4 months ago
1991
ACM
Due to its potential for a high degree of parallelism, optimistic concurrency control is expected to perform better than two-phase locking when integrated with priority-driven CPU...
EUC
2004
Springer
15 years 6 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...
127
click to vote
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
ENTCS
2006
15 years 1 months ago
2006
Executing concurrent specifications on sequential hardware is important for both simulation of systems that are eventually implemented on concurrent hardware and for those most co...