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
13271
search results - page 215 / 2655
»
Computers, Programming, and People
Sort
relevance
views
votes
recent
update
View
thumb
title
165
click to vote
IWPEC
2009
Springer
103
views
Applied Computing
»
more
IWPEC 2009
»
Fixed-Parameter Algorithms in Analysis of Heuristics for Extracting Networks in Linear Programs
16 years 1 months ago
Download
faculty.cs.tamu.edu
Gregory Gutin, Daniel Karapetyan, Igor Razgon
claim paper
Read More »
127
click to vote
MFCS
2009
Springer
100
views
Theoretical Computer Science
»
more
MFCS 2009
»
From Parity and Payoff Games to Linear Programming
16 years 1 months ago
Download
www.csc.liv.ac.uk
Sven Schewe
claim paper
Read More »
158
click to vote
PDCAT
2009
Springer
141
views
Distributed And Parallel Com...
»
more
PDCAT 2009
»
A Coordination Language for Programming Embedded Multi-Core Systems
16 years 1 months ago
Download
www.first.fraunhofer.de
Tobias Schuele
claim paper
Read More »
172
click to vote
ARITH
2007
IEEE
113
views
Applied Computing
»
more
ARITH 2007
»
Formal Verification of Floating-Point Programs
16 years 26 days ago
Download
www-lipn.univ-paris13.fr
Sylvie Boldo, Jean-Christophe Filliâtre
claim paper
Read More »
138
click to vote
SPIN
2007
Springer
97
views
Theoretical Computer Science
»
more
SPIN 2007
»
Instrumenting C Programs with Nested Word Monitors
16 years 18 days ago
Download
www.cse.psu.edu
Swarat Chaudhuri, Rajeev Alur
claim paper
Read More »
« Prev
« First
page 215 / 2655
Last »
Next »
