Search Sciweavers | Sciweavers

21342 search results - page 185 / 4269

» Structured language modeling

100

click to vote

FDL
2008
IEEE

117views Natural Language Processing» more FDL 2008»

SystemC-AMS Modeling of an Electromechanical Harvester of Vibration Energy

15 years 10 months ago

Download www.bmas-conf.org

Ken Caluwaerts, Dimitri Galayko

claim paper

Read More »

104

Voted

ESOP
2007
Springer

136views Programming Languages» more ESOP 2007»

The Java Memory Model: Operationally, Denotationally, Axiomatically

15 years 9 months ago

Download www.pst.ifi.lmu.de

Pietro Cenciarelli, Alexander Knapp, Eleonora Sibi...

claim paper

Read More »

Voted

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

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

15 years 9 months ago

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

108

click to vote

CD
2005
Springer

150views Programming Languages» more CD 2005»

A Model of Dynamic Binding in .NET

15 years 9 months ago

Download slurp.doc.ic.ac.uk

Alex Buckley

claim paper

Read More »

120

Voted

UML
2005
Springer

155views Natural Language Processing» more UML 2005»

Computing Refactorings of Behavior Models

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers