2500 search results - page 386 / 500 » Specifying Behavior in C |
123
Voted
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
Video kiosks increasingly contain powerful PC-like embedded processors, allowing them to display video at a high level of quality. Such video display, however, entails significant...
137
Voted
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
149
Voted
ICS
2000
Tsinghua U.
15 years 7 months ago
2000
Tsinghua U.
Memory system bottlenecks limit performance for many applications, and computations with strided access patterns are among the hardest hit. The streams used in such applications h...
112
Voted
ASPDAC
1995
ACM
15 years 7 months ago
1995
ACM
Most existing high-level synthesis(HLS) systems attempt to generate a circuit from a behavioral description \out of the void", using the entire design space as the search dom...
129
Voted
PODS
1995
ACM
15 years 7 months ago
1995
ACM
d abstract Marc Andries, Leiden University Luca Cabibbo, University of Romey Jan Paredaens, University of Antwerpz Jan Van den Bussche, INRIAx In the context of object databases...