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
4359
search results - page 99 / 872
»
Automated Pipeline Design
Sort
relevance
views
votes
recent
update
View
thumb
title
107
click to vote
IS
2007
113
views
Artificial Intelligence
»
more
IS 2007
»
An automated entity-relationship clustering algorithm for conceptual database design
15 years 3 months ago
Download
www.lasalle.edu
Madjid Tavana, Prafulla Joglekar, Michael A. Redmo...
claim paper
Read More »
93
click to vote
CI
2004
95
views
more
CI 2004
»
Automated Design of Security Protocols
15 years 3 months ago
Download
www-users.cs.york.ac.uk
Hao Chen, John A. Clark, Jeremy L. Jacob
claim paper
Read More »
72
click to vote
IJHCI
2000
36
views
more
IJHCI 2000
»
Designing a Telephone-Based Interface for a Home Automation System
15 years 3 months ago
Download
www-ist.massey.ac.nz
Nina Sandweg, Marc Hassenzahl, Klaus Kuhn
claim paper
Read More »
63
click to vote
JNIT
2010
49
views
more
JNIT 2010
»
Intermediate Predicate Format for Design Automation Tools
14 years 10 months ago
Download
www.humanpub.org
Michael F. Dossis
claim paper
Read More »
111
click to vote
CAV
1998
Springer
86
views
Hardware
»
more
CAV 1998
»
Formal Verification of Out-of-Order Execution Using Incremental Flushing
15 years 7 months ago
Download
verify.stanford.edu
We present a two-part approach for verifying out-of-order execution. First, the complexity of out-of-order issue and scheduling is handled by creating der abstraction of the out-of...
Jens U. Skakkebæk, Robert B. Jones, David L....
claim paper
Read More »
« Prev
« First
page 99 / 872
Last »
Next »