1539 search results - page 53 / 308 » Is it time for real-time functional programming |
121
click to vote
ECRTS
2004
IEEE
15 years 7 months ago
2004
IEEE
In [1], Jejurikar and Gupta investigated energy savings due to optimal slowdown of periodic tasks in real-time task systems, where tasks have varying power characteristics and task...
136
Voted
FMICS
2008
Springer
15 years 5 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
143
click to vote
VMV
2001
15 years 4 months ago
2001
In this paper we demonstrate the benefits of the most current nVidia graphics chip set for realistic simulation and rendering of dynamic water surfaces in real-time. In particular...
129
Voted
WCET
2007
15 years 4 months ago
2007
Memory corruption is one of the most common software failures. For sequential software and multitasking software with synchronized data accesses, it has been shown that program fa...
199
Voted
IV
2010
IEEE
15 years 1 months ago
2010
IEEE
—Molecular visualization is one of the cornerstones in structural bioinformatics and related fields. Today, rasterization is typically used for the interactive display of molecu...