1953 search results - page 107 / 391 » Embedded Probabilistic Programming |
102
Voted
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
— Embedded multiprocessors pose new challenges in the design and implementation of embedded software. This has led to the need for programming interfaces that expose the capabili...
100
Voted
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
Code size and energy consumption are critical design concerns for embedded processors as they determine the cost of the overall system. Techniques such as reduced length instructi...
119
click to vote
ICSEA
2006
IEEE
15 years 8 months ago
2006
IEEE
— Currently there are different approaches to develop fault-tolerant embedded software: implementing the system from scratch or using libraries respectively specialized hardware....
108
Voted
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
The purpose of this article is to propose a survey of possible approaches for implementing embedded reconfigurable gate arrays into secure circuits. A standard secure interfacing ...
134
click to vote
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...