Sciweavers

18090 search results - page 2897 / 3618
» Computing by Only Observing
Sort
View
RTSS
2008
IEEE
16 years 1 months ago
Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems
COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verif...
Rodolfo Pellizzoni, Patrick O'Neil Meredith, Marco...
SASO
2008
IEEE
16 years 1 months ago
An Emergent System for Self-Aligning and Self-Organizing Shape Primitives
Motivated by the natural phenomenon of living cells selforganizing into specific shapes and structures, we present an emergent system that utilizes evolutionary computing methods...
Linge Bai, Manolya Eyiyurekli, David E. Breen
SECON
2008
IEEE
16 years 1 months ago
Decentralized Tick Synchronization for Multi-Hop Medium Slotting in Wireless Ad Hoc Networks Using Black Bursts
—In this paper, we present Black Burst Synchronization (BBS)1 , a novel protocol for decentralized network-wide tick synchronization in wireless ad hoc networks, located at MAC l...
Reinhard Gotzhein, Thomas Kuhn
SEFM
2008
IEEE
16 years 1 months ago
Nullness Analysis in Boolean Form
Attempts to dereference null result in an exception or a segmentation fault. Hence it is important to know those program points where this might occur and prove the others (or the...
Fausto Spoto
SISAP
2008
IEEE
98views Data Mining» more  SISAP 2008»
16 years 1 months ago
On Reinsertions in M-tree
In this paper we introduce a new M-tree building method, utilizing the classic idea of forced reinsertions. In case a leaf is about to split, some distant objects are removed from...
Jakub Lokoc, Tomás Skopal
« Prev « First page 2897 / 3618 Last » Next »