Sciweavers

15421 search results - page 303 / 3085

» Dependability

106

PODS
2000
ACM

128views Database» more PODS 2000»

Information Dependencies

15 years 11 months ago

Information Dependencies

Download itlab.uta.edu

Mehmet M. Dalkilic, Edward L. Robertson

claim paper

Read More »

105

SAC
2000
ACM

63views Applied Computing» more SAC 2000»

Task Scheduling using a Block Dependency DAG for Block-Oriented Sparse Cholesky Factorization

15 years 11 months ago

Task Scheduling using a Block Dependency DAG for Block-Oriented Sparse Cholesky Factorization

Download cal.postech.ac.kr

Heejo Lee, Jong Kim, Sung Je Hong, Sunggu Lee

claim paper

Read More »

146

AC
2000
Springer

102views Software Engineering» more AC 2000»

An Introduction to Dependent Type Theory

15 years 11 months ago

An Introduction to Dependent Type Theory

Download www.springer.com

Gilles Barthe, Thierry Coquand

claim paper

Read More »

181

CONCUR
2000
Springer

134views Distributed And Parallel Com...» more CONCUR 2000»

LP Deadlock Checking Using Partial Order Dependencies

15 years 11 months ago

LP Deadlock Checking Using Partial Order Dependencies

Download www.cs.newcastle.ac.uk

Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...

Victor Khomenko, Maciej Koutny

claim paper

Read More »

148

POPL
1999
ACM

114views Programming Languages» more POPL 1999»

Dependent Types in Practical Programming

15 years 11 months ago

Dependent Types in Practical Programming

Download www.cs.cmu.edu

Hongwei Xi, Frank Pfenning

claim paper

Read More »

« Prev « First page 303 / 3085 Last » Next »