3256 search results - page 548 / 652 » Applications of Formal Methods to System Design and Verifica... |
313
click to vote
IWSOS
2011
Springer
14 years 8 months ago
2011
Springer
Abstract This paper depicts and evaluates an evolutionary design process for generating a complex self-organizing multicellular system based on Cellular Automata (CA). We extend th...
141
click to vote
ISPD
2003
ACM
15 years 10 months ago
2003
ACM
Traditional multilevel partitioning approaches have shown good performance with respect to cutsize, but offer no guarantees with respect to system performance. Timing-driven part...
156
click to vote
3DPVT
2002
IEEE
15 years 10 months ago
2002
IEEE
In many applications surfaces with a large number of primitives occur. Geometry compression reduces storage space and transmission time for such models. A special case is given by...
148
click to vote
GECCO
2010
Springer
15 years 10 months ago
2010
Springer
In this paper we present the application of an evolution strategy to the problem of detecting multi-planet transit events in photometric time-data series. Planetary transits occur...
110
click to vote
MEMOCODE
2005
IEEE
15 years 11 months ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...