6581 search results - page 43 / 1317 » Formalizing Design Patterns |
112
click to vote
DATE
2006
IEEE
15 years 8 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 ...
126
click to vote
ICCS
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, we show how symbolic algebra in Mathematica can be used to formally verify analog and mixed signal designs. The verification methodology is based on combining induct...
106
click to vote
ISCAS
2003
IEEE
15 years 7 months ago
2003
IEEE
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
119
click to vote
AOSE
2004
Springer
15 years 8 months ago
2004
Springer
While there are many useful models of agents and multi-agent systems, they are typically defined in an informal way and applied in an ad-hoc fashion. Consequently, multi-agent sys...
94
Voted
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...