18306 search results - page 3144 / 3662 » Algorithmics in Exponential Time |
143
click to vote
IWMM
2004
Springer
15 years 10 months ago
2004
Springer
We document the design and implementation of a “production” incremental garbage collector for GHC 6.2. It builds on our earlier work (Non-stop Haskell) that exploited GHC’s ...
122
click to vote
LCTRTS
2004
Springer
15 years 10 months ago
2004
Springer
While concurrency in embedded systems is most often supplied by real-time operating systems, this approach can be unpredictable and difficult to debug. Synchronous concurrency, i...
130
click to vote
MDM
2004
Springer
15 years 10 months ago
2004
Springer
Location-based applications require a well-formed representation of spatial knowledge. Current location models can be classified into symbolic or geometric models. The former att...
171
click to vote
MIDDLEWARE
2004
Springer
15 years 10 months ago
2004
Springer
In mobile ad hoc networks, synchronous communication mechanisms appear to be not suitable, since these assume that the involved entities are present at the same time during the in...
167
click to vote
NMR
2004
Springer
15 years 10 months ago
2004
Springer
Probabilistic reasoning with multiply sectioned Bayesian networks (MSBNs) has been successfully applied in static domains under the cooperative multiagent paradigm. Probabilistic ...