Sciweavers

3706 search results - page 386 / 742
» OntoComP System Description
Sort
View
ASAP
2006
IEEE
109views Hardware» more  ASAP 2006»
16 years 23 days ago
Describing Quantum Circuits with Systolic Arrays
In the simulation of quantum circuits the matrices and vectors used to represent unitary operations and qubit states grow exponentially as the number of qubits increase. For insta...
Aasavari Bhave, Eurípides Montagne, Edgar G...
DATE
2006
IEEE
143views Hardware» more  DATE 2006»
16 years 23 days ago
A coverage metric for the validation of interacting processes
We present a coverage metric which evaluates the testing of a set of interacting concurrent processes. Existing behavioral coverage metrics focus almost exclusively on the testing...
Ian G. Harris
DDECS
2006
IEEE
88views Hardware» more  DDECS 2006»
16 years 23 days ago
Minimization of Large State Spaces using Symbolic Branching Bisimulation
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
Ralf Wimmer, Marc Herbstritt, Bernd Becker
GLOBECOM
2006
IEEE
16 years 22 days ago
Analytical Investigation with Markov Models of Selective Repeat Type II Hybrid ARQ
— This paper presents an analytical model for the analysis of Hybrid ARQ techniques on Discrete Time Markov Channels by means of Markov chains. The first contribution is an orig...
Leonardo Badia, Marco Levorato, Michele Zorzi
ICMCS
2006
IEEE
104views Multimedia» more  ICMCS 2006»
16 years 22 days ago
TV Viewing Interval Estimation for Personal Preference Acquisition
The importance of personalized information services has been increasing. Description of personal preferences needs to be prepared beforehand to realize such services. We propose a...
Hiroaki Tanimoto, Naoko Nitta, Noboru Babaguchi