Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
2756
search results - page 32 / 552
»
Computation-Centric Memory Models
Sort
relevance
views
votes
recent
update
View
thumb
title
94
click to vote
KCAP
2005
ACM
99
views
Information Technology
»
more
KCAP 2005
»
A generic model of corporate memory: application to the industrial systems
15 years 9 months ago
Download
protege.stanford.edu
Lotfi Admane
claim paper
Read More »
100
click to vote
LCPC
2005
Springer
125
views
System Software
»
more
LCPC 2005
»
Evaluating the Impact of Thread Escape Analysis on a Memory Consistency Model-Aware Compiler
15 years 9 months ago
Download
domino.research.ibm.com
Chi-Leung Wong, Zehra Sura, Xing Fang, Kyungwoo Le...
claim paper
Read More »
111
click to vote
SPIN
2005
Springer
95
views
Theoretical Computer Science
»
more
SPIN 2005
»
Memory Efficient State Space Storage in Explicit Software Model Checking
15 years 9 months ago
Download
cedric.cnam.fr
Sami Evangelista, Jean-François Pradat-Peyr...
claim paper
Read More »
64
click to vote
ICCS
2001
Springer
75
views
Applied Computing
»
more
ICCS 2001
»
A Modal Model of Memory
15 years 8 months ago
Download
domino.research.ibm.com
Nick Mitchell, Larry Carter, Jeanne Ferrante
claim paper
Read More »
74
click to vote
DATE
2000
IEEE
61
views
Hardware
»
more
DATE 2000
»
Cost and Benefit Models for Logic and Memory BIST
15 years 8 months ago
Download
www.date-conference.com
Juin-Ming Lu, Cheng-Wen Wu
claim paper
Read More »
« Prev
« First
page 32 / 552
Last »
Next »