Sciweavers

503 search results - page 48 / 101
» If not now, when
Sort
View
EUROPAR
2008
Springer
14 years 16 days ago
Efficient Shared Memory Message Passing for Inter-VM Communications
Thanks to recent advances in virtualization technologies, it is now possible to benefit from the flexibility brought by virtual machines at little cost in terms of CPU performance....
François Diakhaté, Marc Pérac...
FM
2008
Springer
137views Formal Methods» more  FM 2008»
14 years 10 days ago
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
Patrice Chalin, Frédéric Rioux
ACSW
2006
14 years 5 days ago
Simulating a computational grid with networked animat agents
Computational grids are now widespread, but their large-scale behaviour is still poorly understood. We report on some calculations of loading, scaling and utilisation behaviours o...
Kenneth A. Hawick, Heath A. James
MASCOTS
2004
14 years 5 days ago
Assessing the Effectiveness of IEEE 802.11e in Multi-Hop Mobile Network Environments
The IEEE 802.11e technology is receiving much interest due to the promising enhancements it will offer to wireless local area networks in terms of QoS support. Until now, research...
Carlos Miguel Tavares Calafate, Pietro Manzoni, Ma...
PICS
2001
14 years 5 days ago
An Autosophy Image Content-Based Television System
A first television system based on the Autosophy information theory is now being tested. The new television marks a major theoretical break from conventional television based on t...
Klaus Holtz, Eric Holtz