22698 search results - page 4104 / 4540 » Modeling in Software Engineering |
247
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
140
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
This paper presents a method for creating formally correct just-intime (JIT) compilers. The tractability of our approach is demonstrated through, what we believe is the first, ver...
146
click to vote
TEI
2010
ACM
16 years 1 months ago
2010
ACM
Relief is an actuated tabletop display, which is able to render and animate three-dimensional shapes with a malleable surface. It allows users to experience and form digital model...
153
click to vote
SBP
2010
Springer
16 years 1 months ago
2010
Springer
Open source communities have been of great interest for researchers recently, yet little can be agreed upon when it comes to developers motives. While it has been shown that partic...
182
click to vote
CLUSTER
2009
IEEE
16 years 29 days ago
2009
IEEE
—We present and analyze two new communication libraries, cudaMPI and glMPI, that provide an MPI-like message passing interface to communicate data stored on the graphics cards of...