963 search results - page 36 / 193 » Escape Analysis on Lists |
DAC
2007
ACM
15 years 11 months ago
2007
ACM
Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, to redistribute to lists, or to use any component of this work in other works requires pr...
103
click to vote
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...
TLCA
2007
Springer
15 years 4 months ago
2007
Springer
We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely when the size of the result is determined exactly...
ISMIR
2004
Springer
15 years 3 months ago
2004
Springer
One of the challenges of music information retrieval is the automatic extraction of effective content descriptors of music documents, which can be used at indexing and at retrieva...
CSFW
2000
IEEE
15 years 2 months ago
2000
IEEE
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...