1953 search results - page 254 / 391 » Embedded Probabilistic Programming |
220
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
C++ templates are key to the design of current successful mainstream libraries and systems. They are the basis of programming techniques in diverse areas ranging from conventional...
217
click to vote
POPL
2003
ACM
16 years 2 months ago
2003
ACM
Multimedia and network processing applications make extensive use of subword data. Since registers are capable of holding a full data word, when a subword variable is assigned a r...
117
click to vote
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
111
click to vote
FCCM
2000
IEEE
15 years 6 months ago
2000
IEEE
Hardware compilation techniques which use highlevel programming languages to describe and synthesize hardware are gaining popularity. They are especially useful for reconfigurable...
139
click to vote
FECS
2010
15 years 7 days ago
2010
This paper describes the development of a system for teaching C/C++ using a LegoTM NXT in a CSI college course on introductory programming. The programming of the NXT robot has be...