Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions.
- Published in:
- International Journal of Parallel Programming, 2006, v. 34, n. 1, p. 61, doi. 10.1007/s10766-005-0004-8
- By:
- Publication type:
- Article
Works matching DE "EMBEDDED computer systems -- Programming"
Results: 9
1
2
Computation in the Context of Transport Triggered Architectures.
- Published in:
- International Journal of Parallel Programming, 2000, v. 28, n. 4, p. 401, doi. 10.1023/A:1007511206083
- By:
- Publication type:
- Article
3
DISEÑO DE UN MICROSISTEMA PROGRAMABLE PARA EFECTOS DE AUDIO DIGITAL USANDO FPGAS.
- Published in:
- Revista EIA, 2014, v. 11, n. 22, p. 133, doi. 10.14508/reia.2014.11.22.133-146
- By:
- Publication type:
- Article
4
Arp@: Remote experiences with real embedded systems.
- Published in:
- Computer Applications in Engineering Education, 2014, v. 22, n. 4, p. 639, doi. 10.1002/cae.21555
- By:
- Publication type:
- Article
5
Trends in Embedded Software Engineering.
- Published in:
- IEEE Software, 2009, v. 26, n. 3, p. 19, doi. 10.1109/MS.2009.80
- By:
- Publication type:
- Article
6
Debuggers and Logging Frameworks.
- Published in:
- IEEE Software, 2006, v. 23, n. 3, p. 98, doi. 10.1109/MS.2006.70
- By:
- Publication type:
- Article
7
Developing adaptive multi-device applications with the Heterogeneous Programming Library.
- Published in:
- Journal of Supercomputing, 2015, v. 71, n. 6, p. 2204, doi. 10.1007/s11227-014-1352-1
- By:
- Publication type:
- Article
8
Test Selection for Hierarchical and Communicating Finite State Machines.
- Published in:
- Computer Journal, 2009, v. 52, n. 3, p. 334, doi. 10.1093/comjnl/bxn027
- Publication type:
- Article
9
SIMULTANEOUS EMBEDDING OF EMBEDDED PLANAR GRAPHS.
- Published in:
- International Journal of Computational Geometry & Applications, 2013, v. 23, n. 2, p. 93, doi. 10.1142/S0218195913600029
- By:
- Publication type:
- Article