4151 search results - page 477 / 831 » Language Driven System Design |
157
click to vote
IPPS
2006
IEEE
16 years 27 days ago
2006
IEEE
Checkpoint and Recovery (CPR) systems have many uses in high-performance computing. Because of this, many developers have implemented it, by hand, into their applications. One of ...
202
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
169
click to vote
ICASSP
2009
IEEE
2009
IEEE
From rule-based to statistical grammars: Continuous improvement of large-scale spoken dialog systems
15 years 10 months ago
Statistical Spoken LanguageUnderstandinggrammars (SSLUs) are often used only at the top recognition contexts of modern large-scale spoken dialog systems. We propose to use SSLUs a...
163
click to vote
ANSS
2001
IEEE
15 years 10 months ago
2001
IEEE
In a Web-Based federated simulation system, a group of simulation models residing on different machines attached to the Internet, called federates, collaborate with each other to ...
206
click to vote
ICIA
2007
15 years 9 months ago
2007
We address the problem of users creating visualizations to debug and understand multi-agent systems. The key challenges are that (1) needs arise dynamically, i.e., it is difficult...