Sciweavers

1368 search results - page 223 / 274
» Recursive modules for programming
Sort
View
ISCI
2007
88views more  ISCI 2007»
13 years 7 months ago
Strategy creation, decomposition and distribution in particle navigation
Strategy planning is crucial to control a group to achieve a number of tasks in a closed area full of obstacles. In this study, genetic programming has been used to evolve rule-ba...
Ulas Beldek, Kemal Leblebicioglu
JIPS
2007
88views more  JIPS 2007»
13 years 7 months ago
Interface Development for the Point-of-care device based on SOPC
: This paper describes the development of the sensor interface and driver program for a point of care (POC) device. The proposed POC device comprises an ARM9 embedded processor and...
Hong Bum Son, Sung Gun Song, Jae Wook Jung, Chang ...
CSSE
2002
IEEE
13 years 7 months ago
A fault tolerant access to legacy database systems using CORBA technology
This work presents a software-implemented fault tolerance approach for building a reliable database application in a CORBA environment. Database applications have functional requi...
Domenico Cotroneo, Nicola Mazzocca, Luigi Romano, ...
SIMULATION
2002
143views more  SIMULATION 2002»
13 years 7 months ago
GaliLEO: A Simulation Tool for LEO Satellite Constellations
We present GaliLEO, a simulator for the transmission of connection-oriented traffic over a constellation of LEO/MEO (Low / Medium Earth Orbit) satellites. Its scope is limited to ...
Laurent Franck, Francesco Potorti
TAP
2010
Springer
145views Hardware» more  TAP 2010»
13 years 5 months ago
QuickSpec: Guessing Formal Specifications Using Testing
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...
Koen Claessen, Nicholas Smallbone, John Hughes