Sciweavers

3001 search results - page 285 / 601
» Recursive type generativity
Sort
View
ISSRE
2003
IEEE
15 years 12 months ago
A New Software Testing Approach Based on Domain Analysis of Specifications and Programs
Partition testing is a well-known software testing technique. This paper shows that partition testing strategies are relatively ineffective in detecting faults related to small sh...
Ruilian Zhao, Michael R. Lyu, Yinghua Min
TLDI
2003
ACM
134views Formal Methods» more  TLDI 2003»
15 years 11 months ago
Scrap your boilerplate: a practical design pattern for generic programming
We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such programs often have a great deal of “boilerpl...
Ralf Lämmel, Simon L. Peyton Jones
JAVA
1999
Springer
15 years 10 months ago
Design, Implementation, and Evaluation of Optimizations in a Just-in-Time Compiler
The Java language incurs a runtime overhead for exception checks and object accesses without an interior pointer in order to ensure safety. It also requires type inclusion test, d...
Kazuaki Ishizaki, Motohiro Kawahito, Toshiaki Yasu...
MMM
1996
Springer
287views Multimedia» more  MMM 1996»
15 years 10 months ago
Holographic Images in Multimedia Information Systems
Multimedia information systems are based on the evolving capability of computers to handle diverse types of information. Their most important characteristic is the integration of ...
Lucilla Croce Ferri
COOPIS
2004
IEEE
15 years 10 months ago
GRIDKIT: Pluggable Overlay Networks for Grid Computing
A `second generation' approach to the provision of Grid middleware is now emerging which is built on service-oriented architecture and web services standards and technologies....
Paul Grace, Geoff Coulson, Gordon S. Blair, Lauren...