Sciweavers

2042 search results - page 279 / 409
» Modeling and Analysis of Probabilistic Timed Systems
Sort
View
INFOCOM
2010
IEEE
15 years 2 months ago
A Frequency Domain Model to Predict the Estimation Accuracy of Packet Sampling
—In network measurement systems, packet sampling techniques are usually adopted to reduce the overall amount of data to collect and process. Being based on a subset of packets, t...
Luigi Alfredo Grieco, Chadi Barakat
RV
2010
Springer
220views Hardware» more  RV 2010»
15 years 2 months ago
Runtime Verification with the RV System
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
Patrick O'Neil Meredith, Grigore Rosu
ICCAD
2002
IEEE
141views Hardware» more  ICCAD 2002»
16 years 1 months ago
A hierarchical modeling framework for on-chip communication architectures
— The communication sub-system of complex IC systems is increasingly critical for achieving system performance. Given this, it is important that the on-chip communication archite...
Xinping Zhu, Sharad Malik
RTCSA
2007
IEEE
15 years 10 months ago
Scheduling Algorithms for I/O Blockings with a Multi-frame Task Model
A task that suspends itself to wait for an I/O completion or to wait for an event from another node in distributed environments is called an I/O blocking task. In conventional har...
Shan Ding, Hiroyuki Tomiyama, Hiroaki Takada
WSC
2004
15 years 5 months ago
Automation of Human Decision Processes for Route Completion for Airspace Design Analysis
This paper describes an algorithm for approximating missing data in air traffic routes thereby allowing the lengths of different routes to be compared for our simulation analyses....
Lisa A. Schaefer