7311 search results - page 287 / 1463 » Time in State Machines |
226
click to vote
PADS
2006
ACM
16 years 1 months ago
2006
ACM
A master/worker paradigm for executing large-scale parallel discrete event simulation programs over networkenabled computational resources is proposed and evaluated. In contrast t...
172
click to vote
SIGSOFT
2004
ACM
16 years 22 days ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriļ...
207
click to vote
DATE
2003
IEEE
16 years 18 days ago
2003
IEEE
Given the growth in application-speciļ¬c processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
208
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
āā Functional BIST is a promising solution for self-testing complex digital systems at reduced costs in terms of area and performance degradation. The present paper addresses t...
214
click to vote
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...