1179 search results - page 160 / 236 » Should Superclasses be Abstract |
VLSID
1999
IEEE
14 years 16 hour ago
1999
IEEE
Abstract Code optimization for digital signal processors DSPs has been identi ed as an important new topic in system-level design of embedded systems. Both DSP processors and algor...
ICDT
1999
ACM
14 years 13 hour ago
1999
ACM
Abstract. In this paper we consider databases representing information about moving objects (e.g. vehicles), particularly their location. We address the problems of updating and qu...
ICLP
1999
Springer
14 years 12 hour ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...
DCC
1998
IEEE
14 years 11 hour ago
1998
IEEE
Abstract. The Burrows-Wheeler transform (BWT) and block sorting compression are closely related to the context trees of PPM. The usual approach of treating BWT as merely a permutat...
ICSE
1999
IEEE-ACM
14 years 11 hour ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...