918 search results - page 153 / 184 » Speculative Issue Logic |
130
click to vote
TCAD
2002
15 years 1 months ago
2002
This paper introduces an accurate analysis of on-chip inductance effects for distributed interconnects that takes the effect of both the series resistance and the output parasitic ...
144
click to vote
TCS
2002
15 years 1 months ago
2002
The Common Algebraic Specification Language Casl is an expressive language for the formal specification of functional requirements and modular design of software. It has been desi...
119
click to vote
VLDB
2002
ACM
15 years 1 months ago
2002
ACM
This paper introduces MICP, a novel multiversion integrated cache replacement and prefetching algorithm designed for efficient cache and transaction management in hybrid data deli...
109
click to vote
ICTAC
2010
Springer
15 years 14 days ago
2010
Springer
Abstract. The potential of linear logic in facilitating reasoning on resource usage has long been recognized. However, convincing uses of linear types in practical programming are ...
118
click to vote
IS
2010
15 years 12 days ago
2010
Existing Digital Rights Management systems, initiatives like Creative Commons or research works as some digital rights ontologies provide limited support for content value chains m...