512 search results - page 58 / 103 » Distributed synthesis of real-time computer systems |
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...
AAAI
1998
13 years 10 months ago
1998
Manyimportant physical phenomena,such as temperature distribution, air flow, and acoustic waves,are describedas continuous,distributed parameterfields. Analyzingandcontrolling the...
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
Many embedded control systems comprise several control loops that are closed over a network of computation nodes. In such systems, complex timing behavior and communication lead t...
LPAR
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
MM
2004
ACM
14 years 2 months ago
2004
ACM
Advanced human computer interaction requires automatic reading of human face in order to make the computer interact with human in the same way as human-to-human communication. We ...