4820 search results - page 506 / 964 » Implementing Signatures for C |
159
click to vote
GECCO
2007
Springer
16 years 16 days ago
2007
Springer
Artificial Development Systems have been introduced as a technique aimed at increasing the scalability of evolutionary algorithms. Most commonly the development model is part of ...
198
click to vote
IPSN
2007
Springer
16 years 16 days ago
2007
Springer
A Wireless Sensor Network (WSN) for Structural Health Monitoring (SHM) is designed, implemented, deployed and tested on the 4200ft long main span and the south tower of the Golden...
186
click to vote
IWSOS
2007
Springer
16 years 16 days ago
2007
Springer
— In Wireless Sensor Network (WSN) applications, sensor nodes are often deployed in harsh environments. Routine maintenance, fault detection and correction is difficult, infrequ...
192
click to vote
SPIN
2007
Springer
16 years 15 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
149
click to vote
TACAS
2007
Springer
16 years 15 days ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...