9989 search results - page 183 / 1998 » A CLP Approach to Modelling Systems |
160
Voted
CDC
2010
IEEE
14 years 12 months ago
2010
IEEE
We propose a solution to the problem of adaptive output regulation for nonlinear minimum-phase systems that does not rely upon conventional adaptation schemes to estimate the frequ...
138
click to vote
JCC
2007
15 years 4 months ago
2007
In technical chemistry, systems biology and biotechnology, the construction of predictive models has become an essential step in process design and product optimization. Accurate ...
142
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
157
Voted
BERTINORO
2005
Springer
15 years 10 months ago
2005
Springer
Current computing environments are becoming increasingly complex in nature and exhibit unpredictable workloads. These environments create challenges to the design of systems that c...
164
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
Efficient evaluation of design choices, in terms of selection of algorithms to be implemented as hardware or software, and finding an optimal hw/sw design mix is an important re...