3394 search results - page 295 / 679 » A Modal Model of Memory |
222
click to vote
CASES
2009
ACM
15 years 4 months ago
2009
ACM
This paper presents a partitioning and allocation algorithm for an iterative stream compiler, targeting heterogeneous multiprocessors with constrained distributed memory and any c...
215
click to vote
TOPNOC
2010
15 years 1 months ago
2010
Abstract. State caching is a memory reduction technique used by model checkers to alleviate the state explosion problem. It has traditionally been coupled with a depth-first search...
171
click to vote
IBPRIA
2007
Springer
16 years 26 days ago
2007
Springer
Multivariate imaging technologies such as Dynamic Contrast-Enhanced Magnetic Resonance Imaging (DCE-MRI) have recently gained an important attention as it improves tumour detection...
194
click to vote
AMFG
2005
IEEE
16 years 10 days ago
2005
IEEE
2D intensity images and 3D shape models are both useful for face recognition, but in different ways. While algorithms have long been developed using 2D or 3D data, recently has see...
186
click to vote
CONCUR
2004
Springer
16 years 3 days ago
2004
Springer
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...