Sciweavers

3113 search results - page 260 / 623
» Efficiently Generating Efficient Generating Extensions in Pr...
Sort
View
DEXAW
2004
IEEE
181views Database» more  DEXAW 2004»
15 years 8 months ago
Algebraic Optimization of Data Delivery Patterns in Mobile Sensor Networks
Database-like query processing over a network of sensors has become an attractive paradigm for building sensor applications. A sensor query is characterized by data streams among ...
Vladimir Zadorozhny, Panos K. Chrysanthis, Alexand...
FDL
2004
IEEE
15 years 8 months ago
Predictability in Real-time System Development (2) A Case Study
In a companion paper [HVV04], we have investigated the deficiency of existing design approaches in supporting predictability for real-time control system development. A design app...
Jinfeng Huang, Jeroen Voeten, Piet van der Putten,...
CONCUR
2006
Springer
15 years 8 months ago
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
Stefan Leue, Alin Stefanescu, Wei Wei
GECCO
2006
Springer
185views Optimization» more  GECCO 2006»
15 years 8 months ago
Robot gaits evolved by combining genetic algorithms and binary hill climbing
In this paper an evolutionary algorithm is used for evolving gaits in a walking biped robot controller. The focus is fast learning in a real-time environment. An incremental appro...
Lena Mariann Garder, Mats Erling Høvin
135
Voted
EUROCRYPT
2000
Springer
15 years 8 months ago
Improved Fast Correlation Attacks Using Parity-Check Equations of Weight 4 and 5
Abstract. This paper describes new techniques for fast correlation attacks, based on Gallager iterative decoding algorithm using parity-check equations of weight greater than 3. Th...
Anne Canteaut, Michaël Trabbia