4814 search results - page 688 / 963 » Combining abstract interpreters |
99
Voted
ICFP
2006
ACM
16 years 23 days ago
2006
ACM
"Generics for the Masses" (GM) and "Scrap your Boilerplate" (SYB) are generic programming approaches based on some ingenious applications of Haskell type class...
99
Voted
MOBISYS
2005
ACM
16 years 12 days ago
2005
ACM
Abstract-Maintaining optimal consistency in a distributed system requires that nodes be always-on to synchronize information. Unfortunately, mobile devices such as laptops do not h...
92
Voted
EWSN
2008
Springer
16 years 12 days ago
2008
Springer
Abstract. We examine the problem of tracking dynamic boundaries occurring in natural phenomena using range sensors. Two main challenges of the boundary tracking problem are energy-...
Publication
Finding My Needle in the Haystack: Effective Personalized Re-ranking of Search Results in Prospector
15 years 10 months ago
Abstract. This paper provides an overview of Prospector, a personalized Internet meta-search engine, which utilizes a combination of ontological information, ratings-based models o...
106
Voted
ICCAD
2008
IEEE
15 years 9 months ago
2008
IEEE
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...