Sciweavers

1552 search results - page 112 / 311
» Concepts and Concept-Oriented Programming
Sort
View
ICWN
2009
13 years 7 months ago
Wireless Sensor Network Localization With Imprecise Measurements Using Only a Quadratic Solver
The energy constrained wireless sensor nodes need very efficient localization algorithm for event detection. We propose a method for localizing the wireless sensor nodes using the ...
Maneesha V. Ramesh, K. P. Soman
IFIP
2010
Springer
13 years 5 months ago
Task Migration for Fault-Tolerant FlexRay Networks
In this paper we present new concepts to resolve ECU (Electronic Control Unit) failures in FlexRay networks. Our approach extends the FlexRay bus schedule by redundant slots with m...
Kay Klobedanz, Gilles B. Defo, Henning Zabel, Wolf...
CADE
2011
Springer
12 years 10 months ago
Exploiting Symmetry in SMT Problems
Abstract. Methods exploiting problem symmetries have been very successful in several areas including constraint programming and SAT solving. We here recast a technique to enhance t...
David Déharbe, Pascal Fontaine, Stephan Mer...
TODS
2012
12 years 16 days ago
A survey of B-tree logging and recovery techniques
B-trees have been ubiquitous in database management systems for several decades, and they serve in many other storage systems as well. Their basic structure and their basic operat...
Goetz Graefe
MMSEC
2006
ACM
160views Multimedia» more  MMSEC 2006»
14 years 4 months ago
Extraction in software watermarking
The widespread use of the Internet makes software piracy and unauthorized modification easier and more frequent. Among the many techniques developed for protecting software copyr...
William Zhu, Clark D. Thomborson