415 search results - page 66 / 83 » Regular Processes and Timed Automata |
ESTIMEDIA
2009
Springer
14 years 3 months ago
2009
Springer
—We have integrated processing with deterministic and non-deterministic resource usage in an overall application and evaluated its performance on a multi-core processor platform....
SEFM
2008
IEEE
14 years 3 months ago
2008
IEEE
The only practical way to test distributed messagepassing systems is to use local testing. In this approach, used in formalisms such as concurrent TTCN-3, some components are repl...
LICS
2005
IEEE
14 years 2 months ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
IPMI
2001
Springer
14 years 9 months ago
2001
Springer
An efficient adaptive multigrid level set method for front propagation purposes in three dimensional medical image processing and segmentation is presented. It is able to deal with...
SSS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. “Pulse Synchronization” intends to invoke a recurring distributed event at the different nodes, of a distributed system as simultaneously as possible and with a freq...