Search Sciweavers | Sciweavers

3404 search results - page 70 / 681

» C Programming Tutorial

135

click to vote

ECOOPWEXCEPTION
2006
Springer

154views Software Engineering» more ECOOPWEXCEPTION 2006»

Handling Multiple Concurrent Exceptions in C++ Using Futures

15 years 1 months ago

Download www.cs.tut.fi

Abstract. Exception handling is a well-established mechanism in sequential programming. Concurrency and asynchronous calls introduce the possibility for multiple simultaneous excep...

Matti Rintala

claim paper

Read More »

click to vote

CAV
2012
Springer

257views Hardware» more CAV 2012»

CSolve: Verifying C with Liquid Types

13 years 4 days ago

Download goto.ucsd.edu

We present CSolve, an automated veriﬁer for C programs based on Liquid Type inference. We show how CSolve veriﬁes memory safety through an example and describe its architecture...

Patrick Maxim Rondon, Alexander Bakst, Ming Kawagu...

claim paper

Read More »

164

click to vote

MICRO
2012
IEEE

285views Hardware» more MICRO 2012»

Automatic Extraction of Coarse-Grained Data-Flow Threads from Imperative Programs

13 years 4 days ago

Download www.teraflux.eu

This article presents a general algorithm for transforming sequential imperative programs into parallel data-ﬂow programs. Our algorithm operates on a program dependence graph i...

Feng Li, Antoniu Pop, Albert Cohen

claim paper

Read More »

click to vote

TACO
2008

52views more TACO 2008»

Object co-location and memory reuse for Java programs

14 years 9 months ago