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
228
search results - page 4 / 46
»
Efficient symbolic multi-objective design space exploration
Sort
relevance
views
votes
recent
update
View
thumb
title
20
click to vote
ICCAD
2010
IEEE
186
views
Hardware
»
more
ICCAD 2010
»
Efficient state space exploration: Interleaving stateless and state-based model checking
13 years 5 months ago
Download
www.nec-labs.com
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
Malay K. Ganai, Chao Wang, Weihong Li
claim paper
Read More »
23
click to vote
DAC
2008
ACM
81
views
Computer Architecture
»
more
DAC 2008
»
Efficient system design space exploration using machine learning techniques
14 years 8 months ago
Download
www.ece.northwestern.edu
Alok N. Choudhary, Berkin Özisikyilmaz, Gokha...
claim paper
Read More »
24
click to vote
DATE
2006
IEEE
90
views
Hardware
»
more
DATE 2006
»
Efficient design space exploration of high performance embedded out-of-order processors
14 years 1 months ago
Download
www.date-conference.com
Stijn Eyerman, Lieven Eeckhout, Koen De Bosschere
claim paper
Read More »
11
click to vote
TODAES
2008
47
views
more
TODAES 2008
»
Interrupt modeling for efficient high-level scheduler design space exploration
13 years 7 months ago
Download
www.ece.vt.edu
F. Ryan Johnson, JoAnn M. Paul
claim paper
Read More »
22
click to vote
ASAP
2002
IEEE
112
views
Hardware
»
more
ASAP 2002
»
Design Space Exploration for Energy-Efficient Secure Sensor Network
14 years 21 days ago
Download
www.csl.mtu.edu
Lin Yuan, Gang Qu
claim paper
Read More »
« Prev
« First
page 4 / 46
Last »
Next »