Sciweavers

4198 search results - page 707 / 840
» Data Parallel Program Design
Sort
View
VMCAI
2004
Springer
15 years 11 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
ISSRE
2003
IEEE
15 years 11 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...
CIKM
2009
Springer
15 years 11 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
UM
2001
Springer
15 years 10 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
HICSS
1998
IEEE
176views Biometrics» more  HICSS 1998»
15 years 10 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