1833 search results - page 209 / 367 » Mechanized Verification with Sharing |
137
click to vote
ICML
2008
IEEE
16 years 7 months ago
2008
IEEE
The dynamic hierarchical Dirichlet process (dHDP) is developed to model the timeevolving statistical properties of sequential data sets. The data collected at any time point are r...
170
click to vote
OSDI
2006
ACM
16 years 6 months ago
2006
ACM
EnsemBlue is a distributed file system for personal multimedia that incorporates both general-purpose computers and consumer electronic devices (CEDs). EnsemBlue leverages the cap...
146
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
t programming techniques encourage abstraction and reuse through external linking. Some parts of a program, however, must use concrete, internally specified references, so a pure ...
154
click to vote
HIPEAC
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. This paper presents remote store programming (RSP), a programming paradigm which combines usability and efficiency through the exploitation of a simple hardware mechanism...
174
click to vote
ICAS
2009
IEEE
16 years 1 months ago
2009
IEEE
The volumes of data in information systems are growing drastically. The systems become increasingly complex in trying to handle heterogeneity of ubiquitous components, standards, ...