Sciweavers

2686 search results - page 188 / 538
» Using a neural network in the software testing process
Sort
View
ICSE
2009
IEEE-ACM
14 years 4 months ago
Verifying networked programs using a model checker extension
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
Watcharin Leungwattanakit, Cyrille Artho, Masami H...
IWANN
2007
Springer
14 years 3 months ago
Augmented Reality Visualization Interface for Biometric Wireless Sensor Networks
Wireless sensor networks are being intensely used in health care environments to collect biometric signals from patients. This paper presents an augmented reality visual interface ...
Débora Claros, Mario De Haro, Miguel Dom&ia...
IPPS
2005
IEEE
14 years 2 months ago
P2PDisCo - Java Distributed Computing for Workstations Using Chedar Peer-to-Peer Middleware
This paper introduces Peer-to-Peer Distributed Computing (P2PDisCo) software, which provides an interface for distributing the computation of Java programs to multiple workstation...
Niko Kotilainen, Mikko Vapa, Matthieu Weber, Joni ...
AOSD
2011
ACM
13 years 4 months ago
Experiences documenting and preserving software constraints using aspects
Software systems are increasingly being built as compositions of reusable artifacts (components, frameworks, toolkits, plug-ins, APIs, etc) that have non-trivial usage constraints...
Roberto Silveira Silva Filho, François Bron...
GECCO
2004
Springer
100views Optimization» more  GECCO 2004»
14 years 2 months ago
Transfer of Neuroevolved Controllers in Unstable Domains
In recent years, the evolution of artificial neural networks or neuroevolution has brought promising results in solving difficult reinforcement learning problems. But, like standa...
Faustino J. Gomez, Risto Miikkulainen