Sciweavers

8600 search results - page 49 / 1720
» Measuring with Timed Patterns
Sort
View
FORMATS
2009
Springer
15 years 4 months ago
Exploiting Timed Automata for Conformance Testing of Power Measurements
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
Matthias Woehrle, Kai Lampka, Lothar Thiele
ITC
2000
IEEE
80views Hardware» more  ITC 2000»
15 years 2 months ago
A stand-alone integrated test core for time and frequency domain measurements
An area efficient and robust integrated test core for mixed-signal circuits is described. The core consists of a completely digital implementation, except for a simple reconstructi...
Mohamed Hafed, Nazmy Abaskharoun, Gordon W. Robert...
VTC
2006
IEEE
15 years 3 months ago
Measurement of Time-Varying MIMO Channel for Performance Analysis of Closed-Loop Transmission
— A real-time multiple-input multiple-output (MIMO) channel measurement system was implemented by using a 4×4 MIMO software defined radio (SDR) testbed. A target application of...
Kei Mizutani, Kei Sakaguchi, Jun-ichi Takada, Kiyo...
93
Voted
TCS
2011
14 years 4 months ago
A semantic measure of the execution time in linear logic
We give a semantic account of the execution time (i.e. the number of cut elimination steps leading to the normal form) of an untyped MELL net. We first prove that: 1) a net is he...
Daniel de Carvalho, Michele Pagani, Lorenzo Tortor...
104
Voted
JMLR
2008
148views more  JMLR 2008»
14 years 9 months ago
Linear-Time Computation of Similarity Measures for Sequential Data
Efficient and expressive comparison of sequences is an essential procedure for learning with sequential data. In this article we propose a generic framework for computation of sim...
Konrad Rieck, Pavel Laskov