Sciweavers

3227 search results - page 357 / 646
» Software engineering and performance: a road-map
Sort
View
GECCO
2005
Springer
118views Optimization» more  GECCO 2005»
16 years 7 days ago
G2DGA: an adaptive framework for internet-based distributed genetic algorithms
The Internet is different from traditional parallel computing environments, and Distributed Genetic Algorithms (DGAs) for the Internet need to be designed to address these diffe...
Johan Berntsson
UIST
2004
ACM
16 years 4 days ago
Combining crossing-based and paper-based interaction paradigms for dragging and dropping between overlapping windows
Despite novel interaction techniques proposed for virtual desktops, common yet challenging tasks remain to be investigated. Dragging and dropping between overlapping windows is on...
Pierre Dragicevic
ARCS
2004
Springer
16 years 3 days ago
Implementation and Evaluation of a Parallel-External Algorithm for Cycle Structure Computation on a PC-Cluster
Abstract: We report on our experiences with the implementation of a parallel algorithm to compute the cycle structure of a permutation given as an oracle. As a sub-problem, the cyc...
Latifa Boursas, Jörg Keller
ENTCS
2010
208views more  ENTCS 2010»
15 years 4 months ago
Accelerated Invariant Generation for C Programs with Aspic and C2fsm
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
Paul Feautrier, Laure Gonnord
TASLP
2010
78views more  TASLP 2010»
15 years 1 months ago
Solving Demodulation as an Optimization Problem
We introduce two new methods for the demodulation of acoustic signals by posing the problem in a convex optimization framework. This allows the parameters of the modulator and carr...
Gregory Sell, Malcolm Slaney