Sciweavers

5451 search results - page 824 / 1091
» On very high degrees
Sort
View
FTRTFT
2000
Springer
15 years 10 months ago
Modeling Faults of Distributed, Reactive Systems
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
Max Breitling
GECCO
2000
Springer
138views Optimization» more  GECCO 2000»
15 years 10 months ago
Domain Knowledge and Representation in Genetic Algorithms for Real World Scheduling Problems
This paper discusses the issues that arise in the design and implementation of an industrialstrength evolutionary-based system for the optimization of the monthly work schedules f...
Ioannis T. Christou, Armand Zakarian
ICPR
2000
IEEE
15 years 10 months ago
Efficient Super-Resolution and Applications to Mosaics
Mosaicingand super resolution are two ways to combine information from multiple frames in video sequences. Mosaicing displays the information of multiple frames in a single panora...
Assaf Zomet, Shmuel Peleg
171
Voted
ICSE
2000
IEEE-ACM
15 years 10 months ago
A case study: demands on component-based development
Building software systems with reusable components brings many advantages. The development becomes more efficient, the reliability of the products is enhanced, and the maintenance...
Ivica Crnkovic, Magnus Larsson
PARELEC
2000
IEEE
15 years 10 months ago
Parallel Computing Environments and Methods
Recent advances in high-speed networks, rapid improvements in microprocessor design, and availability of highly performing clustering software implementations enables cost-effecti...
Ghassan Fadlallah, Michel Lavoie, Louis-A. Dessain...