3256 search results - page 115 / 652 » Applications of Formal Methods to System Design and Verifica... |
156
click to vote
ASPDAC
2009
ACM
15 years 9 months ago
2009
ACM
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...
140
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
112
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
144
click to vote
DATE
2000
IEEE
15 years 9 months ago
2000
IEEE
We present a novel method for developing reconfigurable systems targeted at embedded system applications. We show how an existing object oriented design method (MOOSE) has been ad...
140
click to vote
EUSFLAT
2003
15 years 5 months ago
2003
This work shows a stand-alone photovoltaic system application based on fuzzy logic controllers and genetic fuzzy systems. A hierarchical fuzzy controller has been designed that at...