Sciweavers

8600 search results - page 49 / 1720
» Measuring with Timed Patterns
Sort
View
FORMATS
2009
Springer
16 years 17 days 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 10 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 12 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...
TCS
2011
15 years 28 days 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...
JMLR
2008
148views more  JMLR 2008»
15 years 6 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