3872 search results - page 92 / 775 » The Java memory model |
PATMOS
2004
Springer
15 years 5 months ago
2004
Springer
Portableembeddeddevicesmustpresentlyrunmultimediaandwireless network applications with enormous computational performance requirements at a low energy consumption. In these applica...
ICANN
2003
Springer
15 years 5 months ago
2003
Springer
The number of objects that can be maintained in visual working memory without interference is limited. We present simulations of a model of visual working memory in ventral prefron...
ISCA
1998
IEEE
15 years 4 months ago
1998
IEEE
Microprocessors and memory systems su er from a growing gap in performance. We introduce Active Pages, a computation model which addresses this gap by shifting data-intensive comp...
196
click to vote
Book
"Primarily, this book addresses the designer who chooses an application's user-interface elements, lays them out in a set of components, and designs the user interaction ...
TACAS
2007
Springer
15 years 6 months ago
2007
Springer
We present JPF–SE, an extension to the Java PathFinder Model Checking framework (JPF) that enables the symbolic execution of Java programs. JPF–SE uses JPF to generate and expl...