816 search results - page 101 / 164 » Automating Verification by Functional Abstraction at the Sys... |
INTEROP
1999
Springer
14 years 1 months ago
1999
Springer
In order to make database systems interoperate with systems beyond traditional application areas a new paradigm called \exporting database functionality" as a radical departur...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— The primary disadvantage of orthogonal frequencydivision multiplexing (OFDM) is the high time-domain peak-toaverage power ratio (PAR) that severely limits the transmitt...
FDL
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
STTT
2008
13 years 9 months ago
2008
Abstract This paper is about tool support for knowledgeintensive engineering tasks. In particular, it introduces software technology to assist the design of complex technical syste...
MCMASTER
1993
14 years 1 months ago
1993
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...