613 search results - page 2 / 123 » The Memory Fragmentation Problem: Solved |
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
Bandura’s theories of self- and collective efficacy are widely recognized in many fields, including psychology and management, but have been largely unnoticed by the Human-Compu...
CHI
2006
ACM
14 years 10 months ago
2006
ACM
The project fragmentation problem in personal information management occurs when someone who is working on a single project stores and retrieves information items relating to that...
LFCS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
CAINE
2008
13 years 11 months ago
2008
This paper describes an algorithm that pieces together 2D fragments of an object. Matching fragments of an object is useful for solving puzzles or reassembling archaeological frag...
PLDI
2010
ACM
14 years 7 months ago
2010
ACM
We define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in ...