2875 search results - page 176 / 575 » Using separation of concerns for embedded systems design |
145
click to vote
CCGRID
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract--Multi-core processors with accelerators are becoming commodity components for high-performance computing at scale. While accelerator-based processors have been studied in...
133
click to vote
RTAS
1999
IEEE
15 years 9 months ago
1999
IEEE
Real-time media servers need to service hundreds and, possibly, thousands of clients, each with their own quality of service (QoS) requirements. To guarantee such diverse QoS requ...
124
Voted
SAMOS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The focus of this work is on techniques that promise to reduce the message delivery latency in message passing environments, incuding clusters of workstations or SMPs. We...
163
click to vote
RSP
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
131
Voted
CIE
2007
Springer
15 years 11 months ago
2007
Springer
Concerning the set of rooted binary trees, one shows that Higman’s Lemma and Dershowitz’s recursive path ordering can be used for the decision of its maximal order type accordi...