Sciweavers

17449 search results - page 125 / 3490
» Availability
Sort
View
TLCA
1999
Springer
14 years 2 months ago
AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem
AnnoDomini is a commercially available source-to-source conversion tool for finding and fixing Year 2000 problems in COBOL programs. AnnoDomini uses type-based specification, an...
Peter Harry Eidorff, Fritz Henglein, Christian Mos...
FPL
1998
Springer
135views Hardware» more  FPL 1998»
14 years 2 months ago
Designing for Xilinx XC6200 FPGAs
With the XC6200 FPGA Xilinx introduced the first commercially available FPGA designed for reconfigurable computing. It has a completely new internal architecture, so new design alg...
Reiner W. Hartenstein, Michael Herz, Frank Gilbert
IATA
1998
Springer
14 years 2 months ago
A Dynamic Hierarchy of Intelligent Agents for Network Management
Routing as well as the management of communicationnetworks that support hybrid types of communications requiring quality of service is a very hard problem. We present here a frame...
Christian Frei, Boi Faltings
VLDB
1998
ACM
77views Database» more  VLDB 1998»
14 years 2 months ago
Safely and Efficiently Updating References During On-line Reorganization
With today's demands for continuous availability of mission-critical databases, on-line reorganization is a necessity. In this paper we present a new on-Iine reorganization a...
Chendong Zou, Betty Salzberg
APL
1994
ACM
14 years 2 months ago
The Impact of APL on First Year Mathematics
ct In 1993, the Australian Federal Government's Committee for the Advancement of University Teaching (CAUT) funded a project to develop an integrated computationally rich firs...
Walter G. Spunde