Sciweavers

29046 search results - page 171 / 5810

» Computable Models

66

COMPUTER
2000

55views more COMPUTER 2000»

A Staged Model for the Software Life Cycle

15 years 3 months ago

A Staged Model for the Software Life Cycle

Download www.cs.wayne.edu

Václav Rajlich, Keith H. Bennett

claim paper

Read More »

57

COMPUTER
2000

88views more COMPUTER 2000»

A Generic Framework for Modeling Resources with UML

15 years 3 months ago

A Generic Framework for Modeling Resources with UML

Download www.eecis.udel.edu

Bran Selic

claim paper

Read More »

87

Voted

COMPUTER
2002

88views more COMPUTER 2002»

The Importance of Branching Models in SCM

15 years 3 months ago

The Importance of Branching Models in SCM

Download www.accurev.com

Charlene (Chuck) Walrad, Darrel Strom

claim paper

Read More »

79

COMPUTER
1998

48views more COMPUTER 1998»

Experimental Models for Validating Technology

15 years 3 months ago

Experimental Models for Validating Technology

Download www.idi.ntnu.no

Marvin V. Zelkowitz, Dolores R. Wallace

claim paper

Read More »

139

Voted

DSN
2006
IEEE

185views Computer Networks» more DSN 2006»

Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures

15 years 9 months ago

Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures

Download people.ee.duke.edu

—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...

Albert Meixner, Daniel J. Sorin

claim paper

Read More »

« Prev « First page 171 / 5810 Last » Next »