Sciweavers

1830 search results - page 28 / 366
» Functional Programs as Linked Data
Sort
View
96
Voted
SIGSOFT
2002
ACM
16 years 14 days ago
Improving program slicing with dynamic points-to data
Program slicing is a potentially useful analysis for aiding program understanding. However, slices of even small programs are often too large to be generally useful. Imprecise poi...
Markus Mock, Darren C. Atkinson, Craig Chambers, S...
CORR
2008
Springer
113views Education» more  CORR 2008»
14 years 11 months ago
A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann Encodings and Pairing Functions
The paper is organized as a self-contained literate Haskell program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmet...
Paul Tarau
CDC
2009
IEEE
111views Control Systems» more  CDC 2009»
15 years 4 months ago
On fusion of information from multiple sensors in the presence of analog erasure links
— Consider multiple sensors that transmit data over analog erasure links to an estimation center. The sensors have access to distinct entries of the output vector of a linear and...
Vijay Gupta, Nuno C. Martins
90
Voted
ASPDAC
2009
ACM
141views Hardware» more  ASPDAC 2009»
15 years 3 months ago
Adaptive inter-router links for low-power, area-efficient and reliable Network-on-Chip (NoC) architectures
Abstract-- The increasing wire delay constraints in deep submicron VLSI designs have led to the emergence of scalable and modular Network-on-Chip (NoC) architectures. As the power ...
Avinash Karanth Kodi, Ashwini Sarathy, Ahmed Louri...
ICCAD
2003
IEEE
142views Hardware» more  ICCAD 2003»
15 years 8 months ago
Energy Optimization of Distributed Embedded Processors by Combined Data Compression and Functional Partitioning
Transmitting compressed data can reduce inter-processor communication traffic and create new opportunities for DVS (dynamic voltage scaling) in distributed embedded systems. Howe...
Jinfeng Liu, Pai H. Chou