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
29172
search results - page 406 / 5835
»
Modeling Systems in CLP
Sort
relevance
views
votes
recent
update
View
thumb
title
159
click to vote
VECPAR
2004
Springer
111
views
Distributed And Parallel Com...
»
more
VECPAR 2004
»
Parallel Model Reduction of Large Linear Descriptor Systems via Balanced Truncation
16 years 6 days ago
Download
www.hpca.uji.es
Peter Benner, Enrique S. Quintana-Ortí, Gre...
claim paper
Read More »
140
click to vote
C5
2003
IEEE
92
views
Applied Computing
»
more
C5 2003
»
Computer learning system for pre-school-age children based on a haptized model railway
16 years 5 days ago
Download
www.atr.jp
Haruo Noma, Hirokazu Sasamoto, Yuichi Itoh, Yoshif...
claim paper
Read More »
130
Voted
CCGRID
2003
IEEE
103
views
Distributed And Parallel Com...
»
more
CCGRID 2003
»
The Performance Model of SilkRoad - A Multithreaded DSM System for Clusters
16 years 5 days ago
Download
www.comp.nus.edu.sg
Liang Peng, Weng-Fai Wong, Chung-Kwong Yuen
claim paper
Read More »
102
click to vote
DATE
2003
IEEE
130
views
Hardware
»
more
DATE 2003
»
Automatic Behavioural Model Calibration for Efficient PLL System Verification
16 years 4 days ago
Download
www.date-conference.com
Ayman Mounir, Ahmed Mostafa, Maged Fikry
claim paper
Read More »
150
click to vote
FDL
2003
IEEE
101
views
Natural Language Processing
»
more
FDL 2003
»
Combining Formal Refinement and Model Checking for Real-Time Systems Verification
16 years 4 days ago
Download
www.c-lab.de
Alexander Krupp, Wolfgang Müller 0003
claim paper
Read More »
« Prev
« First
page 406 / 5835
Last »
Next »