9626 search results - page 1695 / 1926 » Invariant Based Programming |
173
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
In deep submicron technology, wire delay is no longer negligible and is gradually dominating the system latency. Some state-of-the-art architectural synthesis flows adopt the distr...
142
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
Phase shifting mask (PSM) is a promising resolution enhancement technique, which is used in the deep sub-wavelength lithography of the VLSI fabrication process. However, applying ...
166
click to vote
CC
2008
Springer
15 years 8 months ago
2008
Springer
Portable low-level C programs must often support multiple equivalent in-memory layouts of data, due to the byte or bit order of the compiler, architecture, or external data formats...
198
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
The specifications of an application's security configuration are crucial for understanding its security policies, which can be very helpful in security-related contexts such...
196
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
This paper investigates the application of causal inference methodology for observational studies to software fault localization based on test outcomes and profiles. This methodo...