1096 search results - page 193 / 220 » Computation Slicing: Techniques and Theory |
106
Voted
CORR
2010
Springer
15 years 19 days ago
2010
Springer
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
103
click to vote
CCR
2000
15 years 11 days ago
2000
Distributed optimal traffic engineering in the presence of multiple paths has been found to be a difficult problem to solve. In this paper, we introduce a new approach in an attem...
199
Voted
POPL
2006
ACM
16 years 25 days ago
2006
ACM
In POPL 2002, Petrank and Rawitz showed a universal result-finding optimal data placement is not only NP-hard but also impossible to approximate within a constant factor if P = NP...
115
click to vote
MOBIHOC
2008
ACM
16 years 3 days ago
2008
ACM
In order to better understand human and animal mobility and its potential effects on Mobile Ad-Hoc networks and Delay-Tolerant Networks, many researchers have conducted experiment...
111
Voted
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
In matching tasks in computer vision, and particularly in real-time tracking from video, there are generally strong priors available on absolute and relative correspondence locati...