3820 search results - page 418 / 764 » Bounded Model Debugging |
152
click to vote
ECRTS
2006
IEEE
15 years 10 months ago
2006
IEEE
As real-time and embedded systems become increasingly large and complex, the traditional strictly static approach to memory management begins to prove untenable. The challenge is ...
129
Voted
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
The growing reliance on services provided by software applications places a high premium on the reliable and efficient operation of these applications. A number of these applicat...
123
Voted
VRCAI
2004
ACM
15 years 9 months ago
2004
ACM
Collision detection is required by most virtual reality (VR) applications, and in recent years, collision detection algorithms utilizing graphics hardware capabilities have been a...
112
click to vote
MFCS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this work, we consider an interesting variant of the wellstudied KP model [18] for selfish routing that reflects some influence from the much older Wardrop model [3...
179
Voted
PADS
1999
ACM
15 years 8 months ago
1999
ACM
We have developed a set of performance prediction tools which help to estimate the achievable speedups from parallelizing a sequential simulation. The tools focus on two important...