2149 search results - page 348 / 430 » Engineering Adaptive Web Applications |
PPAM
2001
Springer
14 years 10 days ago
2001
Springer
This paper presents an overview of pARMS, a package for solving sparse linear systems on parallel platforms. Preconditioners constitute the most important ingredient in the solutio...
ICMCS
2000
IEEE
14 years 9 days ago
2000
IEEE
This paper investigates architecture and interface design issues in engineering conversational multimedia interfaces for accessing network-based services. In particular, we focus ...
TPHOL
1998
IEEE
14 years 4 days ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
PLDI
1994
ACM
13 years 12 months ago
1994
ACM
Programslices have potentialuses in manysoftware engineering applications. Traditional slicing algorithms, however, do not work correctly on programs that contain explicit jump st...
FPL
2006
Springer
13 years 11 months ago
2006
Springer
FPGAs have become an attractive choice for scientific computing. In this paper, we propose a high performance design for LU decomposition, a key kernel in many scientific and engi...