8621 search results - page 1657 / 1725 » Interaction Design |
ISORC
2009
IEEE
14 years 3 months ago
2009
IEEE
Java is one of the most popular programming languages for the development of portable workstation and server applications available today. Because of its clean design and typesafe...
TPHOL
2009
IEEE
14 years 3 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
IWMM
2009
Springer
14 years 3 months ago
2009
Springer
: © Garbage Collection in the Next C++ Standard Hans-J. Boehm, Mike Spertus HP Laboratories HPL-2009-360 C++, garbage collection C++ has traditionally relied on manual memory mana...
FDG
2009
ACM
14 years 3 months ago
2009
ACM
Hardware and platform limitations restrict the display settings for most computer games, forcing a tradeoff between frame rate and resolution to achieve acceptable performance. Pr...
IMC
2009
ACM
14 years 3 months ago
2009
ACM
Many enterprise, campus, and data-center networks have complex layer-2 virtual LANs (“VLANs”) below the IP layer. The interaction between layer-2 and IP topologies in these VL...