10159 search results - page 1605 / 2032 » System Design Validation Using Formal Models |
176
click to vote
GIS
2009
ACM
15 years 11 months ago
2009
ACM
This paper looks at the problem of data prioritization, commonly found in mobile ad-hoc networks. The proposed general solution uses a machine learning approach in order to learn ...
171
click to vote
WCNC
2008
IEEE
16 years 1 months ago
2008
IEEE
Packet reservation multiple access (PRMA) protocol is an implicit reservation MAC protocol. It is initially designed for voice packets in the cellular networks [2], [3] but it is...
185
click to vote
TPDS
2008
15 years 6 months ago
2008
Multicore processors are an architectural paradigm shift that promises a dramatic increase in performance. But, they also bring an unprecedented level of complexity in algorithmic ...
169
click to vote
SIGMETRICS
2010
ACM
15 years 5 months ago
2010
ACM
Data center availability is critical considering the explosive growth in Internet services and people’s dependence on them. Furthermore, in recent years, sustainability has beco...
168
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Recent efforts in adapting computer networks into system-on-chip (SOC), or network-on-chip, present a setback to the traditional computer systems for the lack of effective program...