Sciweavers

1419 search results - page 151 / 284
» A Characterization of Constructive Dimension
Sort
View
IPPS
1999
IEEE
15 years 9 months ago
A Distributed System Reference Architecture for Adaptive QoS and Resource Management
This paper deals with large, distributed real-time systems that have execution times and resource utilizations which cannot be characterized a priori. (The motivation for our work ...
Lonnie R. Welch, Michael W. Masters, Leslie A. Mad...
136
Voted
ISCA
1992
IEEE
113views Hardware» more  ISCA 1992»
15 years 8 months ago
Dynamic Dependency Analysis of Ordinary Programs
A quantitative analysis of program execution is essential to the computer architecture design process. With the current trend in architecture of enhancing the performance of unipr...
Todd M. Austin, Gurindar S. Sohi
AOSD
2007
ACM
15 years 8 months ago
A static aspect language for checking design rules
Design rules express constraints on the behavior and structure of a program. These rules can help ensure that a program follows a set of established practices, and avoids certain ...
Clint Morgan, Kris De Volder, Eric Wohlstadter
EPEW
2006
Springer
15 years 8 months ago
Model Checking for a Class of Performance Properties of Fluid Stochastic Models
Abstract. Recently, there is an explosive development of fluid approaches to computer and distributed systems. These approaches are inherently stochastic and generate continuous st...
Manuela L. Bujorianu, Marius C. Bujorianu
LPNMR
1995
Springer
15 years 8 months ago
Skeptical Rational Extensions
In this paper we propose a version of default logic with the following two properties: (1) defaults with mutually inconsistent justications are never used together in constructing ...
Artur Mikitiuk, Miroslaw Truszczynski