1156 search results - page 9 / 232 » The PENG System: Practice and Experience |
115
click to vote
PDIS
1991
IEEE
15 years 2 months ago
1991
IEEE
Improvements in the processing speed of multiprocessors are outpacing improvements in the speed of disk hardware. Parallel disk I/O subsystems have been proposed as one way to clo...
TPHOL
2009
IEEE
15 years 5 months ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
96
Voted
ISSS
1996
IEEE
15 years 3 months ago
1996
IEEE
The paper presents two heuristics for hardware/software partitioning of system level specifications. The main objective is to achieve performance optimization with a limited hardw...
123
click to vote
ICNP
2009
IEEE
14 years 8 months ago
2009
IEEE
Abstract--IP multicast applications such as live lecture broadcasts are being increasingly used in enterprise and campus networks. In many cases, end hosts access these multicast s...
MICCAI
2008
Springer
16 years 2 days ago
2008
Springer
Abstract. In this paper, we explore the use of over-complete spherical wavelets in shape analysis of closed 2D surfaces. Previous work has demonstrated, theoretically and practical...