3436 search results - page 412 / 688 » Software Tools for Performance Modeling of Parallel Programs |
109
Voted
SIGSOFT
2000
ACM
15 years 6 months ago
2000
ACM
In an increasingly popular model of software distribution, software is developed in one computing environment and deployed in other environments by transfer over the internet. Ext...
144
click to vote
WCET
2010
15 years 10 days ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
101
Voted
ICFEM
2009
Springer
15 years 9 months ago
2009
Springer
Formal specification languages are traditionally supported by theorem provers, but recently model checkers have proven to be useful tools. In this paper we present Eboc, an explic...
108
Voted
NDSS
2007
IEEE
15 years 8 months ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
110
click to vote
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents a quantitative threat modeling method, the Threat Modeling method based on Attack Path Analysis (T-MAP), which quantifies security threats by calculating the t...