1815 search results - page 158 / 363 » Cloud Computing: An Overview |
IPPS
1997
IEEE
15 years 2 months ago
1997
IEEE
Most alias analyses produce approximate results in the presence of array slices. This may lead to ine cient code which is of concern, especially, in languages like Fortran90. In t...
COMPCON
1994
IEEE
15 years 2 months ago
1994
IEEE
The first product in the Newton family operates under severe constraints in the areas of performance, cost, heat dissipation, power consumption, scalability, size and weight. This...
DAC
1994
ACM
15 years 2 months ago
1994
ACM
- This paper provides an overview of design/test/CAD silicon cost-related issues. All major factors contributing to the rapid growth of manufacturing costs are explained and a simp...
DAC
1990
ACM
15 years 2 months ago
1990
ACM
In this paper, we provide an overview of a system designed for verifying the consistency of timing specifications for digital circuits. The utility of the system comes from the ne...
ECOOPW
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. This report gives an overview of the sixth Workshop on Formal Techniques for Java-like Programs at ECOOP 2004. It explains the motivation for the a workshop and summarise...