12774 search results - page 2422 / 2555 » A Framework for Proof Systems |
169
click to vote
IISWC
2008
IEEE
16 years 28 days ago
2008
IEEE
The design and evaluation of microprocessor architectures is a difficult and time-consuming task. Although small, handcoded microbenchmarks can be used to accelerate performance e...
178
click to vote
INFOCOM
2008
IEEE
16 years 28 days ago
2008
IEEE
—This paper presents a systematic in-depth study on the existence, importance, and application of stable nodes in peerto-peer live video streaming. Using traces from a real large...
185
click to vote
MICRO
2008
IEEE
16 years 27 days ago
2008
IEEE
—Efficient sharing of system resources is critical to obtaining high utilization and enforcing system-level performance objectives on chip multiprocessors (CMPs). Although sever...
165
click to vote
SECON
2008
IEEE
16 years 27 days ago
2008
IEEE
—We present the design and implementation of UDAE, a Universal Data Access Engine for wireless sensor networks. The UDAE allows developers to access data both locally and over th...
211
click to vote
WCRE
2008
IEEE
16 years 26 days ago
2008
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...