3536 search results - page 50 / 708 » Local dependent components |
CACM
2010
13 years 5 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
IPAS
2007
13 years 10 months ago
2007
Conventional approach in single-chip digital cameras is a use of color lter arrays (CFA) in order to sample di erent spectral components. Demosaicing algorithms interpolate these ...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
Analytic execution architectures have been proposed by the same authors as a means to conceptualize the cooperation between heterogeneous collectives of components such as program...
ICUMT
2009
13 years 5 months ago
2009
Pan-European laboratory (Panlab) is based on a federation of distributed interconnected testbeds, providing access to platforms, networks and services for testing. Core components ...
ICCAD
2003
IEEE
14 years 4 months ago
2003
IEEE
As current silicon-based techniques fast approach their practical limits, the investigation of nanoscale electronics, devices and system architectures becomes a central research p...