1953 search results - page 136 / 391 » Embedded Probabilistic Programming |
127
click to vote
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
In this paper, we present several novel strategies to improve software controlled cache utilization, so as to achieve lower power requirements for multi-media and signal processin...
140
click to vote
CASES
2007
ACM
15 years 6 months ago
2007
ACM
The key to increasing performance without a commensurate increase in power consumption in modern processors lies in increasing both parallelism and core specialization. Core speci...
126
Voted
DAC
2005
ACM
15 years 4 months ago
2005
ACM
This paper presents a new method for designing test wrappers for embedded cores with multiple clock domains. By exploiting the use of multiple shift frequencies, the proposed meth...
139
click to vote
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
143
Voted
COORDINATION
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We propose and formalize HomeBPEL, a higher-order WSBPEL-like business process execution language where processes are firstclass values that can be stored in variables, p...