266 search results - page 51 / 54 » Combining Software and Hardware Verification Techniques |
83
Voted
ICS
2005
Tsinghua U.
15 years 3 months ago
2005
Tsinghua U.
Excessive power consumption is becoming a major barrier to extracting the maximum performance from high-performance parallel systems. Therefore, techniques oriented towards reduci...
AGENTS
2000
Springer
15 years 1 months ago
2000
Springer
Multi-agent systems are prone to failures typical of any distributed system. Agents and resources may become unavailable due to machine crashes, communication breakdowns, process ...
115
click to vote
ECRTS
2007
IEEE
15 years 3 months ago
2007
IEEE
Of late, there has been a considerable interest in models, algorithms and methodologies specifically targeted towards designing hardware and software for streaming applications. ...
IEEEPACT
2007
IEEE
15 years 3 months ago
2007
IEEE
Effective use of communication networks is critical to the performance and scalability of parallel applications. Partitioned Global Address Space languages like UPC bring the pro...
79
Voted
SC
2009
ACM
15 years 2 months ago
2009
ACM
Reconfigurable computing (RC) is rapidly becoming a vital technology for many applications, from high-performance computing to embedded systems. The inherent advantages of custom-...