3107 search results - page 90 / 622 » Error-Correcting Source Code |
PDP
2005
IEEE
14 years 3 months ago
2005
IEEE
The OpenMP source code repository is based on a set of representative applications and it is supported by a web site. It is an infrastructure that we make available to the communi...
DATE
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper presents a novel source code transformation for control flow optimizationcalled loop nest splitting which minimizes the number of executed if-statements in loop nests ...
MSR
2009
ACM
14 years 2 months ago
2009
ACM
As more and more open-source software components become available on the internet we need automatic ways to label and compare them. For example, a developer who searches for reusa...
ENTCS
2007
13 years 10 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
DCC
2010
IEEE
14 years 5 months ago
2010
IEEE
This paper focuses on optimal analog mappings for zero-delay, distributed source-channel coding. The objective is to obtain the optimal vector transformations that map between m-d...