70 search results - page 5 / 14 » Refining the control structure of loops using static analysi... |
174
click to vote
JAR
2006
15 years 5 months ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
169
click to vote
SC
2009
ACM
16 years 19 days ago
2009
ACM
We present a scalable temporal order analysis technique that supports debugging of large scale applications by classifying MPI tasks based on their logical program execution order...
177
click to vote
ICECCS
2007
IEEE
16 years 4 days ago
2007
IEEE
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
153
click to vote
CODES
2008
IEEE
16 years 9 days ago
2008
IEEE
Application-specific system-on-chip platforms create the opportunity to customize the cache configuration for optimal performance with minimal chip estate. Simulation, in partic...
169
click to vote
RTSS
2005
IEEE
15 years 11 months ago
2005
IEEE
Static timing analysis safely bounds worst-case execution times to determine if tasks can meet their deadlines in hard real-time systems. However, conventional timing analysis req...