6054 search results - page 1089 / 1211 » Implementation of Andorra-based Languages |
ISCA
2012
IEEE
12 years 25 days ago
2012
IEEE
Languages such as C and C++ use unsafe manual memory management, allowing simple bugs (i.e., accesses to an object after deallocation) to become the root cause of exploitable secu...
LICS
2012
IEEE
12 years 24 days ago
2012
IEEE
—This paper introduces HOpiPn, the higher-order pi-calculus with passivation and name creation, and develops an equivalence theory for this calculus. Passivation [Schmitt and Ste...
CONCUR
2012
Springer
12 years 24 days ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it assumes a complete isolation between a library and ...
AAAI
2012
12 years 24 days ago
2012
Entity Recognition (ER) is a key component of relation extraction systems and many other natural-language processing applications. Unfortunately, most ER systems are restricted to...
ICDE
2001
IEEE
14 years 11 months ago
2001
IEEE
Due to the ubiquity and popularity of XML, users often are in the following situation: they want to query XML documents which contain potentially interesting information but they ...