1087 search results - page 129 / 218 » Generation under Space Constraints |
109
click to vote
SAMOS
2007
Springer
15 years 6 months ago
2007
Springer
—This paper presents a new methodology based on evolutionary multi-objective optimization (EMO) to synthesize multiple complex modules on programmable devices (FPGAs). It starts ...
92
Voted
ISAAC
2007
Springer
15 years 7 months ago
2007
Springer
We solve several fundamental geometric problems under a new streaming model recently proposed by Ruhl et al. [2, 12]. In this model, in one pass the input stream can be scanned to ...
112
click to vote
ASMTA
2008
Springer
15 years 2 months ago
2008
Springer
The solution of continuous and discrete-time Markovian models is still challenging mainly when we model large complex systems, for example, to obtain performance indexes of paralle...
126
click to vote
VLDB
2007
ACM
15 years 6 months ago
2007
ACM
Testing a database engine has been and continues to be a challenging task. The space of possible SQL queries along with their possible access paths is practically unbounded. Moreo...
98
Voted
CONCUR
1991
Springer
15 years 4 months ago
1991
Springer
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...