9532 search results - page 1849 / 1907 » Logic, Graphs, and Algorithms |
114
click to vote
HPCA
2008
IEEE
15 years 11 months ago
2008
IEEE
Interconnection networks-on-chip (NOCs) are rapidly replacing other forms of interconnect in chip multiprocessors and system-on-chip designs. Existing interconnection networks use...
198
click to vote
POPL
2007
ACM
15 years 11 months ago
2007
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
184
click to vote
POPL
2007
ACM
15 years 11 months ago
2007
ACM
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...
192
click to vote
POPL
2007
ACM
15 years 11 months ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...
199
click to vote
POPL
2004
ACM
15 years 11 months ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...