Sciweavers

6014 search results - page 127 / 1203
» Parametric Analysis of Computer Systems
Sort
View
IPPS
2010
IEEE
15 years 4 months ago
Analysis of durability in replicated distributed storage systems
In this paper, we investigate the roles of replication vs. repair to achieve durability in large-scale distributed storage systems. Specifically, we address the fundamental questio...
Sriram Ramabhadran, Joseph Pasquale
COLING
1990
15 years 7 months ago
Human-Computer Interaction for Semantic Disambiguation
We describe a semi-automatic semantic disambiguator integrated in a knowledge-based machine translation system. It is used to bridge the analysis and generation stages in machine ...
Ralf D. Brown
DEDS
2002
106views more  DEDS 2002»
15 years 6 months ago
Efficient Computation and Representation of Large Reachability Sets for Composed Automata
We propose an approach that integrates and extends known techniques from different areas to handle and analyze a complex and large system described as a network of synchronized com...
Peter Buchholz, Peter Kemper
IPPS
2006
IEEE
16 years 11 days ago
Timed automata based analysis of embedded system architectures
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
Martijn Hendriks, Marcel Verhoef
INFOCOM
1997
IEEE
15 years 10 months ago
Time Scale Analysis of an ATM Queueing System with Long-Range Dependent Traffic
Several types of network trafic have been shown to exhibit long-range dependence (LRD). In this work, we show that the busy period of an ATM system driven by a long-range dependen...
Gilberto Mayor, John A. Silvester