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
11022
search results - page 159 / 2205
»
Programming Systems for Autonomy
Sort
relevance
views
votes
recent
update
View
thumb
title
129
Voted
CAV
1998
Springer
106
views
Hardware
»
more
CAV 1998
»
Synchronous Programming of Reactive Systems
15 years 9 months ago
Download
www.cs.ioc.ee
Nicolas Halbwachs
claim paper
Read More »
215
click to vote
SIGCSE
1998
ACM
364
views
Education
»
more
SIGCSE 1998
»
Multithreaded programming in an introduction to operating systems course
15 years 9 months ago
Download
www.cs.mtu.edu
Chin-Kuang Shene
claim paper
Read More »
84
click to vote
DAC
1997
ACM
80
views
Computer Architecture
»
more
DAC 1997
»
Profile-Driven Program Synthesis for Evaluation of System Power Dissipation
15 years 9 months ago
Download
www.cse.iitd.ernet.in
Cheng-Ta Hsieh, Massoud Pedram, Gaurav Mehta, Fred...
claim paper
Read More »
99
click to vote
KDD
1994
ACM
94
views
Data Mining
»
more
KDD 1994
»
PolyAnalyst - A Machine Discovery System Inferring Functional Programs
15 years 9 months ago
Download
www.megaputer.com
Mikhail V. Kiselev
claim paper
Read More »
124
click to vote
PLILP
1992
Springer
86
views
Programming Languages
»
more
PLILP 1992
»
UCG-E: An Equational Logic Programming System
15 years 9 months ago
Download
homepage.cs.uri.edu
Lutz H. Hamel
claim paper
Read More »
« Prev
« First
page 159 / 2205
Last »
Next »