799 search results - page 138 / 160 » Generating Reliable Code from Hybrid-Systems Models |
CACM
2008
13 years 10 months ago
2008
Programs written in C and C++ are susceptible to memory errors, including buffer overflows and dangling pointers. These errors, which can lead to crashes, erroneous execution, and...
EMSOFT
2005
Springer
14 years 3 months ago
2005
Springer
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
MOBIWAC
2009
ACM
14 years 4 months ago
2009
ACM
Rapid evolution of wireless networking has provided wide-scale of different wireless access technologies like Bluetooth, ZigBee, 802.11a/b/g, DSRC, 3G UMTS, LTE, WiMAX, etc. The c...
PLDI
2003
ACM
14 years 3 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
BMCBI
2006
13 years 10 months ago
2006
Background: Automatic annotation of sequenced eukaryotic genomes integrates a combination of methodologies such as ab-initio methods and alignment of homologous genes and/or prote...