Sciweavers

7262 search results - page 144 / 1453
» Reversible Computer Hardware
Sort
View
TPHOL
1991
IEEE
15 years 1 months ago
First Steps Towards Automating Hardware Proofs in HOL
D ABSTRACT) Ramayya Kumar, Thomas Kropf, Klaus Schneider University of Karlsruhe,Institute of ComputerDesign and Fault Tolerance (Prof.Dr.D. Schmid) P.O. Box 6980, W-7500 Karlsruhe...
Ramayya Kumar, Thomas Kropf, Klaus Schneider
DCC
1999
IEEE
15 years 2 months ago
Universal Lossless Source Coding with the Burrows Wheeler Transform
The Burrows Wheeler Transform (BWT) is a reversible sequence transformation used in a variety of practical lossless source-coding algorithms. In each, the BWT is followed by a loss...
Michelle Effros
COCO
2010
Springer
215views Algorithms» more  COCO 2010»
15 years 2 months ago
Symmetry Coincides with Nondeterminism for Time-Bounded Auxiliary Pushdown Automata
—We show that every language accepted by a nondeterministic auxiliary pushdown automaton in polynomial time (that is, every language in SAC1 = Log(CFL)) can be accepted by a symm...
Eric Allender, Klaus-Jörn Lange
70
Voted
COLING
2010
14 years 5 months ago
Comparing the performance of two TAG-based surface realisers using controlled grammar traversal
We present GENSEM, a tool for generating input semantic representations for two sentence generators based on the same reversible Tree Adjoining Grammar. We then show how GENSEM ca...
Claire Gardent, Benjamin Gottesman, Laura Perez-Be...
DRM
2005
Springer
15 years 3 months ago
Hybrid static-dynamic attacks against software protection mechanisms
Advances in reverse engineering and program analyses have made software extremely vulnerable to malicious host attacks. These attacks typically take the form of intellectual prope...
Matias Madou, Bertrand Anckaert, Bjorn De Sutter, ...