1226 search results - page 79 / 246 » Generating Abstractions from Static Domain Analysis |
124
Voted
WSC
1997
15 years 4 months ago
1997
A framework for performance analysis of parallel discrete event simulators is presented. The centerpiece of this framework is a platform-independent Workload Specification Langua...
129
Voted
CAV
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
122
Voted
IJCAI
2007
15 years 4 months ago
2007
Abstract. We propose an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using information provided by the knowledge...
107
Voted
SCIA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper describes a method of stereoscopic view generation by image-based rendering in wide outdoor environments. The stereoscopic view can be generated from an omnidi...
113
Voted
EUROSYS
2007
ACM
15 years 12 months ago
2007
ACM
Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C++ and are regularly vulnerable to serious security and reliability problems...