Sciweavers

3411 search results - page 322 / 683
» Adaptive Transfer Learning
Sort
View
CONCUR
2004
Springer
15 years 10 months ago
A Semantics for Concurrent Separation Logic
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
Stephen D. Brookes
PARA
2004
Springer
15 years 10 months ago
A Grid Resource Broker Supporting Advance Reservations and Benchmark-Based Resource Selection
Abstract. This contribution presents algorithms, methods, and software for a Grid resource manager, responsible for resource brokering and scheduling in early production Grids. The...
Erik Elmroth, Johan Tordsson
SWAT
2004
Springer
120views Algorithms» more  SWAT 2004»
15 years 10 months ago
Railway Delay Management: Exploring Its Algorithmic Complexity
We consider delay management in railway systems. Given delayed trains, we want to find a waiting policy for the connecting trains minimizing the weighted total passenger delay. If...
Michael Gatto, Björn Glaus, Riko Jacob, Leon ...
GMP
2002
IEEE
110views Solid Modeling» more  GMP 2002»
15 years 10 months ago
Acoustics Scattering on Arbitrary Manifold Surfaces
We propose the use of surface subdivision as adaptive and higher-order boundary elements for solving a Helmholtz partial differential equation to calculate accurate acoustics sca...
Chandrajit L. Bajaj, Guoliang Xu, Joe D. Warren
ISCC
2000
IEEE
112views Communications» more  ISCC 2000»
15 years 9 months ago
RED Behavior with Different Packet Sizes
We consider the adaptation of random early detection (RED) as a buffer management algorithm for TCP traffic in Internet gateways where different maximum transfer units (MTUs) are ...
Stefaan De Cnodder, Omar Elloumi, Kenny Pauwels