Sciweavers

972 search results - page 8 / 195
» Simulation Using GPSS H
Sort
View
TIP
2008
118views more  TIP 2008»
14 years 9 months ago
Minimum Variance Optimal Rate Allocation for Multiplexed H.264/AVC Bitstreams
Consider the problem of transmitting multiple video streams to fulfill a constant bandwidth constraint. The available bit budget needs to be distributed across the sequences in ord...
Marco Tagliasacchi, Giuseppe Valenzise, Stefano Tu...
DAC
1998
ACM
15 years 1 months ago
Hybrid Verification Using Saturated Simulation
Adnan Aziz, James H. Kukula, Thomas R. Shiple
EDBT
2011
ACM
199views Database» more  EDBT 2011»
14 years 1 months ago
Predicting completion times of batch query workloads using interaction-aware models and simulation
A question that database administrators (DBAs) routinely need to answer is how long a batch query workload will take to complete. This question arises, for example, while planning...
Mumtaz Ahmad, Songyun Duan, Ashraf Aboulnaga, Shiv...
ICCAD
2000
IEEE
137views Hardware» more  ICCAD 2000»
15 years 2 months ago
Smart Simulation Using Collaborative Formal and Simulation Engines
computation and automatic abstraction. Second, Ketchum performs not only automatic test generation but also unreachability analysis, which enables the test generation effort to be ...
Pei-Hsin Ho, Thomas R. Shiple, Kevin Harer, James ...
RCC
2002
104views more  RCC 2002»
14 years 9 months ago
Architectural Specification, Exploration and Simulation Through Rewriting-Logic
In recent years Arvind's Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specifi...
Mauricio Ayala-Rincón, Reiner W. Hartenstei...