1446 search results - page 203 / 290 » Hardware Software Co-Design Using Functional Languages |
141
click to vote
VL
1996
IEEE
15 years 9 months ago
1996
IEEE
This paper describes how to improve the reusability of iconic program modules. In iconic programming systems, the most important features for reuse are the customization of a modu...
148
click to vote
FCCM
2004
IEEE
15 years 8 months ago
2004
IEEE
Reconfigurable System-on-Chip (SoC) platforms that incorporate hard-core processors surrounded by large amounts of FPGA are today commodities: the reconfigurable logic is often us...
148
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...
207
click to vote
IGARSS
2010
14 years 11 months ago
2010
Polarimetric scene phenomenology yields a remote sensing modality that can be used in tandem with or alternative to panchromatic, multispectral, hyperspectral, or infrared intensi...
247
click to vote
ASPLOS
2009
ACM
16 years 5 months ago
2009
ACM
The growth in complexity of modern systems makes it increasingly difficult to extract high-performance. The software stacks for such systems typically consist of multiple layers a...