Sciweavers

2555 search results - page 412 / 511
» Putting complex systems to work
Sort
View
118
Voted
NSDI
2004
15 years 2 months ago
Model Checking Large Network Protocol Implementations
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
Madanlal Musuvathi, Dawson R. Engler
97
Voted
INTERACT
2003
15 years 2 months ago
Toward Characterizing the Productivity Benefits of Very Large Displays
: Larger display surfaces are becoming increasingly available due to multi-monitor capability built into many systems, in addition to the rapid decrease in their costs. However, li...
Mary Czerwinski, Greg Smith, Tim Regan, Brian Meye...
114
Voted
MMNS
2003
143views Multimedia» more  MMNS 2003»
15 years 2 months ago
M3G: A Mobile Multicast Multimedia Gateway for Seamless IPv4/IPv6 Transition
A growing interest in third generation wireless IP network and service technologies, push up the demand on IPv6 transition. Most of these services require mobility, multicast and m...
Yassine Hadjadj Aoul, Daniel Negru, Abdelhamid Naf...
123
Voted
NC
1998
138views Neural Networks» more  NC 1998»
15 years 2 months ago
Parallel Adaptive Genetic Algorithm
In this paper we introduce an efficient implementation of asynchronously parallel genetic algorithm with adaptive genetic operators. The classic genetic algorithm paradigm is exte...
Leo Budin, Marin Golub, Domagoj Jakobovic
79
Voted
AIPS
1994
15 years 2 months ago
Using AI Planning Techniques to Automatically Generate Image Processing Procedures
This paper describes work on the Multimission VICARPlanner (MVP) system to automatically construct executable imageprocessing procedures for custom image processing requests for t...
Steve A. Chien