6149 search results - page 1192 / 1230 » Revealing the programming process |
99
Voted
FQAS
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. Many heterogeneous database system products and prototypes exist today; they will soon be deployed in a wide variety of environments. Most existing systems suffer from an...
103
click to vote
ARVLSI
1997
IEEE
15 years 4 months ago
1997
IEEE
This paper describes the architecture and implementation of a high-speed decompression engine for embedded processors. The engine is targeted to processors where embedded programs...
102
click to vote
IPPS
1996
IEEE
15 years 4 months ago
1996
IEEE
This paper presents e cient and portable implementations of a useful image enhancement process, the Symmetric Neighborhood Filter SNF, and an image segmentation technique which ma...
103
Voted
HIM
1997
Springer
15 years 4 months ago
1997
Springer
The project DIANE is an EU-funded project in the ACTS Program and started in September 1995. The goal of DIANE is to establish a service, which enables an user to annotate anythin...
135
click to vote
ZUM
1997
Springer
15 years 4 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...