Sciweavers

503 search results - page 48 / 101
» If not now, when
Sort
View
118
Voted
EUROPAR
2008
Springer
15 years 2 months 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»
15 years 2 months 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
15 years 2 months 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
15 years 2 months 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...
78
Voted
PICS
2001
15 years 2 months 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