12115 search results - page 2022 / 2423 » Bisimulation of Dynamical Systems |
202
click to vote
VLDB
2005
ACM
16 years 9 days ago
2005
ACM
In recent years, publish-subscribe (pub-sub) systems based on XML document filtering have received much attention. In a typical pubsub system, subscribed users specify their inte...
188
click to vote
WLP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
170
click to vote
ISLPED
2004
ACM
16 years 8 days ago
2004
ACM
Increasing demand for larger high-performance applications requires developing more complex systems with hundreds of processing cores on a single chip. To allow dynamic voltage sc...
213
Voted
MOBICOM
2004
ACM
16 years 8 days ago
2004
ACM
Advances in wireless communication, storage and processing are realizing next-generation in-vehicle entertainment systems. Even if hundreds of different video or audio titles are...
182
click to vote
SENSYS
2004
ACM
16 years 8 days ago
2004
ACM
Previous approaches for computing duplicate-sensitive aggregates in sensor networks (e.g., in TAG) have used a tree topology, in order to conserve energy and to avoid double-count...