Sciweavers

7262 search results - page 50 / 1453
» Reversible Computer Hardware
Sort
View
IVC
2007
98views more  IVC 2007»
14 years 9 months ago
Reversible vectorisation of 3D digital planar curves and applications
This paper tackles the problem of the computation of a planar polygonal curve from a digital planar curve, such that the digital data can be exactly retrieved from the polygonal c...
Isabelle Sivignon, Florent Dupont, Jean-Marc Chass...
ICCD
2007
IEEE
144views Hardware» more  ICCD 2007»
15 years 6 months ago
Application of symbolic computer algebra to arithmetic circuit verification
Yuki Watanabe, Naofumi Homma, Takafumi Aoki, Tatsu...
DATE
2009
IEEE
72views Hardware» more  DATE 2009»
15 years 4 months ago
SC-DEVS: An efficient SystemC extension for the DEVS model of computation
Felix Madlener, H. Gregor Molter, Sorin A. Huss