2756 search results - page 140 / 552 » Computation-Centric Memory Models |
135
click to vote
HIPEAC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Power efficiency has become a key design trade-off in embedded system designs. For system-on-a-chip embedded systems, an external bus interconnects embedded processor co...
121
click to vote
COMPSAC
2008
IEEE
15 years 11 months ago
2008
IEEE
The conflicting requirements of real-time embedded systems, e.g. minimizing memory usage while still ensuring that all deadlines are met at run-time, require rigorous analysis of...
122
click to vote
IWINAC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The brain representations of words and their referent actions and objects appear to be strongly coupled neuronal assemblies distributed over several cortical areas. In th...
153
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
In the challenges faced by organisations in the area of knowledge management, there is clearly a role for information and communications technologies in supporting the exploitatio...
138
click to vote
CAV
2003
Springer
15 years 9 months ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...