4502 search results - page 277 / 901 » Regular Model Checking |
136
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
We present quantitative models for the selection pressure of cellular evolutionary algorithms structured in two dimensional regular lattices. We derive models based on probabilisti...
158
click to vote
SCANGIS
2003
15 years 7 months ago
2003
The paper describes a concept for GIS based terrain mobility modelling and optimization of off-road route. The concept of generation of cost surface is based on machine, terrain, ...
420
click to vote
DAC
2012
ACM
13 years 9 months ago
2012
ACM
Loop pipelining is a critical transformation in behavioral synthesis. It is crucial to producing hardware designs with acceptable latency and throughput. However, it is a complex ...
163
click to vote
ACSD
2003
IEEE
15 years 11 months ago
2003
IEEE
Signal Transition Graphs (STGs) are one of the most popular models for the specification of asynchronous circuits. A STG can be implemented if it admits a so-called consistent an...
196
click to vote
WICSA
2007
15 years 7 months ago
2007
The software architecture is one of the most important artifacts created in the lifecycle of a software system. It enables, facilitates, hampers, or interferes directly the achiev...