Sciweavers

699 search results - page 88 / 140
» Computation of Interprocedural Control Dependence
Sort
View
96
Voted
HYBRID
2010
Springer
15 years 7 months ago
Accurate hybridization of nonlinear systems
This paper is concerned with reachable set computation for non-linear systems using hybridization. The essence of hybridization is to approximate a non-linear vector field by a s...
Thao Dang, Oded Maler, Romain Testylier
106
Voted
ICPP
2008
IEEE
15 years 6 months ago
Solving Large, Irregular Graph Problems Using Adaptive Work-Stealing
Solving large, irregular graph problems efficiently is challenging. Current software systems and commodity multiprocessors do not support fine-grained, irregular parallelism wel...
Guojing Cong, Sreedhar B. Kodali, Sriram Krishnamo...
ATAL
2007
Springer
15 years 6 months ago
Estimating information value in collaborative multi-agent planning systems
This paper addresses the problem of identifying the value of information held by a teammate on a distributed, multi-agent team. It focuses on a distributed scheduling task in whic...
David Sarne, Barbara J. Grosz
98
Voted
LCPC
2007
Springer
15 years 6 months ago
Communicating Multiprocessor-Tasks
The use of multiprocessor tasks (M-tasks) has been shown to be successful for mixed task and data parallel implementations of algorithms from scientific computing. The approach o...
Jörg Dümmler, Thomas Rauber, Gudula R&uu...
85
Voted
CCGRID
2005
IEEE
15 years 6 months ago
ReGS: user-level reliability in a grid environment
Grid environments are ideal for executing applications that require a huge amount of computational work, both due to the big number of tasks to execute and to the large amount of ...
J. A. L. Sanches, Patrícia Kayser Vargas, I...