1256 search results - page 84 / 252 » A Model of Interaction in Concurrent and Distributed Systems |
128
click to vote
PPOPP
2012
ACM
13 years 11 months ago
2012
ACM
The actor model has already proven itself as an interesting concurrency model that avoids issues such as deadlocks and race conditions by construction, and thus facilitates concur...
115
click to vote
EUC
2004
Springer
15 years 9 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...
116
click to vote
PG
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we describe a fast and interactive model to simulate and control the fire phenomenon. We use a modified interactive fluid dynamics solver to describe the motion o...
132
click to vote
FMSD
2006
15 years 4 months ago
2006
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...
159
click to vote
SAC
2010
ACM
14 years 11 months ago
2010
ACM
This work proposes a new methodology for automatically validating the internal lighting system of an automotive, i.e., assessing the visual quality of an instrument cluster (IC) f...