4359 search results - page 609 / 872 » Automated Pipeline Design |
147
click to vote
DATE
2007
IEEE
16 years 29 days ago
2007
IEEE
Due to the widespread demands for efficient SAT solvers in Electronic Design Automation applications, methods to boost the performance of the SAT solver are highly desired. We pr...
159
click to vote
HICSS
2007
IEEE
16 years 29 days 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...
149
click to vote
LICS
2007
IEEE
16 years 28 days ago
2007
IEEE
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is...
180
click to vote
RTCSA
2007
IEEE
16 years 27 days ago
2007
IEEE
In this paper we explore the possibility of using commodity graphics processing units (GPUs) to speedup standard schedulability analysis algorithms. Our long-term goal is to explo...
177
click to vote
TPHOL
2007
IEEE
16 years 27 days ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...