419 search results - page 13 / 84 » Automatic Synthesis of Real Time Systems |
138
click to vote
DATE
2010
IEEE
15 years 14 days ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
127
click to vote
RTAS
2009
IEEE
15 years 8 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
104
click to vote
NIME
2004
Springer
15 years 7 months ago
2004
Springer
Auracle is a “group instrument,” controlled by the voice, for real-time, interactive, distributed music making over the Internet. It is implemented in the JavaTM programming l...
107
click to vote
ASPDAC
2005
ACM
15 years 3 months ago
2005
ACM
- To date, most high-level synthesis systems do not automatically solve present design problems, such as those related to timing associated with the physical implementation of mult...
135
click to vote
ICVS
1999
Springer
15 years 6 months ago
1999
Springer
We propose Action-Reaction Learning as an approach for analyzing and synthesizing human behaviour. This paradigm uncovers causal mappings between past and future events or between...