Sciweavers

2605 search results - page 229 / 521
» Reliability-aware scalability models for high performance co...
Sort
View
ICN
2009
Springer
15 years 2 months ago
Simulation Platform for Wireless Sensor Networks Based on Impulse Radio Ultra Wide Band
Impulse Radio Ultra Wide Band (IR-UWB) is a promising technology to address Wireless Sensor Network (WSN) constraints. However, existing network simulation tools do not provide a ...
Abdoulaye Berthe, Aubin Lecointre, Daniela Dragomi...
AMAI
2010
Springer
15 years 1 months ago
Efficient approximate verification of B and Z models via symmetry markers
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
Michael Leuschel, Thierry Massart
BMVC
2010
15 years 2 months ago
Using Context to Create Semantic 3D Models of Indoor Environments
Semantic 3D models of buildings encode the geometry as well as the identity of key components of a facility, such as walls, floors, and ceilings. Manually constructing such a mode...
Xuehan Xiong, Daniel Huber
ICIP
2006
IEEE
16 years 6 months ago
An Efficient and Low-Delay Mctf Partitioning
In this paper, we compute the residual energy of predictive frames (i.e., unidirectional and bidirectional motion prediction) by using the autocorrelation between successive video...
Liyang Xu, Sunil Kumar
CLUSTER
2004
IEEE
15 years 8 months ago
FTC-Charm++: an in-memory checkpoint-based fault tolerant runtime for Charm++ and MPI
As high performance clusters continue to grow in size, the mean time between failure shrinks. Thus, the issues of fault tolerance and reliability are becoming one of the challengi...
Gengbin Zheng, Lixia Shi, Laxmikant V. Kalé