Search Sciweavers | Sciweavers

6978 search results - page 308 / 1396

» On Proofs in System P

147

click to vote

ISCA
1997
IEEE

98views Hardware» more ISCA 1997»

Memory-System Design Considerations for Dynamically-Scheduled Processors

15 years 11 months ago

Download www.hpl.hp.com

Keith I. Farkas, Paul Chow, Norman P. Jouppi, Zvon...

claim paper

Read More »

136

click to vote

ICPADS
1994
IEEE

83views Distributed And Parallel Com...» more ICPADS 1994»

Toward Semantic-Based Parallelism in Production Systems

15 years 11 months ago

Download www.csie.ndhu.edu.tw

Shiow-yang Wu, Daniel P. Miranker, James C. Browne

claim paper

Read More »

124

click to vote

DEXA
1992
Springer

119views Database» more DEXA 1992»

The INQUERY Retrieval System

15 years 10 months ago

Download web.cecs.pdx.edu

James P. Callan, W. Bruce Croft, Stephen M. Hardin...

claim paper

Read More »

154

click to vote

CPE
1998
Springer

108views Hardware» more CPE 1998»

Edinet: An Execution Driven Interconnection Network Simulator for DSM Systems

15 years 10 months ago

Download www.ee.unlv.edu

Jose Flich, Pedro López, Manuel P. Malumbre...

claim paper

Read More »

120

click to vote

CCS
2004
ACM

70views Security Privacy» more CCS 2004»

Synthesising verified access control systems in XACML

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers