Sciweavers

1063 search results - page 130 / 213
» Programming Methodologies in GCLA
Sort
View
86
Voted
JUCS
2006
93views more  JUCS 2006»
15 years 19 days ago
Synthesis of Optimal Workflow Structure
: Optimal synthesis of workflow structures, the formerly undefined problem, has been introduced. Mathematical programming model is presented for determining the cost optimal workfl...
József Tick, Zoltán Kovacs, Ferenc F...
105
Voted
GD
2006
Springer
15 years 4 months ago
The Website for Graph Visualization Software References (GVSR)
Graph drawing software are now commonly used. However, the choice of a well-adapted program may be hard for an inexperienced user. This poster presents a website (http://www.polyte...
Bruno Pinaud, Pascale Kuntz, Fabien Picarougne
IEE
2008
115views more  IEE 2008»
15 years 22 days ago
Faithful mapping of model classes to mathematical structures
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
Ádám Darvas, Peter Müller
100
Voted
CPAIOR
2006
Springer
15 years 4 months ago
Allocation, Scheduling and Voltage Scaling on Energy Aware MPSoCs
Abstract. In this paper we introduce a complex allocation and scheduling problem for variable voltage Multi-Processor System-on-Chip (MPSoC) platforms. We propose a methodology to ...
Luca Benini, Davide Bertozzi, Alessio Guerri, Mich...
120
Voted
GECCO
2006
Springer
143views Optimization» more  GECCO 2006»
15 years 4 months ago
Hybrid search for cardinality constrained portfolio optimization
In this paper, we describe how a genetic algorithm approach added to a simulated annealing (SA) process offers a better alternative to find the mean variance frontier in the portf...
Miguel A. Gomez, Carmen X. Flores, Maria A. Osorio