Sciweavers

1953 search results - page 40 / 391
» Embedded Probabilistic Programming
Sort
View
CORR
2008
Springer
128views Education» more  CORR 2008»
13 years 10 months ago
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination
Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans T...
CORR
2006
Springer
57views Education» more  CORR 2006»
13 years 10 months ago
Program Spectra Analysis in Embedded Software: A Case Study
Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund
AGILEDC
2004
IEEE
14 years 1 months ago
Taming the Embedded Tiger - Agile Test Techniques for Embedded Software
Strong unit testing is the foundation of agile software development but embedded systems present special problems. Test of embedded software is bound up with test of hardware, cro...
Nancy Van Schooenderwoert, Ron Morsicato