5200 search results - page 669 / 1040 » Symbolic models for control systems |
210
click to vote
RTAS
2002
IEEE
16 years 18 days ago
2002
IEEE
Real-time scheduling theory has developed powerful tools for translating conditions on aggregate system utilization into per-task schedulability guarantees. The main breakthrough ...
200
click to vote
SIGGRAPH
2000
ACM
16 years 1 days 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...
265
click to vote
FGCS
2002
15 years 7 months ago
2002
Initial versions of MPI were designed to work efficiently on multi-processors which had very little job control and thus static process models. Subsequently forcing them to suppor...
160
click to vote
ECAI
2008
Springer
15 years 9 months ago
2008
Springer
Control of networks like those for transportation, power distribution, communication to name a few, provides challenges to planning and scheduling. Many problems can be defined in ...
206
Voted
IUI
2009
ACM
16 years 4 months ago
2009
ACM
We present data-driven methods for supporting musical creativity by capturing the statistics of a musical database. Specifically, we introduce a system that supports users in expl...