3575 search results - page 528 / 715 » Modeling Concurrency with Geometry |
165
click to vote
ICC
2008
IEEE
16 years 16 days ago
2008
IEEE
Abstract— Interference among concurrent transmissions complicates QoS provisioning for multimedia applications in wireless mesh networks. In this paper we propose MARIA (Mesh Adm...
152
click to vote
LICS
2007
IEEE
16 years 11 days ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
163
click to vote
RTSS
2007
IEEE
16 years 11 days ago
2007
IEEE
Creating robust real-time embedded software is critical in combining the physical world with computing, such as in consumer electronics or robotics. One challenge is the complexit...
187
click to vote
SASO
2007
IEEE
16 years 11 days ago
2007
IEEE
Self-adapting systems based on multiple concurrent applications must decide how to allocate scarce resources to applications and how to set the quality parameters of each applicat...
163
click to vote
TPHOL
2007
IEEE
16 years 10 days ago
2007
IEEE
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...