10707 search results - page 84 / 2142 » Designing executable abstractions |
143
click to vote
CAISE
2001
Springer
15 years 7 months ago
2001
Springer
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
101
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
We are designing dynamic analysis techniques to identify executed program statements where a fault lies, i.e. the fault candidate set. To narrow the set of statements in the fault...
150
click to vote
TYPES
2000
Springer
15 years 6 months ago
2000
Springer
We report on the design of a prototyping component for the theorem prover Isabelle/HOL. Specifications consisting of datatypes, recursive functions and inductive definitions are co...
140
click to vote
ACE
2004
15 years 4 months ago
2004
The Unified Modelling Language (UML) is a diagrammatic notation widely used in the computing industry and often taught in universities as a way to represent software requirements ...
SAMOS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract—Most research work on (Simultaneous Multithreading Processors) SMTs focuses on improving throughput and/or fairness, or on prioritizing some threads over others in a wor...