1953 search results - page 357 / 391 » Embedded Probabilistic Programming |
110
click to vote
SAS
2010
Springer
15 years 15 days ago
2010
Springer
c Abstraction for Intervals Using Boolean Formulae J¨org Brauer1 and Andy King2 1 Embedded Software Laboratory, RWTH Aachen University, Germany 2 Portcullis Computer Security, Pin...
193
click to vote
VL
2010
IEEE
15 years 14 days ago
2010
IEEE
SOFIA (Artemis project: http://www.sofiaproject.eu/) focuses on answering the challenge of creating smart environments and its goal is to make information that resides in the phys...
119
click to vote
CASES
2010
ACM
15 years 4 days ago
2010
ACM
We present a fine-grain dynamic instruction placement algorithm for small L0 scratch-pad memories (spms), whose unit of transfer can be an individual instruction. Our algorithm ca...
129
click to vote
LPAR
2010
Springer
15 years 22 hour ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
138
click to vote
MEMOCODE
2010
IEEE
15 years 20 hour ago
2010
IEEE
A new language, Feldspar, is presented, enabling high-level and platform-independent description of digital signal processing (DSP) algorithms. Feldspar is a pure functional langua...