5977 search results - page 746 / 1196 » Hierarchical Performance Modeling for Distributed System Arc... |
216
click to vote
ISORC
2005
IEEE
16 years 14 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
173
click to vote
PDP
2007
IEEE
16 years 1 months ago
2007
IEEE
— In the last years peer-to-Peer (P2P) applications are emerging as potentially important structures for information, content management and distribution. The most popular P2P ap...
212
click to vote
ATS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--To achieve a high product quality for nano-scale systems both realistic defect mechanisms and process variations must be taken into account. While existing approaches for...
178
click to vote
ISCC
2003
IEEE
16 years 5 days ago
2003
IEEE
In this article, we investigate efficient transmission of Object-based MPEG-4 video over IP networks with QoS management capabilities. MPEG-4 Audio Visual Objects (AVOs) are class...
156
click to vote
AC
2008
Springer
15 years 7 months ago
2008
Springer
The historical context surrounding the birth of the DARPA High Productivity Computing Systems (HPCS) program is important for understanding why federal government agencies launche...