8978 search results - page 1683 / 1796 » Parallel Genetic Algorithms |
138
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
157
click to vote
RTAS
2008
IEEE
15 years 11 months ago
2008
IEEE
Instruction scratchpads have been previously suggested as a way to reduce the worst case execution time (WCET) of hard real-time programs without introducing the analysis issues p...
151
click to vote
3DIM
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents a new system for acquiring complete 3D surface models using a single structured light projector, a pair of planar mirrors, and one or more synchronized cameras...
135
click to vote
ASAP
2007
IEEE
15 years 11 months ago
2007
IEEE
A hardware-oriented method for evaluating complex polynomials by solving iteratively a system of linear equations is proposed. Its implementation uses a digit-serial iterations on...
151
click to vote
ASIAMS
2007
IEEE
15 years 11 months ago
2007
IEEE
The tree structure has received much interest as a versatile architecture for a large class of parallel processing applications. Spanning trees in particular are essential tools f...