2271 search results - page 83 / 455 » Scalable Software Libraries |
ISQED
2011
IEEE
13 years 1 months ago
2011
IEEE
Due to the dramatic increase in design complexity, verifying the functional correctness of a circuit is becoming more difficult. Therefore, bugs may escape all verification effo...
IPPS
2008
IEEE
14 years 4 months ago
2008
IEEE
We are designing scalable dynamic information flow tracking techniques and employing them to carry out tasks related to debugging (bug location and fault avoidance), security (so...
HPCC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The Ubiquitous Web requires novel programming paradigms and distributed architectures for the support of advanced services to a multitude of user devices and profiles. I...
CGO
2004
IEEE
14 years 1 months ago
2004
IEEE
Performing analysis across module boundaries for an entire program is important for exploiting several runtime performance opportunities. However, due to scalability problems in e...
CISIS
2010
IEEE
13 years 8 months ago
2010
IEEE
As Grid infrastructures become more widely used by the academic and commercial world, the problem of resource allocation increases in complexity. Resource trading markets are one m...