2756 search results - page 165 / 552 » Computation-Centric Memory Models |
123
click to vote
UM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper addresses the problem of capturing rich, longterm personal activity logs of users’ interactions with their workstations, for the purpose of deriving predicti...
126
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We propose a novel algorithm for automata-based LTL model checking that interleaves the construction of the generalized B¨uchi automaton for the negation of the formula ...
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— Given the current financial crisis, there is renewed interest in modelling how the price of commodities change in the market. Traditionally, such models have assumed constant ...
130
click to vote
CC
2001
Springer
15 years 9 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
163
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
In this paper we propose a distributed message-passing algorithm for inference in large scale graphical models. Our method can handle large problems efficiently by distributing a...