Sciweavers

113

ICDCS
1991
IEEE

124views Distributed And Parallel Com...» more ICDCS 1991»

Co-scheduling compute-intensive tasks on a network of workstations: model and algorithms

15 years 8 months ago

Co-scheduling compute-intensive tasks on a network of workstations: model and algorithms

Download www.engr.colostate.edu

Mikhail J. Atallah, C. Lock, Dan C. Marinescu, How...

claim paper

Read More »

153

ICDCS
1991
IEEE

133views Distributed And Parallel Com...» more ICDCS 1991»

Distributed processing of filtering queries in HyperFile

15 years 8 months ago

Distributed processing of filtering queries in HyperFile

Download www.cerias.purdue.edu

Chris Clifton, Hector Garcia-Molina

claim paper

Read More »

104

ICCI
1991

88views Information Technology» more ICCI 1991»

What's Wrong With Formal Programming Methods?

15 years 8 months ago

What's Wrong With Formal Programming Methods?

Download www.cs.toronto.edu

Eric C. R. Hehner

claim paper

Read More »

173

EURODAC
1994
IEEE

148views VHDL» more EURODAC 1994»

System-Level Modeling and Verification: a Comprehensive Design Methodology

15 years 8 months ago

System-Level Modeling and Verification: a Comprehensive Design Methodology

Download www.cad.polito.it

Paolo Camurati, Fulvio Corno, Paolo Prinetto, Cath...

claim paper

Read More »

172

ICCI
1991

111views Information Technology» more ICCI 1991»

On the k-Coloring of Intervals

15 years 8 months ago

On the k-Coloring of Intervals

Download www.martincarlisle.com

The problem of coloring a set of n intervals (from the real line) with a set of k colors is studied. In such a coloring, two intersecting intervals must receive distinct colors. O...

Martin C. Carlisle, Errol L. Lloyd

claim paper

Read More »