2935 search results - page 554 / 587 » An Integrated Approach to High Integrity Software Verificati... |
170
click to vote
CASES
2011
ACM
14 years 4 months ago
2011
ACM
Cost pressure is driving vendors of safety-critical systems to integrate previously distributed systems. One natural approach we have previous introduced is On-Demand Redundancy (...
160
click to vote
SC
2009
ACM
15 years 11 months ago
2009
ACM
MapReduce provides a parallel and scalable programming model for data-intensive business and scientific applications. MapReduce and its de facto open source project, called Hadoop...
138
click to vote
VEE
2009
ACM
15 years 11 months ago
2009
ACM
r of high-level languages lies in their abstraction over hardware and software complexity, leading to greater security, better reliability, and lower development costs. However, o...
154
click to vote
CGO
2008
IEEE
15 years 10 months ago
2008
IEEE
Array inlining expands the concepts of object inlining to arrays. Groups of objects and arrays that reference each other are placed consecutively in memory so that their relative ...
161
click to vote
VRML
2003
ACM
15 years 9 months ago
2003
ACM
Success of 3D applications on the Web inherently depends on object behavior and interaction. Current Web3D formats often fall short in supporting behavior modeling. This paper int...