Sciweavers

3750 search results - page 165 / 750
» Timed Automata Patterns
Sort
View
CC
2005
Springer
195views System Software» more  CC 2005»
15 years 8 months ago
Compilation of Generic Regular Path Expressions Using C++ Class Templates
Various techniques for the navigation and matching of data structures using path expressions have been the subject of extensive investigations. No matter whether such techniques ar...
Luca Padovani
DSD
2005
IEEE
96views Hardware» more  DSD 2005»
15 years 8 months ago
Improvement of the Fault Coverage of the Pseudo-Random Phase in Column-Matching BIST
Several methods improving the fault coverage in mixed-mode BIST are presented in this paper. The test is divided into two phases: the pseudo-random and deterministic. Maximum of f...
Peter Filter, Hana Kubatova
FORTE
1998
15 years 7 months ago
Exploiting Symmetry in Protocol Testing
Test generation and execution are often hampered by the large state spaces of the systems involved. In automata (or transition system) based test algorithms, taking advantage of s...
Judi Romijn, Jan Springintveld
GECCO
2008
Springer
134views Optimization» more  GECCO 2008»
15 years 7 months ago
Branch predictor on-line evolutionary system
In this work a branch prediction system which utilizes evolutionary techniques is introduced. It allows the predictor to adapt to the executed code and thus to improve its perform...
Karel Slany
BC
2008
134views more  BC 2008»
15 years 6 months ago
Interacting with an artificial partner: modeling the role of emotional aspects
In this paper we introduce a simple model based on probabilistic finite state automata to describe an emotional interaction between a robot and a human user, or between simulated a...
Isabella Cattinelli, Massimiliano Goldwurm, N. Alb...