441 search results - page 27 / 89 » Reliable Distributed Programming in C : The Arjuna Approach |
ISLPED
2007
ACM
13 years 9 months ago
2007
ACM
Increases in peak current draw and reductions in the operating voltages of processors continue to amplify the importance of dealing with voltage fluctuations in processors. One a...
HPDC
2003
IEEE
14 years 1 months ago
2003
IEEE
Despite many competitors, Ethernet became the dominant protocol for local area networking due to its simplicity, robustness, and efficiency in wide variety of conditions and tech...
SOQUA
2004
13 years 9 months ago
2004
: As more third-party software components are available in the commercial market, more people begin to use the component-based software engineering approach to developing component...
ECOOPW
1999
Springer
13 years 12 months ago
1999
Springer
Software components o er numerous advantages in terms of development, but may give rise to ine ciency due to highly generic implementations. Program specialization can automatical...
PPDP
2005
Springer
14 years 1 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....