28244 search results - page 5400 / 5649 » System Design for Flexibility |
154
click to vote
PEPM
1999
ACM
15 years 9 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
154
click to vote
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
Abstract. LAPACK90 is a set of LAPACK90 subroutines which interfaces FORTRAN90 with LAPACK. All LAPACK driver subroutines including expert drivers and some LAPACK computationals ha...
156
click to vote
VLDB
1999
ACM
15 years 9 months ago
1999
ACM
As random access memory gets cheaper, it becomes increasingly affordable to build computers with large main memories. We consider decision support workloads within the context of...
153
click to vote
ADL
1998
Springer
15 years 9 months ago
1998
Springer
ct In this paper, we describe the VesaliusTM Project, a multi-modal collection of anatomical resourcesunder development at Columbia University. 1 Our focus is on the need for navig...
131
click to vote
ICSE
1998
IEEE-ACM
15 years 9 months ago
1998
IEEE-ACM
We describe the design and implementation of system architecture to support object introspection in C++. In this system, information is collected by parsing class declarations, an...