1855 search results - page 228 / 371 » Composing model programs for analysis |
126
Voted
SRDS
2003
IEEE
15 years 8 months ago
2003
IEEE
Many mathematical models have been proposed to evaluate the execution performance of an application with and without checkpointing in the presence of failures. They assume that th...
131
click to vote
IPPS
2010
IEEE
15 years 26 days ago
2010
IEEE
Transactional memory is an alternative programming model for managing contention in accessing shared in-memory data objects. Distributed transactional memory (TM) promises to alle...
DAGSTUHL
2008
15 years 4 months ago
2008
From 3 February to 8 February 2008, the Dagstuhl Seminar 08061 State" Conference and Research Center (IBFI), Schloss Dagstuhl. 45 researchers, with interests and expertise in ...
195
click to vote
JMLR
2012
13 years 5 months ago
2012
The deep Boltzmann machine is a powerful model that extracts the hierarchical structure of observed data. While inference is typically slow due to its undirected nature, we argue ...
117
click to vote
APLAS
2005
ACM
15 years 8 months ago
2005
ACM
We describe a sound method for automatically proving Hoare triples for loop-free code in Separation Logic, for certain preconditions and postconditions (symbolic heaps). The method...