Sciweavers

3394 search results - page 100 / 679

» A Modal Model of Memory

21

COCOON
1995
Springer

111views Combinatorics» more COCOON 1995»

Extending the Hong-Kung Model to Memory Hierarchies

14 years 1 months ago

Extending the Hong-Kung Model to Memory Hierarchies

Download www.cs.brown.edu

John E. Savage

claim paper

Read More »

27

TACAS
2000
Springer

96views Algorithms» more TACAS 2000»

On Memory-Block Traversal Problems in Model-Checking Timed-Systems

14 years 1 months ago

On Memory-Block Traversal Problems in Model-Checking Timed-Systems

Download www.brics.dk

Fredrik Larsson, Paul Pettersson, Wang Yi

claim paper

Read More »

25

MASCOTS
1998

89views Modeling And Simulation» more MASCOTS 1998»

Performance Modeling and Measurement of Parallelized Code for Distributed Shared Memory Multiprocessors

13 years 11 months ago

Performance Modeling and Measurement of Parallelized Code for Distributed Shared Memory Multiprocessors

Download www.nas.nasa.gov

Abdul Waheed, Jerry C. Yan

claim paper

Read More »

43

UAI
2000

208views Artificial Intelligence» more UAI 2000»

Collaborative Filtering by Personality Diagnosis: A Hybrid Memory and Model-Based Approach

13 years 11 months ago

Collaborative Filtering by Personality Diagnosis: A Hybrid Memory and Model-Based Approach

Download dpennock.com

The growth of Internet commerce has stimulated the use of collaborative filtering (CF) algorithms as recommender systems. Such systems leverage knowledge about the known preferenc...

David M. Pennock, Eric Horvitz, Steve Lawrence, C....

claim paper

Read More »

27

FMICS
2008
Springer

143views Formal Methods» more FMICS 2008»

Can Flash Memory Help in Model Checking?

13 years 11 months ago

Can Flash Memory Help in Model Checking?

Download anna.fi.muni.cz

Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian S...

claim paper

Read More »

« Prev « First page 100 / 679 Last » Next »