14244 search results - page 2561 / 2849 » Modeling Program Predictability |
112
click to vote
SOFTVIS
2003
ACM
15 years 8 months ago
2003
ACM
Analysis and design of programs by using tools has emerged to a standard technique in object-oriented software engineering. Many of these tools claim to implement methods accordin...
129
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
153
click to vote
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
The general problem of robust optimization is this: one of several possible scenarios will appear tomorrow, but things are more expensive tomorrow than they are today. What should...
134
click to vote
KDD
2009
ACM
15 years 7 months ago
2009
ACM
Graphs or networks can be used to model complex systems. Detecting community structures from large network data is a classic and challenging task. In this paper, we propose a nove...
122
click to vote
SIGGRAPH
2010
ACM
15 years 7 months ago
2010
ACM
The NVIDIA® OptiX™ ray tracing engine is a programmable system designed for NVIDIA GPUs and other highly parallel architectures. The OptiX engine builds on the key observation ...