2448 search results - page 267 / 490 » The Octahedron Abstract Domain |
163
Voted
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
206
click to vote
AGTIVE
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. In the paper Support for Design Patterns through Graph Transformation Tools in this volume, we have already outlined the global structure of a tool that allows for the an...
170
click to vote
ECOOP
1999
Springer
15 years 11 months ago
1999
Springer
This paper argues that the current OO technology does not support reuse and configurability in an effective way. This problem can be addressed by augmenting OO analysis and design ...
159
click to vote
CGI
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents an object-oriented approach for describing and modelling buildings by means of computer graphics. The approach is based on an object- and component-oriented gr...
131
click to vote
ITC
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract - This paper addresses the issue of the stimulation of charge-pump phase-locked loops for built-in selftest applications. It is shown that three nodes of the PLL qualify f...