3381 search results - page 164 / 677 » Extending Dependencies with Conditions |
144
click to vote
MASCOTS
2001
15 years 7 months ago
2001
Abstract--Long-range dependence has been observed in many recent Internet traffic measurements. In addition, some recent studies have shown that under certain network conditions, T...
174
click to vote
TLCA
2007
Springer
16 years 17 days ago
2007
Springer
The lambda-Pi-calculus allows to express proofs of minimal predicate logic. It can be extended, in a very simple way, by adding computation rules. This leads to the lambda-Pi-calcu...
168
click to vote
ICS
2007
Tsinghua U.
16 years 19 days ago
2007
Tsinghua U.
Sensitivity Analysis (SA) is a novel compiler technique that complements, and integrates with, static automatic parallelization analysis for the cases when relevant program behavi...
157
click to vote
DATE
2006
IEEE
16 years 16 days ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
178
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
The appearance of an outdoor scene depends on a variety of factors such as viewing geometry, scene structure and reflectance (BRDF or BTF), illumination (sun, moon, stars, street l...