Sciweavers

3864 search results - page 200 / 773
» time 2005
Sort
View
APSEC
2005
IEEE
16 years 5 days ago
Model Checking Interrupt-Dependent Software
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
Colin J. Fidge, Phil Cook
CITA
2005
IEEE
16 years 5 days ago
Cache Hierarchy Inspired Compression: a Novel Architecture for Data Streams
- We present an architecture for data streams based on structures typically found in web cache hierarchies. The main idea is to build a meta level analyser from a number of levels ...
Geoffrey Holmes, Bernhard Pfahringer, Richard Kirk...
CRV
2005
IEEE
112views Robotics» more  CRV 2005»
16 years 5 days ago
Resampling 4-D Images Using Adaptive Filtering
We present an adaptive filtering based methodology for resampling 3-D time series images using an extension of the method presented by Westin in [11]. We simultaneously reduce th...
Alexander Andreopoulos, John K. Tsotsos
DATE
2005
IEEE
160views Hardware» more  DATE 2005»
16 years 4 days ago
SOC Testing Methodology and Practice
Abstract—On a commercial digital still camera (DSC) controller chip we practice a novel SOC test integration platform, solving real problems in test scheduling, test IO reduction...
Cheng-Wen Wu
DATE
2005
IEEE
119views Hardware» more  DATE 2005»
16 years 4 days ago
On-Chip Test Infrastructure Design for Optimal Multi-Site Testing of System Chips
Multi-site testing is a popular and effective way to increase test throughput and reduce test costs. We present a test throughput model, in which we focus on wafer testing, and co...
Sandeep Kumar Goel, Erik Jan Marinissen