Sciweavers

7262 search results - page 16 / 1453
» Reversible Computer Hardware
Sort
View
72
Voted
PADS
1999
ACM
15 years 2 months ago
Efficient Optimistic Parallel Simulations Using Reverse Computation
Christopher D. Carothers, Kalyan S. Perumalla, Ric...
SP
2008
IEEE
118views Security Privacy» more  SP 2008»
14 years 9 months ago
Cheaper adjoints by reversing address computations
Laurent Hascoët, Jean Utke, Uwe Naumann
IPL
2000
82views more  IPL 2000»
14 years 9 months ago
Estimating the number of vertices of a polyhedron
Given a polyhedron P by a list of inequalities we develop unbiased estimates of the number of vertices and bases of P. The estimates are based on applying tree estimation methods ...
David Avis, Luc Devroye
KBSE
2010
IEEE
14 years 8 months ago
A program differencing algorithm for verilog HDL
During code review tasks, comparing two versions of a hardware design description using existing program differencing tools such as diff is inherently limited because existing p...
Adam Duley, Chris Spandikow, Miryung Kim