Search Sciweavers | Sciweavers

5630 search results - page 24 / 1126

» Computability in Specification

124

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

15 years 9 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 »

143

click to vote

DAC
1996
ACM

100views Computer Architecture» more DAC 1996»

A Register File and Scheduling Model for Application Specific Processor Synthesis

15 years 10 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 »

126

click to vote

CLUSTER
2010
IEEE

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

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

15 years 3 months ago

Download www.isi.edu

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

claim paper