Sciweavers

3745 search results - page 423 / 749
» Sonic: System Description
Sort
View
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 23 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
IPPS
2006
IEEE
16 years 22 days ago
Performance analysis of parallel programs via message-passing graph traversal
The ability to understand the factors contributing to parallel program performance are vital for understanding the impact of machine parameters on the performance of specific app...
Matthew J. Sottile, Vaddadi P. Chandu, David A. Ba...
AINA
2005
IEEE
16 years 10 days ago
OWL-Based Approach for Semantic Interoperability
The number of web-based information systems has been increasing since Internet became the global open network accessible for all. The recent Semantic Web that provides supplementa...
Seksun Suwanmanee, Djamal Benslimane, Philippe Thi...