Sciweavers

2903 search results - page 319 / 581
» On the univalence of an integral operator
Sort
View
LICS
2005
IEEE
16 years 11 days ago
Generalizing Parametricity Using Information-flow
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...
Geoffrey Washburn, Stephanie Weirich
MSS
2005
IEEE
133views Hardware» more  MSS 2005»
16 years 11 days ago
Exporting Storage Systems in a Scalable Manner with pNFS
To meet enterprise and grand challenge-scale performance and interoperability requirements, a group of engineers—initially ad-hoc but now integrated into the IETF—is designing...
Dean Hildebrand, Peter Honeyman
SRDS
2005
IEEE
16 years 11 days ago
Fault-tolerance for Stateful Application Servers in the Presence of Advanced Transactions Patterns
Replication is widely used in application server products to tolerate faults. An important challenge is to correctly coordinate replication and transaction execution for stateful ...
Huaigu Wu, Bettina Kemme
CAISE
2005
Springer
16 years 10 days ago
A Generic Transcoding Tool for Making Web Applications Adaptive
Abstract. As personalization and device independence become prominent issues in Web development, tools to adapt existing Web Information Systems (WISs) are required. Still, current...
Zoltán Fiala, Geert-Jan Houben
CC
2005
Springer
124views System Software» more  CC 2005»
16 years 10 days ago
Boosting the Performance of Multimedia Applications Using SIMD Instructions
Modern processors’ multimedia extensions (MME) provide SIMD ISAs to boost the performance of typical operations in multimedia applications. However, automatic vectorization suppo...
Weihua Jiang, Chao Mei, Bo Huang, Jianhui Li, Jiah...