Sciweavers

1791 search results - page 269 / 359
» Behavioral Operations
Sort
View
DIMACS
1996
15 years 4 months ago
Model Checking and the Mu-calculus
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
E. Allen Emerson
143
Voted
SPIESR
1996
118views Database» more  SPIESR 1996»
15 years 4 months ago
Performances of Multiprocessor Multidisk Architectures for Continuous Media Storage
Multimedia interfaces increase the need for large image databases, capable of storing and reading streams of data with strict synchronicity and isochronicity requirements. In orde...
Benoit A. Gennart, Vincent Messerli, Roger D. Hers...
AAAI
1990
15 years 4 months ago
Generalized Shape Autocorrelation
This paper presents an efficient and homogeneous paradigm for automatic acquisition and recognition of nonparametric shapes. Acquisition time varies from linear to cubic in the nu...
Andrea Califano, Rakesh Mohan
GECCO
2008
Springer
127views Optimization» more  GECCO 2008»
15 years 4 months ago
Social interaction in particle swarm optimization, the ranked FIPS, and adaptive multi-swarms
The interaction among particles is a vital aspect of Particle Swarm Optimization. As such, it has a strong influence on the swarm’s success. In this study various approaches re...
Johannes Jordan, Sabine Helwig, Rolf Wanka
SIGCOMM
2010
ACM
15 years 3 months ago
Towards software-friendly networks
There has usually been a clean separation between networks and the applications that use them. Applications send packets over a simple socket API; the network delivers them. Howev...
Kok-Kiong Yap, Te-Yuan Huang, Ben Dodson, Monica S...