259 search results - page 26 / 52 » Using Transformations and Verification in Circuit Design |
115
click to vote
RTS
2006
15 years 10 days ago
2006
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
153
click to vote
AGTIVE
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
EDBT
2008
ACM
16 years 17 days ago
2008
ACM
Schema mapping algorithms rely on value correspondences ? i.e., correspondences among semantically related attributes ? to produce complex transformations among data sources. Thes...
110
Voted
GLVLSI
2002
IEEE
15 years 5 months ago
2002
IEEE
As an efficient representation of Extended Finite State Machines, Multiway Decision Graphs (MDG) are suitable for automatic hardware verification of Register Transfer Level (RTL) ...
105
Voted
CCECE
2011
IEEE
14 years 12 days ago
2011
IEEE
A mode-matching approach is presented for the analysis of substrate-integrated waveguide (SIW) circuits. The numerical technique takes advantage of recently developed fabrication ...