619 search results - page 101 / 124 » The Design and Implementation of a Certifying Compiler |
PDCAT
2007
Springer
14 years 2 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 ...
VEE
2006
ACM
14 years 2 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
14 years 2 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
14 years 2 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...
ESOP
1998
Springer
14 years 27 days 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 ...