4520 search results - page 888 / 904 » Algebraic Techniques for Timed Systems |
112
click to vote
EGH
2003
Springer
15 years 6 months ago
2003
Springer
Current graphics hardware can render procedurally shaded objects in real-time. However, due to resource and performance limitations, interactive shaders can not yet approach the c...
NPAR
2010
ACM
15 years 5 months ago
2010
ACM
Recent years have witnessed significant advances in 3D brush modeling and simulation in digital paint tools. Compared with traditional 2D brushes, a 3D brush can be both more intu...
124
Voted
PLDI
2010
ACM
15 years 5 months ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...
119
Voted
APSEC
2002
IEEE
15 years 5 months ago
2002
IEEE
We have taught several distributed software engineering project courses with students and real clients [4]. During these projects, students in Pittsburgh and Munich, Germany colla...
100
click to vote
AIME
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Mechanical ventilation can cause severe lung damage by inadequate adjustment of the ventilator. We introduce a Machine Learning approach to predict the pressure-dependent...