Sciweavers

1720 search results - page 216 / 344
» Unranking Combinations in Parallel
Sort
View
EAGC
2003
Springer
15 years 3 months ago
TCP Behavior on Transatlantic Lambda's
Much of the recent research and development in the area of high speed TCP is focused on the steady state behavior of TCP flows. However, our experience with the first research on...
Wim Sjouw, Antony Antony, Johan Blom, Cees de Laat...
ESOP
2003
Springer
15 years 3 months ago
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
Karine Altisen, Aurélie Clodic, Florence Ma...
EUROPAR
2003
Springer
15 years 3 months ago
Compiler-Assisted Thread Level Control Speculation
Abstract. This paper proposes two compiler-assisted techniques to improve thread level control speculation in speculative multithreading executions. The first technique is to incr...
Hideyuki Miura, Luong Dinh Hung, Chitaka Iwama, Da...
FIDJI
2003
Springer
15 years 3 months ago
Model Generation for Distributed Java Programs
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
Rabéa Boulifa, Eric Madelaine
GCC
2003
Springer
15 years 3 months ago
An Evolutionary Constraint Satisfaction Solution for over the Cell Channel Routing
A novel combination of genetic algorithms and constraint satisfaction modelling for the solution of two and multi-layer over-thecell channel routing problems is presented. The two ...
Ahmet Ünveren, Adnan Acan