1676 search results - page 208 / 336 » Describing Software Architecture with UML |
182
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
DICE (DIstributed Constraint Environment) is a framework for the construction of distributed constraint solvers from software components in a number of predefined categories. The...
150
click to vote
EMSOFT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this paper, we explain mechanisms for providing embedded network processors and other low-level programming environments with light-weight support for safe resource sh...
146
click to vote
DSRT
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper describes the addition of an extra piece of software, a rollback manager, to implement state saving and rollback management for optimistic federates in the High Level A...
139
click to vote
TPHOL
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. Intel is applying formal verification to various pieces of mathematical software used in Merced, the first implementation of the new IA-64 architecture. This paper discus...
136
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates the verification of digital circuits us...