Sciweavers

7961 search results - page 115 / 1593

» Input-Output Model Programs

77

FORTE
2007

58views Formal Methods» more FORTE 2007»

State Isomorphism in Model Programs with Abstract Data Structures

15 years 4 months ago

State Isomorphism in Model Programs with Abstract Data Structures

Download research.microsoft.com

Margus Veanes, Juhan P. Ernits, Colin Campbell

claim paper

Read More »

102

ICCE
2007

122views Education» more ICCE 2007»

Proposal and Basic Research for a Learning Model "RPRaS" for Novice Programming

15 years 4 months ago

Proposal and Basic Research for a Learning Model "RPRaS" for Novice Programming

Download www.riko.teikyo-u.ac.jp

Kozo Mizutani, Masayuki Arai, Takashi Unagami

claim paper

Read More »

78

PARCO
2007

109views Distributed And Parallel Com...» more PARCO 2007»

Analytical Performance Models of Parallel Programs in Clusters

15 years 4 months ago

Analytical Performance Models of Parallel Programs in Clusters

Download www.fz-juelich.de

Diego Rodriguez Martínez, Vicente Blanco P&...

claim paper

Read More »

103

AAAI
2000

149views Intelligent Agents» more AAAI 2000»

SciFinance: A Program Synthesis Tool for Financial Modeling

15 years 4 months ago

SciFinance: A Program Synthesis Tool for Financial Modeling

Download www.aaai.org

The SciFinance

Robert L. Akers, Ion Bica, Elaine Kant, Curt Randa...

claim paper

Read More »

121

CCGRID
2010
IEEE

144views Distributed And Parallel Com...» more CCGRID 2010»

Selective Recovery from Failures in a Task Parallel Programming Model

15 years 4 months ago

Selective Recovery from Failures in a Task Parallel Programming Model

Download www.cse.ohio-state.edu

Abstract--We present a fault tolerant task pool execution environment that is capable of performing fine-grain selective restart using a lightweight, distributed task completion tr...

James Dinan, Arjun Singri, P. Sadayappan, Sriram K...

claim paper

Read More »

« Prev « First page 115 / 1593 Last » Next »