1016 search results - page 122 / 204 » Embedded Computing: New Directions in Architecture and Autom... |
CSL
2009
Springer
15 years 4 months ago
2009
Springer
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...
CONEXT
2008
ACM
14 years 12 months ago
2008
ACM
Several new, data-oriented internetworking architectures have been proposed recently. However, the practical deployability of such designs is an open question. In this paper, we c...
IPSN
2005
Springer
15 years 3 months ago
2005
Springer
—We describe the development of a set of embedded system building blocks, known as eBlocks. An eBlock network can be viewed as a basic form of sensor network that can be develope...
70
Voted
DAC
2009
ACM
15 years 11 months ago
2009
ACM
The use of Flash memories in portable embedded systems is ever increasing. This is because of the multi-level storage capability that makes them excellent candidates for high dens...
DAC
2009
ACM
15 years 11 months ago
2009
ACM
Caches are notorious for their unpredictability. It is difficult or even impossible to predict if a memory access will result in a definite cache hit or miss. This unpredictabilit...