Sciweavers

1552 search results - page 112 / 311
» Concepts and Concept-Oriented Programming
Sort
View
ICWN
2009
15 years 3 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
15 years 15 days 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
14 years 5 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
13 years 8 months 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»
15 years 11 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