Sciweavers

2702 search results - page 135 / 541
» constraints 2008
Sort
View
CISS
2008
IEEE
15 years 8 months ago
Network coding on line networks with broadcast
An achievable rate region for line networks with edge and node capacity constraints and broadcasting is derived. The region is the capacity region if the broadcast channels are ort...
Gerhard Kramer, S. M. Sadegh Tabatabaei Yazdi, Ser...
FLAIRS
2008
15 years 7 months ago
Feeder Setup Optimization in SMT Assembly
This paper describes an algorithm developed as a decision support system for SMT line operators and its purpose is to suggest changes in an existing feeder setup in order to impro...
Jan Kelbel, Zdenek Hanzálek
AIMSA
2008
Springer
16 years 24 days ago
Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models
Integrated modeling of temporal and logical constraints is important for solving real-life planning and scheduling problems. Logical constrains extend the temporal formalism by rea...
Roman Barták, Ondrej Cepek
CORR
2008
Springer
89views Education» more  CORR 2008»
15 years 6 months ago
Model Checking Positive Equality-free FO: Boolean Structures and Digraphs of Size Three
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic
Barnaby Martin
DATE
2008
IEEE
90views Hardware» more  DATE 2008»
16 years 27 days ago
Computation of Buffer Capacities for Throughput Constrained and Data Dependent Inter-Task Communication
Abstract - Streaming applications are often implemented as task graphs. Currently, techniques exist to derive buffer capacities that guarantee satisfaction of a throughput constrai...
Maarten Wiggers, Marco Bekooij, Gerard J. M. Smit