8132 search results - page 1193 / 1627 » Dependability, Abstraction, and Programming |
194
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
We describe formal steps in the design of iState, a tool for translating statecharts into programming languages. Currently iState generates code in either Java, or the Abstract Mac...
208
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes an infrastructure that enables transparent development of image processing software for parallel computers. The infrastructure’s main component is an image ...
156
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. Computer vision is a challenging data intensive application. Currently, superscalar architectures dominate the processor marketplace. As more transistors become available...
226
click to vote
ISSRE
2000
IEEE
15 years 11 months ago
2000
IEEE
The emphasis in object-oriented programs is on defining abstractions that have both state and behavior. This emphasis causes a shift in focus from software units to the way softw...
184
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...