3902 search results - page 667 / 781 » Hardware Synthesis from C C Models |
104
Voted
ARGMAS
2006
Springer
15 years 2 months ago
2006
Springer
Social influences play an important part in the actions that an individual agent may perform within a multi-agent society. However, the incomplete knowledge and the diverse and co...
89
Voted
HIPEAC
2010
Springer
15 years 2 months ago
2010
Springer
We present Offload, a programming model for offloading parts of a C++ application to run on accelerator cores in a heterogeneous multicore system. Code to be offloaded is enclosed ...
109
click to vote
FASE
2008
Springer
15 years 2 months ago
2008
Springer
For a number of programming languages, among them Eiffel, C, Java and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are ...
89
Voted
BILDMED
2008
15 years 2 months ago
2008
Operative reconstruction of fractured orbital floors must among others ensure equal volumes for left and right sides. In this paper, we present Thomas M. Deserno1 Wei Liao1 a plan...
105
Voted
DBSEC
2007
15 years 2 months ago
2007
Abstract. In this paper, we present the design of gVault, a cryptographic network file system that utilizes the data storage provided by Gmail’s web-based email service. Such a ...