Sciweavers

4491 search results - page 88 / 899
» Algorithm Engineering
Sort
View
VISSOFT
2002
IEEE
14 years 2 months ago
Specifying Algorithm Visualizations in Terms of Data Flow
Interesting events and state mapping are two approaches used to specify software visualization. They are applied in, respectively, event-driven and data-driven visualization syste...
Jaroslaw Francik
C3S2E
2008
ACM
13 years 11 months ago
Integer least squares: sphere decoding and the LLL algorithm
This paper considers the problem of integer least squares, where the least squares solution is an integer vector, whereas the coefficient matrix is real. In particular, we discuss...
Sanzheng Qiao
GECCO
2005
Springer
175views Optimization» more  GECCO 2005»
14 years 2 months ago
An approach for QoS-aware service composition based on genetic algorithms
Web services are rapidly changing the landscape of software engineering. One of the most interesting challenges introduced by web services is represented by Quality Of Service (Qo...
Gerardo Canfora, Massimiliano Di Penta, Raffaele E...
TR
2010
131views Hardware» more  TR 2010»
13 years 3 months ago
A Memetic Algorithm for Multi-Level Redundancy Allocation
Redundancy allocation problems (RAPs) have attracted much attention for the past thirty years due to its wide applications in improving the reliability of various engineering syste...
Zai Wang, Ke Tang, Xin Yao
AC
2003
Springer
14 years 2 months ago
Timed Automata: Semantics, Algorithms and Tools
This chapter is to provide a tutorial and pointers to results and related work on timed automata with a focus on semantical and algorithmic aspects of verification tools. We prese...
Johan Bengtsson, Wang Yi