5241 search results - page 89 / 1049 » Embedded Programming with C |
CACM
2002
13 years 9 months ago
2002
EMSOFT
2006
Springer
14 years 1 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...
CAINE
2004
13 years 10 months ago
2004
- Automated tools for error prevention and error detection exist for many high-level languages, but have been nonexistent for assembly-language programs, embedded programs in parti...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Testing is one of the most indispensable tasks in software engineering. The role of testing in software development has grown significantly because testing is able to rev...