3799 search results - page 619 / 760 » An Engineering Approach to Formal Methods |
129
click to vote
UIST
1998
ACM
15 years 9 months ago
1998
ACM
We describe a new method and implementation for managing information through the use of physical objects. In today’s networked world, the trend is toward working in a global vir...
144
click to vote
SIGSOFT
1996
ACM
15 years 9 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
138
click to vote
CGO
2004
IEEE
15 years 8 months ago
2004
IEEE
Static Single Assignment form is an intermediate representation that uses instructions to merge values at each confluent point of the control flow graph. instructions are not ma...
155
click to vote
ARCS
2006
Springer
15 years 8 months ago
2006
Springer
Early energy estimation is increasingly important in MultiProcessor System-On-Chip (MPSoC) design. Applying traditional approaches, which consist in delaying the estimation until t...
134
click to vote
ECLIPSE
2004
ACM
15 years 8 months ago
2004
ACM
Object-oriented software development is a subject area difficult to teach, especially to beginners. They face a lot of abstraction and (from a beginners point of view) isolated to...