2364 search results - page 284 / 473 » An Engine for Computing Well-Founded Models |
126
click to vote
ARCS
2006
Springer
15 years 8 months ago
2006
Springer
: Given is the following "creature's exploration problem": n creatures are moving around in an unknown environment in order to visit all cells in shortest time. This...
165
Voted
AVI
2010
15 years 6 months ago
2010
The paper proposes an approach to EUD focusing on communities: on the one hand, users are considered as a community of cooperating actors; on the other hand, applications and devi...
135
Voted
DAC
2004
ACM
16 years 6 months ago
2004
ACM
Architecture description languages (ADL) have been established to aid the design of application-specific instruction-set processors (ASIP). Their main contribution is the automati...
158
click to vote
DAC
2006
ACM
16 years 6 months ago
2006
ACM
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
146
click to vote
CCGRID
2006
IEEE
15 years 11 months ago
2006
IEEE
Traffic congestion has become a major concern for many cities throughout the world. Simulations provide useful tools for engineer to plan traffic systems and government to make de...