981 search results - page 98 / 197 » Semantics-aware trace analysis |
135
click to vote
PPOPP
2006
ACM
15 years 9 months ago
2006
ACM
This work presents a general methodology for estimating the performance of an HPC workload when running on a future hardware architecture. Further, it demonstrates the methodology...
122
click to vote
ECOOP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In aspect-oriented programming, pointcuts are used to describe crossstructure. Pointcuts that abstract over irrelevant implementation details are clearly desired to bette...
119
click to vote
RE
2004
Springer
15 years 8 months ago
2004
Springer
Most problems in building and refining a system can be traced back to errors in requirements. Poorly organized requirements, most often in natural language are among the major ca...
141
click to vote
LOPSTR
2001
Springer
15 years 7 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
107
click to vote
ICDAR
1995
IEEE
15 years 6 months ago
1995
IEEE
The process of converting an analog map into structured digitized information requires several di erent operations, which are all time-consuming when performed manually. Strictly ...