Sciweavers

1568 search results - page 157 / 314
» The problem of examination questions in algorithmics
Sort
View
HIPC
2005
Springer
15 years 12 months ago
Scheduling Multiple Flows on Parallel Disks
We examine the problem of scheduling concurrent independent flows on multiple-disk I/O storage systems. Two models are considered: in the shared buffer model the memory buffer is ...
Ajay Gulati, Peter J. Varman
TIME
2003
IEEE
15 years 11 months ago
Hybrid Logics on Linear Structures: Expressivity and Complexity
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...
Massimo Franceschet, Maarten de Rijke, Bernd-Holge...
DATE
2004
IEEE
123views Hardware» more  DATE 2004»
15 years 10 months ago
On Concurrent Error Detection with Bounded Latency in FSMs
We discuss the problem of concurrent error detection (CED) with bounded latency in finite state machines (FSMs). The objective of this approach is to reduce the overhead of CED, a...
Sobeeh Almukhaizim, Petros Drineas, Yiorgos Makris
EMO
2006
Springer
107views Optimization» more  EMO 2006»
15 years 10 months ago
Designing Multi-objective Variation Operators Using a Predator-Prey Approach
In this paper, we propose a new conceptual method for the design, investigation, and evaluation of multi-objective variation operators for evolutionary multi-objective algorithms. ...
Christian Grimme, Joachim Lepping
ATAL
2008
Springer
15 years 8 months ago
Robust team-play in highly uncertain environments
Effective teamwork in highly dynamic environments requires a delicate balance between giving agents the autonomy to act and react on their own and restricting that autonomy so tha...
Henry Work, Eric Chown, Tucker Hermans, Jesse Butt...