1220 search results - page 24 / 244 » Diagnosing Design Problems in Object Oriented Systems |
150
Voted
ISCOPE
1997
Springer
15 years 8 months ago
1997
Springer
This paper describes issues encountered in the design and implementation of a parallel object-oriented database system. In particular, we find that the design of a client/server ...
266
click to vote
DELTA
2006
IEEE
15 years 10 months ago
2006
IEEE
The co-design of hardware and software systems with object oriented design languages like SystemC has become very popular. Static analysis of those descriptions allows to conduct ...
135
click to vote
FMOODS
2007
15 years 6 months ago
2007
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...
151
click to vote
WAIM
2000
Springer
15 years 8 months ago
2000
Springer
In this paper, a locking-based concurrency control scheme is presented for object-oriented databases (OODBs). It is designed for controlling accesses to class hierarchy, which is ...
121
click to vote
ITC
1998
IEEE
15 years 8 months ago
1998
IEEE
Existing high-level BIST synthesis methods focus on one objective, minimizing either area overhead or test time. Hence, those methods do not render exploration of large design spa...