Sciweavers

2826 search results - page 346 / 566
» A resource-based analysis of IT sourcing
Sort
View
DAC
2000
ACM
15 years 11 months ago
An asymptotically constant, linearly bounded methodology for the statistical simulation of analog circuits including component m
Abstract: This paper presents a new statistical methodology to simulate the effect of both inter-die and intra-die variation on the electrical performance of analog integrated circ...
Carlo Guardiani, Sharad Saxena, Patrick McNamara, ...
POPL
1999
ACM
15 years 11 months ago
A Core Calculus of Dependency
Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We argue that there is a central notion of dependency commo...
Martín Abadi, Anindya Banerjee, Nevin Heint...
ICCBR
1999
Springer
15 years 11 months ago
Integrating Information Resources: A Case Study of Engineering Design Support
Abstract. The development of successful case-based design aids depends both on the CBR processes themselves and on crucial questions of integrating the CBR system into the larger t...
David B. Leake, Lawrence Birnbaum, Kristian J. Ham...
VLDB
1998
ACM
111views Database» more  VLDB 1998»
15 years 11 months ago
Expiring Data in a Warehouse
Data warehouses collect data into materialized views for analysis. After some time, some of the data may no longer be needed or may not be of interest. In this paper, we handle th...
Hector Garcia-Molina, Wilburt Labio, Jun Yang 0001
ICFP
1997
ACM
15 years 11 months ago
Strongly Typed Flow-Directed Representation Transformations
d Abstract) Allyn Dimock Harvard University Robert Muller Boston College Franklyn Turbak Wellesley College J. B. Wells∗ Glasgow University Topic Areas: compilation, lambda calcul...
Allyn Dimock, Robert Muller, Franklyn A. Turbak, J...