2961 search results - page 418 / 593 » Optimization of tele-immersion codes |
267
Voted
POPL
2009
ACM
16 years 4 months ago
2009
ACM
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...
243
Voted
POPL
2007
ACM
16 years 4 months ago
2007
ACM
We introduce lock allocation, an automatic technique that takes a multi-threaded program annotated with atomic sections (that must be executed atomically), and infers a lock assig...
138
click to vote
ICCAD
2007
IEEE
16 years 26 days ago
2007
IEEE
Several technologies with sub-lithographic features are targeting the fabrication of crossbar memories in which the nanowire decoder is playing a major role. In this paper, we sug...
142
Voted
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
132
Voted
CODES
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper presents a system-level design methodology for networked embedded systems that exploits existing data-redundancy to increase their reliability. The presented approach n...