Search Sciweavers | Sciweavers

5241 search results - page 63 / 1049

» Embedded Programming with C

click to vote

PACT
2001
Springer

132views Distributed And Parallel Com...» more PACT 2001»

Experimental Version of Parallel Programs Translator from Petri Nets to C++

14 years 1 months ago

Download eps.dvo.ru

E. A. Golenkov, A. S. Sokolov, G. V. Tarasov, D. I...

claim paper

Read More »

click to vote

TACAS
2001
Springer

96views Algorithms» more TACAS 2001»

Boolean and Cartesian Abstraction for Model Checking C Programs

14 years 1 months ago

Download www.inf.uni-konstanz.de

Thomas Ball, Andreas Podelski, Sriram K. Rajamani

claim paper

Read More »

click to vote

SIGCSE
1996
ACM

126views Education» more SIGCSE 1996»

Thetis: an ANSI C programming environment designed for introductory use

14 years 1 months ago

Download www-cs-faculty.stanford.edu

Stephen N. Freund, Eric S. Roberts

claim paper

Read More »

click to vote

CSL
1993
Springer

98views Automated Reasoning» more CSL 1993»

ERRATA to "The Semantics of the C Programming Language"

14 years 1 months ago

Download research.microsoft.com

Yuri Gurevich, James K. Huggins

claim paper

Read More »

click to vote

HPCS
2009
IEEE

149views Distributed And Parallel Com...» more HPCS 2009»

Object-Oriented OpenMP Programming with C++ and Fortran

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers