Search Sciweavers | Sciweavers

9455 search results - page 15 / 1891

» The Modelling Language Zinc

129

Voted

ASPLOS
2010
ACM

207views Programming Languages» more ASPLOS 2010»

Implementing the PGI Accelerator model

16 years 28 days ago

Download www12.cs.fau.de

Michael Wolfe

claim paper

Read More »

134

click to vote

FDL
2008
IEEE

117views Natural Language Processing» more FDL 2008»

SystemC-AMS Modeling of an Electromechanical Harvester of Vibration Energy

16 years 27 days ago

Download www.bmas-conf.org

Ken Caluwaerts, Dimitri Galayko

claim paper

Read More »

139

Voted

ESOP
2007
Springer

136views Programming Languages» more ESOP 2007»

The Java Memory Model: Operationally, Denotationally, Axiomatically

16 years 18 days ago

Download www.pst.ifi.lmu.de

Pietro Cenciarelli, Alexander Knapp, Eleonora Sibi...

claim paper

Read More »

141

click to vote

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

16 years 17 days ago

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

136

click to vote

CD
2005
Springer

150views Programming Languages» more CD 2005»

A Model of Dynamic Binding in .NET

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers