1690 search results - page 319 / 338 » Applications of Metric Coinduction |
COLCOM
2009
IEEE
14 years 15 days ago
2009
IEEE
—Geospatial tagging (geotagging) is an emerging and very promising application that can help users find a wide variety of location-specific information, and facilitate the deve...
INFOCOM
2000
IEEE
14 years 5 days ago
2000
IEEE
—The ability of a web service to provide low-latency access to its contents is constrained by available network bandwidth. It is important for the service to manage available ban...
ASPLOS
2000
ACM
14 years 4 days ago
2000
ACM
Recently, there has been a growing interest in exploiting profile information in adaptive systems such as just-in-time compilers, dynamic optimizers and, binary translators. In th...
ISSTA
2000
ACM
14 years 4 days ago
2000
ACM
During the past two decades many di erent pointer analysis algorithms have been published. Although some descriptions include measurements of the e ectiveness of the algorithm, qu...
DATE
1998
IEEE
14 years 1 days ago
1998
IEEE
As the "system-on-a-chip" concept is rapidly becoming a reality, time-to-market and product complexity push the reuse of complex macromodules. Circuits combining a varie...