2550 search results - page 313 / 510 » Architecture as Language |
155
click to vote
ACMMSP
2004
ACM
16 years 1 days ago
2004
ACM
Instruction combining is an optimization to replace a sequence of instructions with a more efficient instruction yielding the same result in a fewer machine cycles. When we use it...
176
click to vote
SIGCOMM
2005
ACM
16 years 4 days ago
2005
ACM
The Internet’s core routing infrastructure, while arguably robust and efficient, has proven to be difficult to evolve to accommodate the needs of new applications. Prior researc...
162
click to vote
VSTTE
2005
Springer
16 years 2 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
263
click to vote
PLDI
2005
ACM
16 years 5 days ago
2005
ACM
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we ha...
235
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. Recent work has developed deterministic...