Sciweavers

3879 search results - page 457 / 776
» PyPBS design and methodologies
Sort
View
SIGSOFT
1998
ACM
15 years 11 months ago
Reasoning about Implicit Invocation
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
David Garlan, Somesh Jha, David Notkin
ECAI
1998
Springer
15 years 11 months ago
Empirical Evaluation of Possibility Theory in Human Radiological Diagnosis
An experiment was conducted in order to evaluate what normative framework is pertinent for dealing with confidence judgements in human experts. 24 films were shown to 4 experimente...
Eric Raufaste, Rui Da Silva Neves
ICCAD
1997
IEEE
99views Hardware» more  ICCAD 1997»
15 years 11 months ago
High-level area and power estimation for VLSI circuits
High-level power estimation, when given only a high-level design specification such as a functional or RTL description, requires high-level estimation of the circuit average acti...
Mahadevamurty Nemani, Farid N. Najm
ICNP
1997
IEEE
15 years 11 months ago
Optimal Feedback Control for ABR Service in ATM
The e cient support of data tra c over ATM networks requires congestion control, whose objectives include maximizing throughput, minimizing switch bu er requirement, and attaining...
Paolo Narváez, Kai-Yeung Siu
ISLPED
1997
ACM
114views Hardware» more  ISLPED 1997»
15 years 11 months ago
Cycle-accurate macro-models for RT-level power analysis
 In this paper we present a methodology and techniques for generating cycle-accurate macro-models for RTlevel power analysis. The proposed macro-model predicts not only...
Qinru Qiu, Qing Wu, Massoud Pedram, Chih-Shun Ding