2867 search results - page 121 / 574 » Effectiveness of Index Expressions |
153
click to vote
PPDP
2005
Springer
15 years 11 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
154
click to vote
SIGGRAPH
2010
ACM
15 years 10 months ago
2010
ACM
We present a novel rendering system for defocus blur and lens effects. It supports physically-based rendering and outperforms previous approaches by involving a novel GPU-based tr...
167
click to vote
ACTAC
2008
15 years 6 months ago
2008
Rules provide an expressive means for implementing database behavior: They cope with changes and their ramifications. Rules are commonly used for integrity enforcement, i.e., for ...
128
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Community effects on the behaviour of individuals, the community itself and other communities can be observed in a wide range of applications. This is true in scientific research,...
186
click to vote
TCAD
2002
15 years 6 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 ...