2638 search results - page 423 / 528 » A Framework for Automatic Debugging |
125
click to vote
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
To understand the performance of modern Java systems one must observe execution in the context of specific architectures. It is also important that we make these observations usi...
129
click to vote
MEMOCODE
2003
IEEE
15 years 6 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
112
click to vote
MSE
2003
IEEE
15 years 6 months ago
2003
IEEE
A tool has been created for use in a design course to automate integration of new components into a SystemOn-Chip (SoC). Students used this tool to implement a complete SoC Intern...
108
click to vote
JCDL
2003
ACM
15 years 6 months ago
2003
ACM
Niche Search Engines offer an efficient alternative to traditional search engines when the results returned by general-purpose search engines do not provide a sufficient degree of...
108
click to vote
ASM
2003
ASM
15 years 6 months ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...