81 search results - page 10 / 17 » Scalable Shape Analysis for Systems Code |
SMI
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents a flexible, scalable framework for interactive hands-on shape design in a haptic, stereoscopic virtual environment. The framework is founded upon the concept ...
178
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
SP
2008
IEEE
15 years 4 months ago
2008
IEEE
Operating systems divide virtual memory addresses into kernel space and user space. The interface of a modern operating system consists of a set of system call procedures that may...
110
click to vote
CODES
2010
IEEE
14 years 7 months ago
2010
IEEE
With the continuous scaling of semiconductor technology, the life-time of circuit is decreasing so that processor failure becomes an important issue in MPSoC design. A software so...
MM
2009
ACM
15 years 4 months ago
2009
ACM
Emerging IPTV technology uses source-specific IP multicast to deliver TV programs to the end-users. To provide timely and reliable services over the error-prone DSL access networ...