12459 search results - page 2282 / 2492 » cans 2006 |
216
click to vote
DT
2006
15 years 7 months ago
2006
the abstraction level at which designers express systems, enabling new levels of design reuse, and providing for design chain integration ool flows and abstraction levels. The purp...
193
click to vote
EC
2006
15 years 7 months ago
2006
The performance of a learning classifier system is due to its two main components. First, it evolves new structures by generating new rules in a genetic process; second, it adjust...
219
click to vote
ENTCS
2006
15 years 7 months ago
2006
Separation logic [20,21,14] began life as an extended formalisation of Burstall's treatment of list-mutating programs [8]. It rapidly became clear that there was more that it...
178
click to vote
ENTCS
2006
15 years 7 months ago
2006
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
186
click to vote
ENTCS
2006
15 years 7 months ago
2006
In recent years several successful GALS realizations have been presented. The core of a GALS system is a locally synchronous island that is designed using industry standard synchr...