441 search results - page 58 / 89 » Reliable Distributed Programming in C : The Arjuna Approach |
ISSTA
2009
ACM
15 years 4 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
85
Voted
ISSTA
2006
ACM
15 years 4 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
VTC
2007
IEEE
15 years 4 months ago
2007
IEEE
An unequal importance communication approach, for reliable and real-time image communication over heterogeneous networks and its applications in mobile communication systems is pre...
101
Voted
EUC
2008
Springer
14 years 12 months ago
2008
Springer
In this paper, we have proposed a framework of systems-on-chips clustering in application to complicated sensor networks. The framework can be applied to address the communication ...
148
Voted
PDP
2011
IEEE
14 years 1 months ago
2011
IEEE
—Energy-efficiency is becoming one of the most critical issues in embedded system design. In Network-on-Chip (NoC) based heterogeneous Multiprocessor Systems, the energy consump...