Sciweavers

4299 search results - page 379 / 860
» Concurrent Test Generation
Sort
View
118
Voted
ITC
1999
IEEE
89views Hardware» more  ITC 1999»
15 years 9 months ago
Defect detection using power supply transient signal analysis
Transient Signal Analysis is a digital device testing method that is based on the analysis of voltage transients at multiple test points. The power supply transient signals of an ...
Amy Germida, Zheng Yan, James F. Plusquellic, Fide...
IANDC
2006
117views more  IANDC 2006»
15 years 5 months ago
Statistical probabilistic model checking with a focus on time-bounded properties
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
Håkan L. S. Younes, Reid G. Simmons
173
Voted
ICST
2010
IEEE
15 years 3 months ago
GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
Minh Duc Nguyen, Hélène Waeselynck, ...
ICCAD
2005
IEEE
200views Hardware» more  ICCAD 2005»
16 years 1 months ago
CDMA/FDMA-interconnects for future ULSI communications
Future inter- and intra-ULSI interconnect systems demand extremely high data rates as well as bi-directional multi-I/O concurrent service, re-configurable computing/processing arc...
M. Frank Chang
DCOSS
2009
Springer
15 years 11 months ago
Combining Positioning and Communication Using UWB Transceivers
A new generation of ultra wideband (UWB) communication transceivers are becoming available which support both positioning and communication tasks. Transceiver manufacturers envisio...
Paul Alcock, Utz Roedig, Mike Hazas