1036 search results - page 154 / 208 » Incompleteness of Behavioral Logics |
ISCAS
2003
IEEE
14 years 2 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...
ISCAS
2003
IEEE
14 years 2 months ago
2003
IEEE
the interconnection among the IP cores with all description levels This paper presents an automatic interconnection rectification (AIR)technique to correct the misplaced interconne...
FASE
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. The OMG’s Model-Driven Architecture focusses on the evolution and integration of applications across heterogeneous middleware platforms. Presently available instances o...
DATE
2010
IEEE
14 years 1 months ago
2010
IEEE
—Spintronic memristor devices based upon spin torque induced magnetization motion are presented and potential application examples are given. The structure and material of these ...
CONCUR
2001
Springer
14 years 1 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...