Search Sciweavers | Sciweavers

5630 search results - page 24 / 1126

» Computability in Specification

click to vote

BIRTHDAY
2000
Springer

88views Applied Computing» more BIRTHDAY 2000»

Enhancing the tractability of rely/guarantee specifications in the development of interfering operations

14 years 1 months ago

Download www.cs.ncl.ac.uk

Various forms of assumption/commitment specifications have been used to specify and reason about the interference that comes from concurrent execution; in particular, consistent a...

Pierre Collette, Cliff B. Jones

claim paper

Read More »

click to vote

DAC
1996
ACM

100views Computer Architecture» more DAC 1996»

A Register File and Scheduling Model for Application Specific Processor Synthesis

14 years 2 months ago

Download www.cs.york.ac.uk

In this paper, we outline general design steps of our synthesis tool to realize application specific co-processors such that for a given scientific application having intensive ite...

Ehat Ercanli, Christos A. Papachristou

claim paper

Read More »

click to vote

CLUSTER
2010
IEEE

94views Distributed And Parallel Com...» more CLUSTER 2010»

Parameterized specification, configuration and execution of data-intensive scientific workflows

13 years 7 months ago

Download www.isi.edu

Vijay S. Kumar, Tahsin M. Kurç, Varun Ratna...

claim paper

Read More »