10870 search results - page 1918 / 2174 » Model Checking Programs |
179
click to vote
FCCM
2006
IEEE
16 years 21 days ago
2006
IEEE
It has been shown that a small number of FPGAs can significantly accelerate certain computing tasks by up to two or three orders of magnitude. However, particularly intensive lar...
168
click to vote
ISPASS
2006
IEEE
16 years 20 days ago
2006
IEEE
Fast, accurate, and effective performance analysis is essential for the design of modern processor architectures and improving application performance. Recent trends toward highly...
279
click to vote
ISLPED
2005
ACM
16 years 6 days ago
2005
ACM
In this paper, we take the idea of application-level processing on disks to one level further, and focus on an architecture, called Cluster of Active Disks (CAD), where the storag...
161
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
Scalable coordination is a key challenge in deployment of multiagent systems. Resource usage is one part of agent behavior which naturally lends itself to abstraction. CyberOrgs i...
270
click to vote
ECOOP
2005
Springer
16 years 5 days ago
2005
Springer
Software modeling has received a lot a of attention in the last decade and now is an important support for the design process. Actually, the design process is very important to the...