2958 search results - page 92 / 592 » Extending and Implementing RASP |
CCECE
2006
IEEE
14 years 3 months ago
2006
IEEE
— The aim of this research is to implement sensorless vector control algorithms on a single, eventually reconfigurable, chip, with a computation timing constraint of, at most, 1...
SIGADA
1998
Springer
14 years 1 months ago
1998
Springer
Our institute has been developing the only publicly available implementation of the Ada 95 Distributed Systems Annex for several years in strong collaboration with Ada Core Techno...
AMAST
2006
Springer
14 years 22 days ago
2006
Springer
Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic spec...
PPDP
2010
Springer
13 years 7 months ago
2010
Springer
This paper connects the definitional interpreter for the λ-calculus extended with delimited continuation constructs, shift and reset, with a compiler and a low-level virtual mac...
DSD
2011
IEEE
12 years 8 months ago
2011
IEEE
Abstract—We present a new low-level interfacing scheme for connecting custom accelerators to processors that tolerates latencies that usually occur when accessing hardware accele...