2510 search results - page 425 / 502 » The Discipline of Embedded Systems Design |
152
Voted
RTAS
2006
IEEE
15 years 9 months ago
2006
IEEE
Multicore architectures, which have multiple processing units on a single chip, are widely viewed as a way to achieve higher processor performance, given that thermal and power pr...
142
Voted
RTAS
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
145
Voted
HASKELL
2006
ACM
15 years 9 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
145
Voted
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
— There is a growing interest in developing low cost, low power, highly integrated biosensor systems to characterize individual cells for applications such as cell analysis, drug...
116
Voted
ISLPED
2005
ACM
15 years 9 months ago
2005
ACM
Tuning a configurable cache subsystem to an application can greatly reduce memory hierarchy energy consumption. Previous tuning methods use a level one configurable cache only, or...