2527 search results - page 300 / 506 » A UML-Based Approach to System Testing |
132
click to vote
PLDI
2000
ACM
15 years 8 months ago
2000
ACM
This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type system that is capable of capturing many common synchr...
113
click to vote
SC
2000
ACM
15 years 8 months ago
2000
ACM
This paper reports the progress being made towards complete turbo-pump simulation capability for liquid rocket engines. The Space Shuttle Main Engine (SSME) turbo-pump impeller is...
124
click to vote
ECRTS
1999
IEEE
15 years 8 months ago
1999
IEEE
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defin...
111
click to vote
VL
1999
IEEE
15 years 8 months ago
1999
IEEE
Recently a new metaphor for diagramming, the intelligent diagram has emerged. This new metaphor provides an excellent basis for diagram beautification since it automatically colle...
125
click to vote
MICCAI
1999
Springer
15 years 8 months ago
1999
Springer
We present algorithms for the automatic delineation of lung fields in chest radiographs. We first develop a rule-based scheme that detects lung contours using a general framework...