2039 search results - page 130 / 408 » Teaching Standards to Engineers |
143
click to vote
ADAEUROPE
2008
Springer
16 years 27 days ago
2008
Springer
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
144
click to vote
QSIC
2007
IEEE
16 years 24 days ago
2007
IEEE
: Testing against natural language requirements is the standard approach for system and acceptance testing. This test is often performed by an independent test organization unfamil...
188
click to vote
SEW
2007
IEEE
16 years 24 days ago
2007
IEEE
The communication and tasking infrastructure of a realtime application makes up a significant portion of any embedded control system. Traditionally, the tasking and communication...
182
click to vote
VMCAI
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. This paper presents a novel shape analysis algorithm with local reasoning that is designed to analyze heap structures with structural invariants, such y-linked lists. The...
188
click to vote
CCECE
2006
IEEE
16 years 18 days ago
2006
IEEE
Evolutionary electronics is a brunch of Evolvable Hardware, where the Evolutionary Algorithm is applied towards electronic circuits. The success ofevolutionary search most of all ...