Sciweavers

3750 search results - page 414 / 750
» Timed Automata Patterns
Sort
View
ITC
2000
IEEE
84views Hardware» more  ITC 2000»
15 years 7 months ago
Non-intrusive BIST for systems-on-a-chip
1 The term "functional BIST" describes a test method to control functional modules so that they generate a deterministic test set, which targets structural faults within ...
Silvia Chiusano, Paolo Prinetto, Hans-Joachim Wund...
CIARP
2009
Springer
15 years 7 months ago
A Brief Index for Proximity Searching
A large number of computer tasks can be modeled as the search for an object near a given query. From multimedia databases to learning algorithms, data mining and pattern recognitio...
Eric Sadit Tellez, Edgar Chávez, Antonio Ca...
ATAL
2008
Springer
15 years 6 months ago
A scalable and distributed model for self-organization and self-healing
As the ability to produce a large number of small, simple robotic agents improves, it becomes essential to control the behavior of these agents in such a way that the sum of their...
Michael Rubenstein, Wei-Min Shen
139
Voted
DAGSTUHL
2007
15 years 5 months ago
Image-Based Motion Compensation for Structured Light Scanning of Dynamic Surfaces
: Many structured light scanning systems based on temporal pattern codification produce dense and robust results on static scenes but behave very poorly when applied to dynamic sc...
Stefan Gumhold, Sören König
164
Voted
IASTEDSE
2004
15 years 5 months ago
Mapping UML statecharts to java code
The Unified Modeling Language (UML) statechart diagram is used for modeling the dynamic aspects of systems. The UML statechart diagrams include many concepts that are not present ...
Iftikhar Azim Niaz, Jiro Tanaka