1710 search results - page 286 / 342 » High-Level Programs and Program Conditions |
ASPDAC
2006
ACM
14 years 3 months ago
2006
ACM
Recent research results have seen the application of parallelizing techniques to high-level synthesis. In particular, the effect of speculative code transformations on mixed contr...
EUROMICRO
2005
IEEE
14 years 2 months ago
2005
IEEE
Code revision of a leading telecom product was performed, combining manual audit and static analysis tools. On average, one exploitable vulnerability was found for every 4000 line...
ISSRE
2005
IEEE
14 years 2 months ago
2005
IEEE
Code prioritization for testing promises to achieve the maximum testing coverage with the least cost. This paper presents an innovative method to provide hints on which part of co...
APLAS
2005
ACM
14 years 2 months ago
2005
ACM
Many situations can be modeled as solutions of systems of simultaneous equations. If the functions of these equations monotonically increase in all bound variables, then the existe...
SAC
2005
ACM
14 years 2 months ago
2005
ACM
This paper proposes a model along with a reference software architecture enabling multi-coordination between distributed and mobile software agents. Multi-coordination allows agen...