5600 search results - page 336 / 1120 » Synthesizing robust systems |
164
click to vote
SIGGRAPH
2000
ACM
15 years 11 months ago
2000
ACM
We describe a system for non-photorealistic rendering (NPR) of virtual environments. In real time, it synthesizes imagery of architectural interiors using stroke-based textures. W...
182
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
High-performance document clustering systems enable similar documents to automatically self-organize into groups. In the past, the large amount of computational time needed to clu...
194
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
The control flow of common processors does not match the specific needs of reactive systems. Key issues for these systems are preemption and concurrency, combined with timing pred...
165
click to vote
ERSA
2006
15 years 8 months ago
2006
In this paper we first outline and discuss the issues of currently accepted computational models for hybrid CPU/FPGA systems. Then, we discuss the need for researchers to develop ...
182
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Controller synthesis consists in automatically building controllers taking as inputs observation data and returning outputs guaranteeing that the controlled system satisfies some d...