Sciweavers

2355 search results - page 313 / 471
» Scheduling in the Z-Polyhedral Model
Sort
View
CAV
1998
Springer
86views Hardware» more  CAV 1998»
15 years 11 months ago
Formal Verification of Out-of-Order Execution Using Incremental Flushing
We present a two-part approach for verifying out-of-order execution. First, the complexity of out-of-order issue and scheduling is handled by creating der abstraction of the out-of...
Jens U. Skakkebæk, Robert B. Jones, David L....
IEAAIE
1998
Springer
15 years 11 months ago
Soft Computing and Hybrid AI Approaches to Intelligent Manufacturing
The application of pattern recognition (PR) techniques, artificial neural networks (ANNs), and nowadays hybrid artificial intelligence (AI) techniques in manufacturing can be regar...
Laszlo Monostori, József Hornyák, Cs...
ICCAD
1997
IEEE
96views Hardware» more  ICCAD 1997»
15 years 11 months ago
Resource sharing in hierarchical synthesis
This paper presents a new approach to hierarchical high-level synthesis with respect to internal register-transfer structures of complex components. Entire subdesigns can efficie...
Oliver Bringmann, Wolfgang Rosenstiel
BROADNETS
2004
IEEE
15 years 10 months ago
Capacity and Delay Tradeoffs for Ad-Hoc Mobile Networks
We consider the throughput/delay tradeoffs for scheduling data transmissions in a mobile ad hoc network. To reduce delays in the network, each user sends redundant packets along mu...
Michael J. Neely, Eytan Modiano
194
Voted
LATIN
2000
Springer
15 years 10 months ago
Approximation Algorithms for Flexible Job Shop Problems
The Flexible Job Shop problem is a generalization of the classical job shop scheduling problem in which for every operation there is a group of machines that can process it. The p...
Klaus Jansen, Monaldo Mastrolilli, Roberto Solis-O...