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

15 years 3 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)

15 years 3 months ago

Download www.mathcs.emory.edu

James J. Lu

claim paper

Read More »

Voted

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

15 years 3 months 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)

15 years 2 months 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

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers