7557 search results - page 697 / 1512 » Modeling Timed Concurrent Systems |
156
Voted
DSN
2009
IEEE
16 years 2 months ago
2009
IEEE
The use of mobile devices is limited by the battery lifetime. Some devices have the option to connect an extra battery, or to use smart battery-packs with multiple cells to extend...
189
Voted
ICAC
2007
IEEE
16 years 1 months ago
2007
IEEE
In today’s complex and highly dynamic computing environments, systems/services have to be constantly adjusted to meet Service Level Agreements (SLAs) and to improve resource uti...
188
click to vote
IICAI
2003
15 years 8 months ago
2003
Computational Musicology is a new and emerging field which draws heavily from Computer Science, particularly Artificial Intelligence. Western Music has been under the gaze of thi...
234
click to vote
FMICS
2009
Springer
16 years 1 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
184
click to vote
ICPP
2007
IEEE
16 years 1 months ago
2007
IEEE
We present two parallel algorithms and their Unified Parallel C implementations for Bayesian indoor positioning systems. Our approaches are founded on Markov Chain Monte Carlo si...