Sciweavers

4542 search results - page 708 / 909
» Design patterns for data structures
Sort
View
ICCAD
2005
IEEE
113views Hardware» more  ICCAD 2005»
16 years 3 months ago
Synthesis methodology for built-in at-speed testing
We discuss a new synthesis flow, which offers the ability to do easy delay testing almost free in terms of its impact on speed and area as compared to corresponding implementation...
Yinghua Li, Alex Kondratyev, Robert K. Brayton
ESOP
2009
Springer
16 years 1 months ago
Abstraction for Concurrent Objects
ion for Concurrent Objects Ivana Filipovi´c, Peter O’Hearn, Noam Rinetzky, and Hongseok Yang Queen Mary University of London, UK Concurrent data structures are usually designed ...
Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, ...
ICPR
2008
IEEE
16 years 28 days ago
Tracking of Arabidopsis thaliana root cells in time-lapse microscopy
In vivo observation of cells in the Arabidopsis thaliana root, by time-lapse confocal microscopy, is central to biology research. The research herein described is based on large a...
Monica Marcuzzo, Pedro Quelhas, Ana Maria Mendon&c...
ICST
2008
IEEE
16 years 27 days ago
A JML Compiler Based on AspectJ
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
Henrique Rebêlo, Ricardo Massa Ferreira Lima...
ICASSP
2007
IEEE
16 years 25 days ago
Oversampled Inverse Complex Lapped Transform Optimization
When an oversampled FIR filter bank structure is used for signal analysis, a main problem is to guarantee its invertibility and to be able to determine an inverse synthesis filt...
Jérôme Gauthier, Laurent Duval, Jean-...