Sciweavers

1528 search results - page 113 / 306
» Performance Assertion Checking
Sort
View
98
Voted
HOTOS
2003
IEEE
15 years 7 months ago
Cosy: Develop in User-Land, Run in Kernel-Mode
User applications that move a lot of data across the user-kernel boundary suffer from a serious performance penalty. We provide a framework, Compound System Calls (CoSy), to enhan...
Amit Purohit, Charles P. Wright, Joseph Spadavecch...
102
Voted
TWC
2008
132views more  TWC 2008»
15 years 2 months ago
Robust high throughput space time block codes using parallel interference cancellation
We present a space-time coded system which achieves high throughput and good performance using lowcomplexity detection and decoding. We focus on a Rate 2 quasiorthogonal space-time...
Nicholas S. J. Pau, Desmond P. Taylor, Philippa A....
HICSS
2009
IEEE
143views Biometrics» more  HICSS 2009»
15 years 9 months ago
Bridge Methods: Using a Balanced Project Practice Portfolio to Integrate Agile and Formal Process Methodologies
This paper examines the non-linear nature of progress on software projects. It asserts that this uneven accomplishment stems from the continuous need to drive value quickly in res...
Stephen J. Cohen, William H. Money
IPPS
2009
IEEE
15 years 9 months ago
Design, implementation, and evaluation of transparent pNFS on Lustre
Parallel NFS (pNFS) is an emergent open standard for parallelizing data transfer over a variety of I/O protocols. Prototypes of pNFS are actively being developed by industry and a...
Weikuan Yu, Oleg Drokin, Jeffrey S. Vetter
PADL
2004
Springer
15 years 7 months ago
Improved Compilation of Prolog to C Using Moded Types and Determinism Information
We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds...
José F. Morales, Manuel Carro, Manuel V. He...