7124 search results - page 1232 / 1425 » Programming Languages and Operating Systems |
123
Voted
VMCAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
104
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...
124
Voted
VR
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper, we introduce DLoVe, a new paradigm for designing and implementing distributed and nondistributed virtual reality applications, using one-way constraints. DLoVe allo...
112
click to vote
HPCN
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. We discuss the High Performance Fortran data parallel programming language as an aid to software engineering and as a tool for exploiting High Performance Computing syste...
104
Voted
IWMM
2010
Springer
15 years 4 months ago
2010
Springer
Shadow memory is used by dynamic program analysis tools to store metadata for tracking properties of application memory. The efficiency of mapping between application memory and s...