619 search results - page 78 / 124 » The Design and Implementation of a Certifying Compiler |
107
Voted
ISCA
2008
IEEE
15 years 10 months ago
2008
IEEE
There is still much performance to be gained by out-of-order processors with wider issue widths. However, traditional methods of increasing issue width do not scale; that is, they...
119
click to vote
ICESS
2007
Springer
15 years 10 months ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
120
Voted
ICAS
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a new framework optimized for the design, implementation, and testing of control systems for autonomous robots. It is based on a new visual specification language whic...
139
click to vote
IEEESCC
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents Abacus, a service-oriented programming language designed for the development of grid applications. Abacus considers that all the grid resources constitute a un...
148
click to vote
EUROPAR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...