2128 search results - page 149 / 426 » A general characterization of indulgence |
182
click to vote
WG
1993
Springer
15 years 10 months ago
1993
Springer
Recently in several papers, graphs with maximum neighborhood orderings were characterized and turned out to be algorithmically useful. This paper gives a unified framework for cha...
140
click to vote
COCO
1990
Springer
15 years 10 months ago
1990
Springer
d Abstract) Eric Allender Christopher Wilson Department of Computer Science Department of Computer Rutgers University and Information Science New Brunswick, NJ 08903, USA Universit...
189
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
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 ...
170
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
Ownership types characterize the topology of objects in the heap, through a characterization of the context to which an object belongs. They have been used to support reasoning, me...
138
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
We present a analytical framework to identify the tradeoffs and performance impacts associated with different SoC platform configurations in the specific context of implementing m...