19 search results - page 4 / 4 » Distributed Synthesis of Fault-Tolerant Programs in the High... |
134
Voted
CONCUR
2005
Springer
15 years 6 months ago
2005
Springer
d Abstract) Vijay Saraswat1 and Radha Jagadeesan2 1 IBM T.J. Watson Research Lab 2 School of CTI, DePaul University Abstract. We present the concurrency and distribution primitives...
116
Voted
ICDCS
1997
IEEE
15 years 5 months ago
1997
IEEE
—This paper describes algorithms for implementing a high-level programming model for synchronous distributed groupware applications. In this model, several application data objec...
113
Voted
FMSD
2006
15 years 1 months ago
2006
Synchronous specifications are appealing in the design of large scale hardware and software systems because of their properties that facilitate verification and synthesis. When the...
110
Voted
ICS
2009
Tsinghua U.
15 years 8 months ago
2009
Tsinghua U.
In this work, we propose a new FPGA design flow that combines the CUDA programming model from Nvidia with the state of the art high-level synthesis tool AutoPilot from AutoESL, to...