2917 search results - page 187 / 584 » Satisfying Interaction Constraints |
166
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
This work addresses the issue of design optimization for faulttolerant hard real-time systems. In particular, our focus is on the handling of transient faults using both checkpoin...
169
click to vote
DELTA
2008
IEEE
16 years 1 months ago
2008
IEEE
The classic connected components labelling algorithm requires two passes through an image. This paper presents an algorithm that allows the connected components to be analysed in ...
287
click to vote
ICICIC
2006
IEEE
16 years 26 days ago
2006
IEEE
In timetable scheduling problems, examination subjects must be slotted to certain times that satisfy several of constraints. They are NP-completeness problems, which usually lead ...
190
click to vote
ICMCS
2006
IEEE
16 years 26 days ago
2006
IEEE
This paper describes a rate control algorithm for a streaming video system that dynamically transcodes stored JPEG 2000 frames. The proposed algorithm is designed to improve overa...
186
click to vote
MTV
2005
IEEE
16 years 12 days ago
2005
IEEE
Our mutation based validation paradigm (MVP) is a validation environment for high-level microprocessor implementations. To be able to efficiently identify and analyze the architec...