15840 search results - page 769 / 3168 » The Control of Synchronous Systems |
195
click to vote
ASPDAC
2001
ACM
15 years 11 months ago
2001
ACM
This paper describes a novel approach to high-level synthesis of complex pipelined circuits, including pipelined circuits with feedback. This approach combines a high-level, modula...
177
click to vote
FORTE
2007
15 years 9 months ago
2007
This paper proposes a diagnosis framework for distributed systems based on pomset languages. Diagnosis is performed by projecting these models on a collection of observable labels ...
152
click to vote
ACL
2004
15 years 9 months ago
2004
In an ordinary syntactic parser, the input is a string, and the grammar ranges over strings. This paper explores generalizations of ordinary parsing algorithms that allow the inpu...
160
click to vote
MOCOMED
2003
15 years 9 months ago
2003
: The Transplantation Unit of the Technical University of Munich has developed a mobile, handheld based application for preoperative transplantation patient management. It provides...
185
Voted
FMOODS
2000
15 years 9 months ago
2000
We propose a formal real-time semantics for UML statecharts aimed at the requirements level. A requirements-level model assumes perfect technology and has a considerably simpler se...