Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
7262
search results - page 50 / 1453
»
Reversible Computer Hardware
Sort
relevance
views
votes
recent
update
View
thumb
title
72
click to vote
IVC
2007
98
views
more
IVC 2007
»
Reversible vectorisation of 3D digital planar curves and applications
14 years 9 months ago
Download
liris.cnrs.fr
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...
claim paper
Read More »
58
click to vote
ICCD
2007
IEEE
144
views
Hardware
»
more
ICCD 2007
»
Application of symbolic computer algebra to arithmetic circuit verification
15 years 6 months ago
Download
www.aoki.ecei.tohoku.ac.jp
Yuki Watanabe, Naofumi Homma, Takafumi Aoki, Tatsu...
claim paper
Read More »
40
click to vote
ICCAD
2002
IEEE
120
views
Hardware
»
more
ICCAD 2002
»
CAD computation for manufacturability: can we save VLSI technology from itself?
15 years 6 months ago
Download
www.research.ibm.com
Mark A. Lavin, Lars Liebmann
claim paper
Read More »
33
click to vote
DATE
2009
IEEE
72
views
Hardware
»
more
DATE 2009
»
SC-DEVS: An efficient SystemC extension for the DEVS model of computation
15 years 4 months ago
Download
www.date-conference.com
Felix Madlener, H. Gregor Molter, Sorin A. Huss
claim paper
Read More »
67
click to vote
DATE
2009
IEEE
95
views
Hardware
»
more
DATE 2009
»
An efficient path-oriented bitvector encoding width computation algorithm for bit-precise verification
15 years 4 months ago
Download
www.date-conference.com
Nannan He, Michael S. Hsiao
claim paper
Read More »
« Prev
« First
page 50 / 1453
Last »
Next »