Search Sciweavers | Sciweavers

10072 search results - page 352 / 2015

» Composition of Model Programs

143

click to vote

SIGCSE
2003
ACM

141views Education» more SIGCSE 2003»

Teaching the SIMD execution model: : assembling a few parallel programming skills

15 years 12 months ago

Download webcem01.cem.itesm.mx

Ariel Ortiz

claim paper

Read More »

140

click to vote

ARCS
2010
Springer

165views Software Engineering» more ARCS 2010»

Compiler-Directed Performance Model Construction for Parallel Programs

15 years 12 months ago

Download homepages.inf.ed.ac.uk

Martin Schindewolf, David Kramer, Marcelo Cintra

claim paper

Read More »

115

click to vote

DATE
2010
IEEE

152views Hardware» more DATE 2010»

Passive reduced order modeling of multiport interconnects via semidefinite programming

15 years 12 months ago

Download web.mit.edu

Zohaib Mahmood, Brad Bond, Tarek Moselhy, Alexandr...

claim paper

Read More »

141

click to vote

ERSHOV
2001
Springer

59views Theoretical Computer Science» more ERSHOV 2001»

On Expressive and Model Checking Power of Propositional Program Logics

15 years 11 months ago

Download www.iis.nsk.su

Nikolay V. Shilov, Kwang Yi

claim paper

Read More »

155

click to vote

TACAS
2001
Springer

96views Algorithms» more TACAS 2001»

Boolean and Cartesian Abstraction for Model Checking C Programs

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers