Sciweavers

11484 search results - page 1940 / 2297
» Modeling in the Large and Modeling in the Small
Sort
View
IFM
1999
Springer
15 years 11 months ago
Retrenchment and Punctured Simulation
: Some of the shortcomings of using refinement alone as the means of passing from high level simple models to actual detailed implementations are reviewed. Retrenchment is presente...
Richard Banach, Michael Poppleton
HCW
1998
IEEE
15 years 11 months ago
Dynamic, Competitive Scheduling of Multiple DAGs in a Distributed Heterogeneous Environment
With the advent of large scale heterogeneous environments, there is a need for matching and scheduling algorithms which can allow multiple DAG-structured applications to share the...
Michael A. Iverson, Füsun Özgüner
ICCAD
1998
IEEE
93views Hardware» more  ICCAD 1998»
15 years 11 months ago
Fast and exact simultaneous gate and wire sizing by Lagrangian relaxation
This paper considers simultaneous gate and wire sizing for general very large scale integrated (VLSI) circuits under the Elmore delay model. We present a fast and exact algorithm w...
Chung-Ping Chen, Chris C. N. Chu, D. F. Wong
MIS
1999
Springer
193views Multimedia» more  MIS 1999»
15 years 11 months ago
Facilitating Spatio-Temporal Operations in a Versatile Video Database System
In a video database, large amount of information involving video, audio, and/or images needs to be stored and managed. Therefore, there is an important need for novel techniques a...
Shermann S.-M. Chan, Qing Li
ISORC
1998
IEEE
15 years 11 months ago
The Time-Triggered Architecture
The Time-Triggered Architecture (TTA) provides a computing infrastructure for the design and implementation of dependable distributed embedded systems. A large real-time applicatio...
Hermann Kopetz
« Prev « First page 1940 / 2297 Last » Next »