Search Sciweavers | Sciweavers

21984 search results - page 149 / 4397

» C

140

Voted

EMSOFT
2009
Springer

84views Software Engineering» more EMSOFT 2009»

SyncCharts in C: a proposal for light-weight, deterministic concurrency

16 years 1 months ago

Download rtsys.informatik.uni-kiel.de

Reinhard von Hanxleden

claim paper

Read More »

142

click to vote

FM
2009
Springer

118views Formal Methods» more FM 2009»

Certifiable Specification and Verification of C Programs

16 years 1 months ago

Download www.informatik.uni-bremen.de

Christoph Lüth, Dennis Walter

claim paper

Read More »

193

Voted

ISVC
2009
Springer

174views Applied Computing» more ISVC 2009»

High-Quality Rendering of Varying Isosurfaces with Cubic Trivariate C1-Continuous Splines

16 years 1 months ago

Download www.gris.informatik.tu-darmstadt.de

Smooth trivariate splines on uniform tetrahedral partitions are well suited for high-quality visualization of isosurfaces from scalar volumetric data. We propose a novel rendering ...

Thomas Kalbe, Thomas Koch, Michael Goesele

claim paper

Read More »

144

click to vote

ACSD
2008
IEEE

89views Hardware» more ACSD 2008»

Process algebraic verification of SystemC codes

16 years 1 months ago

Download www.win.tue.nl

Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirj...

claim paper

Read More »

105

click to vote

DATE
2008
IEEE

71views Hardware» more DATE 2008»

Efficient Implementation of Native Software Simulation for MPSoC

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers