Sciweavers

5456 search results - page 453 / 1092
» A study of Object Evolution
Sort
View
DATE
2007
IEEE
74views Hardware» more  DATE 2007»
16 years 18 days ago
Joint consideration of fault-tolerance, energy-efficiency and performance in on-chip networks
High reliability against noise, low energy consumption and high performance are key objectives in the design of on-chip networks. Recently some researchers have considered the var...
Alireza Ejlali, Bashir M. Al-Hashimi, Paul M. Rosi...
WACV
2007
IEEE
16 years 16 days ago
Stereo Matching and 3D Visualization for Gamma-Ray Cargo Inspection
In this paper, stereo matching and 3D visualization issues are studied for a linear pushbroom stereo model built for 3D gamma-ray (or x-ray) cargo inspection. A fast and automated...
Zhigang Zhu, Yu-Chi Hu
CSL
2007
Springer
16 years 13 days ago
Tightening the Exchange Rates Between Automata
Automata on infinite objects were the key to the solution of several fundamental decision problems in mathematics and logic. Today, automata on infinite objects are used for form...
Orna Kupferman
OOPSLA
2005
Springer
15 years 11 months ago
Using predicate fields in a highly flexible industrial control system
Predicate fields allow an object’s structure to vary at runtime based on the object’s state: a predicate field is present or not, depending on the values of other fields. P...
Shay Artzi, Michael D. Ernst
ECAI
2004
Springer
15 years 11 months ago
Introducing Alias Information into Model-Based Debugging
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
Daniel Köb, Franz Wotawa