12115 search results - page 424 / 2423 » Bisimulation of Dynamical Systems |
163
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Mechanism design (MD) has recently become a very popular approach in the design of distributed systems of autonomous agents. A key assumption required for the application of MD is...
189
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Compressive sensing (CS) exploits the sparsity present in many common signals to reduce the number of measurements needed for digital acquisition. With this reduction would come, ...
214
click to vote
ASPLOS
2012
ACM
14 years 2 months ago
2012
ACM
Dynamic binary translation (DBT) is a powerful technique that enables fine-grained monitoring and manipulation of an existing program binary. At the user level, it has been emplo...
185
click to vote
SIGMOD
2004
ACM
16 years 7 months ago
2004
ACM
Dynamic plan migration is concerned with the on-the-fly transition from one continuous query plan to a semantically equivalent yet more efficient plan. Migration is important for ...
240
click to vote
VEE
2009
ACM
16 years 1 months ago
2009
ACM
Virtualization essentially enables multiple operating systems and applications to run on one physical computer by multiplexing hardware resources. A key motivation for applying vi...