1922 search results - page 126 / 385 » Systems biology, models, and concurrency |
HICSS
1997
IEEE
15 years 5 months ago
1997
IEEE
One model of multithreading gaining popularity on multiprocessor systems is the message-driven model of computation. The message-driven model is a reactive model in which an arriv...
154
click to vote
SPIN
2000
Springer
15 years 5 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
ICDE
2006
IEEE
15 years 7 months ago
2006
IEEE
The CVS (Concurrent Versions System) software is a popular method for recording modifications to data objects, in addition to concurrent access to data in a multi-user environmen...
160
click to vote
HPTS
1993
15 years 5 months ago
1993
Elements of transaction processing become more and more accepted as a base for general purpose distributed computing.We have developed an action concept with an extended functiona...
135
click to vote
CONCUR
1992
Springer
15 years 5 months ago
1992
Springer
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...