619 search results - page 101 / 124 » The Design and Implementation of a Certifying Compiler |
PDCAT
2007
Springer
15 years 5 months ago
2007
Springer
We present the architecture of nreduce, a distributed virtual machine which uses parallel graph reduction to run programs across a set of computers. It executes code written in a ...
119
click to vote
VEE
2006
ACM
15 years 5 months ago
2006
ACM
We present Vector LLVA, a virtual instruction set architecture (VISA) that exposes extensive static information about vector parallelism while avoiding the use of hardware-speciļ¬...
HIPEAC
2005
Springer
15 years 5 months ago
2005
Springer
ions Sebastian Pop 1 , Albert Cohen 2 , and Georges-AndrĀ“e Silber 1 1 CRI, Mines Paris, Fontainebleau, France 2 ALCHEMY group, INRIA Futurs, Orsay, France Abstract. This paper pre...
CD
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. JBoss is an extensible Java application server that aļ¬ords remote access to EJB components via multiple protocols. Its IIOP module supports IIOP-enabled EJBs, which are...
107
Voted
ESOP
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. In the eld of reactive system programming, data ow synchronous languages like Lustre BCH+85,CHPP87 or Signal GBBG85 o er a syntax similar to block-diagrams, and can be e ...