Sciweavers

4198 search results - page 707 / 840
» Data Parallel Program Design
Sort
View
123
Voted
VMCAI
2004
Springer
15 years 8 months ago
Applying Jlint to Space Exploration Software
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
Cyrille Artho, Klaus Havelund
119
Voted
ISSRE
2003
IEEE
15 years 7 months ago
An Empirical Study on Testing and Fault Tolerance for Software Reliability Engineering
Software testing and software fault tolerance are two major techniques for developing reliable software systems, yet limited empirical data are available in the literature to eval...
Michael R. Lyu, Zubin Huang, Sam K. S. Sze, Xia Ca...
118
Voted
CIKM
2009
Springer
15 years 7 months ago
Personalization as a service: the architecture and a case study
Cloud computing has become a hot topic in the IT industry. Great efforts have been made to establish cloud computing platforms for enterprise users, mostly small businesses. Howe...
Hang Guo, Jidong Chen, Wentao Wu, Wei Wang 0009
115
Voted
UM
2001
Springer
15 years 7 months ago
A User Modeling Approach to Determining System Initiative in Mixed-Initiative AI Systems
Abstract. In this paper, we address the problem of providing guidelines to designers of mixed-initiative artificial intelligence systems, which specify when the system should take...
Michael W. Fleming, Robin Cohen
106
Voted
HICSS
1998
IEEE
176views Biometrics» more  HICSS 1998»
15 years 6 months ago
Intelligent System for Reading Handwriting on Forms
The National Institute of Standards and Technology (NIST) has developed a form-based handprint recognition system for reading information written on forms. This public domain soft...
Michael D. Garris