12115 search results - page 2127 / 2423 » Bisimulation of Dynamical Systems |
182
click to vote
APLAS
2003
ACM
15 years 12 months ago
2003
ACM
This paper introduces a Standard ML realization of the scrap-yourboilerplate generic-programming mechanism (first introduced by Simon Peyton Jones and Ralf Lämmel), which gives ...
169
click to vote
CASES
2003
ACM
15 years 12 months ago
2003
ACM
Focusing on embedded applications, scratchpad memories (SPMs) look like a best-compromise solution when taking into account performance, energy consumption and die area. The main ...
184
click to vote
ISLPED
2003
ACM
15 years 12 months ago
2003
ACM
This paper addresses two aspects of low-power design for FPGA circuits. First, we present an RT-level power estimator for FPGAs with consideration of wire length. The power estima...
219
click to vote
MOBIDE
2003
ACM
15 years 12 months ago
2003
ACM
The common vision of pervasive computing environments requires a very large range of devices and software components to interoperate seamlessly. From the assumption that these dev...
189
click to vote
SC
2003
ACM
15 years 12 months ago
2003
ACM
This paper presents a compiler analysis for data communication for the purpose of transforming ordinary programs into ones that run on distributed systems. Such transformations ha...