Search Sciweavers | Sciweavers

10072 search results - page 362 / 2015

» Composition of Model Programs

112

click to vote

MANSCI
2010

81views more MANSCI 2010»

Dynamic Programming Models and Algorithms for the Mutual Fund Cash Balance Problem

15 years 5 months ago

Download www.castlelab.princeton.edu

Juliana M. Nascimento, Warren B. Powell

claim paper

Read More »

141

click to vote

TAICPART
2010
IEEE

167views Education» more TAICPART 2010»

Microsoft's Protocol Documentation Program: A Success Story for Model-Based Testing

15 years 5 months ago

Download research.microsoft.com

Wolfgang Grieskamp

claim paper

Read More »

127

click to vote

CSEDU
2010

109views Education» more CSEDU 2010»

Teaching Programming with Formal Models in Greenfoot

15 years 4 months ago

Download www.mbalz.de

Moritz Balz, Michael Goedicke

claim paper

Read More »

152

click to vote

IPPS
2010
IEEE

133views Distributed And Parallel Com...» more IPPS 2010»

OpenCL - An effective programming model for data parallel computations at the Cell Broadband Engine

15 years 4 months ago

Download www.plm.eecs.uni-kassel.de

Jens Breitbart, Claudia Fohry

claim paper

Read More »

158

click to vote

FORTE
2009

96views Formal Methods» more FORTE 2009»

A Type Graph Model for Java Programs

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers