5448 search results - page 1049 / 1090 » Breakpoints and Time in Distributed Computations |
104
Voted
SIGMOD
2010
ACM
15 years 5 months ago
2010
ACM
Maximal clique enumeration (MCE) is a fundamental problem in graph theory and has important applications in many areas such as social network analysis and bioinformatics. The prob...
SIGGRAPH
2010
ACM
15 years 5 months ago
2010
ACM
Material design is the process by which artists specify the reflectance
properties of a surface, such as its diffuse color and specular
roughness. We present a user study to eval...
95
Voted
ECAI
1998
Springer
15 years 4 months ago
1998
Springer
Abstract: Lazy computation is not new in model-based diagnosis of active systems (and of discreteevent systems in general). Up to a decade ago, diagnosis methods for discrete-event...
110
click to vote
FOCS
1997
IEEE
15 years 4 months ago
1997
IEEE
A central issue in the design of modern communication networks is that of providing performance guarantees. This issue is particularly important if the networks support real-time t...
107
Voted
PLDI
1990
ACM
15 years 4 months ago
1990
ACM
- This paper describes techniques for optimizing range checks performed to detect array bound violations. In addition to the elimination of range check:s, the optimizations discuss...