12981 search results - page 608 / 2597 » Model Checking (Abstract) |
175
Voted
GECCO
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. Fitness functions based on the Ising model are suited excellently for studying the adaption capabilities of randomised search heuristics. The one-dimensional Ising model ...
166
click to vote
JACIII
2007
15 years 7 months ago
2007
Abstract— A common framework for formalization of statetransition computation models is presented based on a general theory for studying the interrelationships between specifica...
173
click to vote
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract-- We consider the multiplay model for hysteresis with nonlocal memory. This model consists of N mass/spring/dashpot with deadzone elements. The hysteresis map of the multi...
207
Voted
EMSOFT
2005
Springer
16 years 26 days ago
2005
Springer
One major challenge in System-on-Chip (SoC) design is the definition and design of interfaces between hardware and software. Traditional ASIC designer and software designer model ...
189
click to vote
APCCM
2009
15 years 8 months ago
2009
Using traditional semantic data modeling, multi-level modeling can be achieved by representing objects in different abstraction hierarchies, namely classification, aggregation and...