681 search results - page 100 / 137 » Superblock formation using static program analysis |
124
Voted
KBSE
2006
IEEE
15 years 8 months ago
2006
IEEE
Recovering design patterns can enhance existing source code analysis tools by bringing program understanding to the design level. This paper presents a new, fully automated patter...
130
Voted
COORDINATION
2009
Springer
16 years 3 months ago
2009
Springer
A future is a well-known programming construct used to introduce concurrency to sequential programs. Computations annotated as futures are executed asynchronously and run concurren...
142
Voted
SECON
2007
IEEE
15 years 9 months ago
2007
IEEE
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...
145
Voted
PPOPP
2003
ACM
15 years 8 months ago
2003
ACM
Speculative multithreading (SpMT) architecture can exploit thread-level parallelism that cannot be identified statically. Speedup can be obtained by speculatively executing threa...
150
Voted
IEEEARES
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting memory errors in C source code. We extend the standard C type system with effect, region, and host annotat...