Sciweavers

4887 search results - page 311 / 978
» System Level Design Using C
Sort
View
ECBS
2000
IEEE
97views Hardware» more  ECBS 2000»
15 years 11 months ago
Ensuring Structure and Behavior Correctness in Design Composition
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
AVSS
2005
IEEE
16 years 9 days ago
Scene modelling using an adaptive mixture of Gaussians in colour and space
We present an integrated pixel segmentation and region tracking algorithm, designed for indoor environments. Visual monitoring systems often use frame differencing techniques to i...
Patrick Dickinson, Andrew Hunter
SIGADA
2005
Springer
16 years 4 days ago
Experiences using SPARK in an undergraduate CS course
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
Anthony S. Ruocco
ETS
2007
IEEE
91views Hardware» more  ETS 2007»
16 years 1 months ago
PPM Reduction on Embedded Memories in System on Chip
This paper summarizes advanced test patterns designed to target dynamic and time-related faults caused by new defect mechanisms in deep-submicron memory technologies. Such tests a...
Said Hamdioui, Zaid Al-Ars, Javier Jiménez,...
ICCAD
1996
IEEE
77views Hardware» more  ICCAD 1996»
15 years 10 months ago
Power optimization in disk-based real-time application specific systems
While numerous power optimization techniques have been at all levels of design process abstractions for electronic components, until now, power minimization in mixed mechanical-el...
Inki Hong, Miodrag Potkonjak