Sciweavers

693 search results - page 57 / 139
» Test of Future System-on-Chips
Sort
View
ILP
2000
Springer
15 years 10 months ago
Induction of Recursive Theories in the Normal ILP Setting: Issues and Solutions
Induction of recursive theories in the normal ILP setting is a complex task because of the non-monotonicity of the consistency property. In this paper we propose computational solu...
Floriana Esposito, Donato Malerba, Francesca A. Li...
DAC
2010
ACM
15 years 9 months ago
Post-silicon validation opportunities, challenges and recent advances
Post-silicon validation is used to detect and fix bugs in integrated circuits and systems after manufacture. Due to sheer design complexity, it is nearly impossible to detect and ...
Subhasish Mitra, Sanjit A. Seshia, Nicola Nicolici
WSC
2008
15 years 8 months ago
A plug-in-based architecture for random number generation in simulation systems
Simulations often depend heavily on random numbers, yet the impact of random number generators is recognized seldom. The generation of random numbers for simulations is not trivia...
Roland Ewald, Johannes Rossel, Jan Himmelspach, Ad...
EUROS
2008
137views Robotics» more  EUROS 2008»
15 years 8 months ago
Reactive Trajectory Deformation to Navigate Dynamic Environments
Abstract. Path deformation is a technique that was introduced to generate robot motion wherein a path, that has been computed beforehand, is continuously deformed on-line in respon...
Vivien Delsart, Thierry Fraichard
BCSHCI
2008
15 years 7 months ago
Exploring the impulsion and vibration effects of tactile patterns
This paper explores the impulsion and vibration properties of different tactile patterns (icons). These properties describe the unique movements of the pins with different values ...
Muhammad Tahir, Gilles Bailly, Eric Lecolinet