2192 search results - page 304 / 439 » Embedded function composition |
104
Voted
POS
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. The technique of hyper-programming allows program representations held in a persistent store to contain embedded links to persistent code and data. In 1994, Connor et al ...
93
Voted
CAV
2010
Springer
15 years 4 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
116
Voted
ASPDAC
2005
ACM
15 years 2 months ago
2005
ACM
Abstract— Most previous studies on tiling concentrate on iteration space only for cache-based memory systems. However, more and more real-time embedded systems are adopting Scrat...
124
Voted
DFT
2008
IEEE
15 years 2 months ago
2008
IEEE
This paper addresses a new threat to the security of integrated circuits (ICs). The migration of IC fabrication to untrusted foundries has made ICs vulnerable to malicious alterat...
100
click to vote
CMS
2006
15 years 2 months ago
2006
Abstract. Although privacy is often seen as an essential right for internet users, the provision of anonymity can also provide the ultimate cover for malicious users. Privacy Enhan...