Sciweavers

7253 search results - page 752 / 1451
» Agile Performance Testing
Sort
View
JSAT
2008
83views more  JSAT 2008»
15 years 7 months ago
The First and Second Max-SAT Evaluations
We describe the organization and report on the results of the First and Second Max-SAT Evaluations, which were organized as affiliated events of the 2006 and 2007 editions of the ...
Josep Argelich, Chu Min Li, Felip Manyà, Jo...
JSS
2008
90views more  JSS 2008»
15 years 7 months ago
Early quality monitoring in the development of real-time reactive systems
The increasing trend toward complex software systems has highlighted the need to incorporate quality requirements earlier in the development cycle. We propose a new methodology fo...
Olga Ormandjieva, Vangalur S. Alagar, Mao Zheng
JFR
2006
75views more  JFR 2006»
15 years 7 months ago
Topological map learning from outdoor image sequences
We propose an approach to building topological maps of environments based on image sequences. The central idea is to use manifold constraints to find representative feature protot...
Xuming He, Richard S. Zemel, Volodymyr Mnih
MAM
2008
138views more  MAM 2008»
15 years 7 months ago
FPGA based tester tool for hybrid real-time systems
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...
Jan Krakora, Zdenek Hanzálek
JNW
2006
98views more  JNW 2006»
15 years 7 months ago
Efficient Distributed Algorithm for RWA Using Path Protection
A number of Integer Linear Program (ILP) formulations for both static and dynamic lightpath allocation have been proposed, for the design of survivable WDM networks. However, such ...
Arunita Jaekel, Ying Chen