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
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
21984
search results - page 209 / 4397
»
C
Sort
relevance
views
votes
recent
update
View
thumb
title
152
click to vote
TCAD
2002
79
views
more
TCAD 2002
»
An automorphic approach to verification pattern generation for SoC design verification using port-order fault model
15 years 6 months ago
Download
nthucad.cs.nthu.edu.tw
Chun-Yao Wang, Shing-Wu Tung, Jing-Yang Jou
claim paper
Read More »
137
click to vote
IJBRA
2007
56
views
more
IJBRA 2007
»
Molecular coevolution of the vertebrate cytochrome c
15 years 6 months ago
Download
www.biotconf.org
Kimberly K. Baer, David A. McClellan
claim paper
Read More »
129
click to vote
ISSE
2010
156
views
Security Privacy
»
more
ISSE 2010
»
Generating heterogeneous executable specifications in SystemC from UML/MARTE models
15 years 5 months ago
Download
www.artist-embedded.org
Pablo Peñil, J. Medina, Hector Posadas, Eug...
claim paper
Read More »
123
click to vote
JAR
2010
83
views
more
JAR 2010
»
HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler
15 years 5 months ago
Download
research.microsoft.com
Sascha Böhme, Michal Moskal, Wolfram Schulte,...
claim paper
Read More »
106
click to vote
JOT
2010
142
views
more
JOT 2010
»
Darwin's World Simulation in C#: The Model/View Classes
15 years 5 months ago
Download
www.jot.fm
Richard Wiener
claim paper
Read More »
« Prev
« First
page 209 / 4397
Last »
Next »
