2520 search results - page 265 / 504 » Model-checking behavioral programs |
266
click to vote
PLDI
2005
ACM
16 years 6 days ago
2005
ACM
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we ha...
206
click to vote
ISI
2008
Springer
15 years 6 months ago
2008
Springer
An Intrusion Detection Program (IDP) analyzes what happens or has happened during an execution and tries to find indications that the computer has been misused. In this talk, we p...
169
click to vote
EDUTAINMENT
2007
Springer
16 years 24 days ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
129
click to vote
ASPLOS
2006
ACM
16 years 18 days ago
2006
ACM
Operator mistakes have been identified as a significant source of unavailability in Internet services. In this paper, we propose a new language, A , for service engineers to writ...
165
click to vote
ISLPED
2005
ACM
16 years 6 days ago
2005
ACM
1 A highly-efficient fetch unit is essential not only to obtain good performance but also to achieve energy efficiency. However, existing designs are inflexible and depending on pr...