4520 search results - page 888 / 904 » Algebraic Techniques for Timed Systems |
EGH
2003
Springer
14 years 3 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
14 years 2 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...
PLDI
2010
ACM
14 years 2 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...
APSEC
2002
IEEE
14 years 2 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...
AIME
2009
Springer
14 years 2 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...