Search Sciweavers | Sciweavers

7049 search results - page 11 / 1410

» Data Abstraction for CSP-OZ

click to vote

HIPC
2005
Springer

86views Distributed And Parallel Com...» more HIPC 2005»

Data and Computation Abstractions for Dynamic and Irregular Computations

14 years 1 months ago

Download www.cse.ohio-state.edu

Sriram Krishnamoorthy, Jarek Nieplocha, P. Sadayap...

claim paper

Read More »

click to vote

ISMIS
2005
Springer

99views Artificial Intelligence» more ISMIS 2005»

Logical Data Independence Reconsidered (Extended Abstract)

14 years 1 months ago

Download www.mathcs.emory.edu

James J. Lu

claim paper

Read More »

click to vote

SPIN
2005
Springer

96views Theoretical Computer Science» more SPIN 2005»

Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation

14 years 29 days ago

Download www.csie.ntnu.edu.tw

Yung-Pin Cheng

claim paper

Read More »

click to vote

SIGECOM
2003
ACM

115views ECommerce» more SIGECOM 2003»

Certifying data from multiple sources (extended abstract)

14 years 22 days ago

Download truthsayer.cs.ucdavis.edu

Glen Nuckolls, Charles U. Martel, Stuart G. Stubbl...

claim paper

Read More »

click to vote

AIME
2001
Springer

74views Artificial Intelligence» more AIME 2001»

Using Time-Oriented Data Abstraction Methods to Optimize Oxygen Supply for Neonates

14 years 29 min ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers