2624 search results - page 198 / 525 » The 2LIP model and its implementations |
175
click to vote
PASTE
2004
ACM
16 years 7 days ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
208
click to vote
CJ
2006
15 years 6 months ago
2006
Most microprocessor chips today use an out-of-order instruction execution mechanism. This mechanism allows superscalar processors to extract reasonably high levels of instruction ...
197
click to vote
APIN
2002
15 years 6 months ago
2002
This paper describes a new learning by example mechanism and its application for digital circuit design automation. This mechanism uses finite state machines to represent the infer...
181
click to vote
AAAI
1998
15 years 8 months ago
1998
1 Robust behavior in complex, dynamic environments mandates that intelligent agents autonomously monitor their own run-time behavior, detect and diagnose failures, and attempt reco...
153
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
With the term flexibility, we introduce a new design dimension of an embedded system that quantitatively characterizes its feasibility in implementing not only one, but possibly ...