3706 search results - page 108 / 742 » KtSeqC: System Description |
169
click to vote
DELTA
2002
IEEE
15 years 11 months ago
2002
IEEE
A new method for hierarchical fault simulation based on multi-level Decision Diagrams (DD) is proposed. We suppose that a register transfer (RT) level information along with gate-...
151
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Multichannel publication of multimedia presentations poses a significant challenge on the generic description of the presentation content and the system necessary to convert these...
187
click to vote
GPC
2010
Springer
16 years 29 days ago
2010
Springer
Scalability of reasoning systems is one of the main criteria which will determine the success of Semantic Web systems in the future. The focus of recent work is either on (a) expre...
152
click to vote
MODELS
2007
Springer
16 years 18 days ago
2007
Springer
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, have become standard practice in the design of reactive embedded devices. Statecharts are often mor...
168
click to vote
RSP
2005
IEEE
16 years 1 days ago
2005
IEEE
Nowadays, Architecture Description Languages (ADLs) are getting popular to speed up the development of complex SoC design, by performing the design space explon a higher level of ...