Sciweavers

3521 search results - page 311 / 705
» Algorithmic Control in Concurrent Computations
Sort
View
173
Voted
IPPS
2009
IEEE
15 years 11 months ago
Work-first and help-first scheduling policies for async-finish task parallelism
Multiple programming models are emerging to address an increased need for dynamic task parallelism in applications for multicore processors and shared-address-space parallel compu...
Yi Guo, Rajkishore Barik, Raghavan Raman, Vivek Sa...
HYBRID
2009
Springer
15 years 11 months ago
On Event Based State Estimation
To reduce the amount of data transfer in networked control systems and wireless sensor networks, measurements are usually taken only when an event occurs, rather than at each synch...
Joris Sijs, Mircea Lazar
PLDI
2009
ACM
15 years 12 months ago
Analyzing recursive programs using a fixed-point calculus
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
Salvatore La Torre, Parthasarathy Madhusudan, Genn...
136
Voted
EURODAC
1995
IEEE
130views VHDL» more  EURODAC 1995»
15 years 8 months ago
Semi-dynamic scheduling of synchronization-mechanisms
This paper presents a novel approach to scheduling of hardware supported synchronization operations. The optimization goal is to minimize the interation time of processes and thus...
Wolfgang Ecker
CDC
2008
IEEE
163views Control Systems» more  CDC 2008»
15 years 11 months ago
A cooperative deployment strategy for optimal sampling in spatiotemporal estimation
— This paper considers a network composed of robotic agents and static nodes performing spatial estimation of a dynamic physical processes. The physical process is modeled as a s...
Rishi Graham, Jorge Cortés