Sciweavers

2302 search results - page 107 / 461
» Testing as Abstraction
Sort
View
ICSOC
2009
Springer
15 years 11 months ago
Services Inside the Smart Home: A Simulation and Visualization Tool
Abstract. Pervasive systems, and domotics in particular, is an application area where heterogeneity is the norm, with thousands of autonomous heterogeneous devices live together an...
Elena Lazovik, Piet den Dulk, Martijn de Groote, A...
AGTIVE
1999
Springer
15 years 10 months ago
DiTo - A Distribution Tool Based on Graph Rewriting
Abstract. In the paper Support for Design Patterns through Graph Transformation Tools in this volume, we have already outlined the global structure of a tool that allows for the an...
Ansgar Radermacher
ITC
1998
IEEE
59views Hardware» more  ITC 1998»
15 years 10 months ago
Stimulus generation for built-in self-test of charge-pump phase-locked loops
Abstract - This paper addresses the issue of the stimulation of charge-pump phase-locked loops for built-in selftest applications. It is shown that three nodes of the PLL qualify f...
Benoît R. Veillette, Gordon W. Roberts
ITC
1997
IEEE
100views Hardware» more  ITC 1997»
15 years 10 months ago
Signal Generation Using Periodic Single-and Multi-Bit Sigma-Delta Modulated Streams
Abstract- This paper describes a new method to generate analog signals with high precision at very low hardware complexity. This method consists in reproducing periodically a recor...
Benoit Dufort, Gordon W. Roberts
STOC
1992
ACM
110views Algorithms» more  STOC 1992»
15 years 10 months ago
Linear Decision Trees: Volume Estimates and Topological Bounds
Abstract. We describe two methods for estimating the size and depth of decision trees where a linear test is performed at each node. Both methods are applied to the question of dec...
Anders Björner, László Lov&aacu...