4911 search results - page 647 / 983 » Tree dependence analysis |
107
click to vote
INFOCOM
1994
IEEE
15 years 8 months ago
1994
IEEE
Current standards reserve one bit in the ATM cell header to indicate loss priority. When congestion occurs ai a queue lower priority cells can be discarded in order to insure a sm...
122
Voted
ICSE
1993
IEEE-ACM
15 years 8 months ago
1993
IEEE-ACM
Over the past 15 years there has been increasing recognition that careful attention to the design of a system’s software architecture is critical to satisfying its requirements ...
120
Voted
ESOP
1990
Springer
15 years 8 months ago
1990
Springer
The key to realistic self-applicable partial evaluation is to analyze binding times in the source program, i.e., whether the result of partially evaluating a source expression is ...
139
click to vote
VLDB
1990
ACM
15 years 8 months ago
1990
ACM
Therequirementsfor amain memorydatastoragemodel are both compactnessand efficient processing for all database operations. The DBGraph storage model, proposed in this paper, achiev...
120
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...