591 search results - page 78 / 119 » An Environment for Conducting Families of Software Engineeri... |
CGO
2003
IEEE
14 years 2 months ago
2003
IEEE
The pervasive use of pointers with complicated patterns in C programs often constrains compiler alias analysis to yield conservative register allocation and promotion. Speculative...
WCRE
2002
IEEE
14 years 1 months ago
2002
IEEE
Dynamic binary translators compile machine code from a source architecture to a target architecture at run time. Due to the hard time constraints of just-in-time compilation only ...
CSEE
2007
Springer
13 years 10 months ago
2007
Springer
We have provided a focus on process management and improvement as a basis for conducting student group projects. This paper summarises the lessons learnt from eight years of exper...
ICFEM
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
TASLP
2011
13 years 3 months ago
2011
—With the increase in cheap commercially available sensors, recording meetings is becoming an increasingly practical option. With this trend comes the need to summarize the recor...