619 search results - page 28 / 124 » The Design and Implementation of a Certifying Compiler |
ARITH
2009
IEEE
14 years 22 days ago
2009
IEEE
This paper deals with the design and implementation of low latency software for binary floating-point division with correct rounding to nearest. The approach we present here targe...
ISORC
2009
IEEE
14 years 3 months ago
2009
IEEE
Java is one of the most popular programming languages for the development of portable workstation and server applications available today. Because of its clean design and typesafe...
ATAL
2006
Springer
14 years 14 days ago
2006
Springer
In this paper, we present the most important features of SeSAm, a modeling and simulation platform for multi-agent simulations. Based on a declarative, explicit model representati...
APCSAC
2001
IEEE
14 years 11 days ago
2001
IEEE
A popular trend in current software technology is to gain program portability by compiling programs to an inte form based on an abstract machine definition. Such approaches date b...
CONCURRENCY
2007
13 years 8 months ago
2007
OpenMP has gained wide popularity as an API for parallel programming on shared memory and distributed shared memory platforms. Despite its broad availability, there remains a need ...