4520 search results - page 855 / 904 » Algebraic Techniques for Timed Systems |
116
Voted
PLDI
2011
ACM
14 years 3 months ago
2011
ACM
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...
127
click to vote
CVPR
2012
IEEE
13 years 3 months ago
2012
IEEE
It is often desirable to detect whether a surface has been touched, even when the changes made to that surface are too subtle to see in a pair of before and after images. To addre...
224
click to vote
GIS
2005
ACM
16 years 1 months ago
2005
ACM
Geographic Information Systems (GIS) are increasingly managing very large sets of data and hence a centralized data repository may not always provide the most scalable solution. H...
120
Voted
WWW
2003
ACM
16 years 1 months ago
2003
ACM
Crawling the web is deceptively simple: the basic algorithm is (a) Fetch a page (b) Parse it to extract all linked URLs (c) For all the URLs not seen before, repeat (a)?(c). Howev...
116
Voted
ISCA
2010
IEEE
15 years 5 months ago
2010
IEEE
Technology advancements have enabled the integration of large on-die embedded DRAM (eDRAM) caches. eDRAM is significantly denser than traditional SRAMs, but must be periodically r...