3521 search results - page 286 / 705 » Algorithmic Control in Concurrent Computations |
124
click to vote
ICDE
2010
IEEE
16 years 3 months ago
2010
IEEE
— In this paper, we propose a non-blocking buffer management scheme based on a lock-free variant of the GCLOCK page replacement algorithm. Concurrent access to the buffer managem...
159
Voted
MDM
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we propose a query-driven approach for tuning the time/energy trade-off in sensor networks with mobile sensors. The tuning factors include re-positioning of mobile s...
164
click to vote
COMCOM
1998
15 years 5 months ago
1998
In this paper, we propose a new formalism, named the Timed Communicating Finite State Machine (Timed CFSM), for specifying and verifying time-critical systems. Timed CFSM preserve...
177
click to vote
LCPC
2007
Springer
16 years 8 days ago
2007
Springer
The Standard Template Adaptive Parallel Library (stapl) is a parallel programming framework that extends C++ and stl with support for parallelism. stapl provides a collection of pa...
165
click to vote
CEC
2009
IEEE
16 years 28 days ago
2009
IEEE
Abstract— In this paper we investigate a Self-Adaptive Differential Evolution algorithm (jDE) where F and CR control parameters are self-adapted and a multi-population method wit...