244 search results - page 48 / 49 » Testing Digital Circuits with Constraints |
IEEEPACT
2008
IEEE
14 years 3 months ago
2008
IEEE
Technology scaling in integrated circuits has consistently provided dramatic performance improvements in modern microprocessors. However, increasing device counts and decreasing o...
ICA
2010
Springer
13 years 9 months ago
2010
Springer
Two-photon calcium imaging is an emerging experimental technique that enables the study of information processing within neural circuits in vivo. While the spatial resolution of th...
MOBISYS
2009
ACM
14 years 9 months ago
2009
ACM
In this paper, we present a reliable storage service, called SolarStore, that adaptively trades-off storage reliability versus energy consumption in solar-powered sensor networks....
ICFP
2001
ACM
14 years 8 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
COMPGEOM
2009
ACM
14 years 3 months ago
2009
ACM
Data conflation is a major issue in GIS: spatial data obtained from different sources, using different acquisition techniques, needs to be combined into one single consistent d...