3451 search results - page 265 / 691 » The Architecture and Implementation of Resource Space Model ... |
192
click to vote
PLDI
2005
ACM
16 years 5 days ago
2005
ACM
Ad-hoc networks of mobile devices such as smart phones and PDAs represent a new and exciting distributed system architecture. Building distributed applications on such an architec...
197
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
157
click to vote
TCAD
2008
15 years 6 months ago
2008
We propose a methodology for the early estimation of communication implementation choices eftarting from an abstract transaction level system model (TLM). The reference version of ...
267
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
Today's high-performance single-chip CMOS microprocessors are the most complex and challenging chip designs ever implemented. To stay on the leading edge, Digital's micro...
160
click to vote
SPIN
2007
Springer
16 years 22 days ago
2007
Springer
Recent development in computer hardware has brought more wide-spread emergence of shared-memory, multi-core systems. These architectures offer opportunities to speed up various ta...