1189 search results - page 82 / 238 » The Quotient of an Abstract Interpretation |
ERSHOV
2003
Springer
15 years 5 months ago
2003
Springer
Despite practical successes with the Futamura projections, it has been an open question whether target programs produced by specializing interpreters can always be as efficient as ...
93
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract— Fundamental performance limitations on congestion control is discussed in relation to the information that is available in the controller. Three control architectures t...
102
click to vote
ESOP
1999
Springer
15 years 5 months ago
1999
Springer
Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be mor...
108
Voted
ECHT
1994
15 years 4 months ago
1994
The emergent nature of structure is a crucial, but often ignored, constraint on authoring hypertexts. VIKI is a spatial hypertext system that supports the emergent s of structure ...
78
Voted
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: Voter privacy and verifiability are fundamental security concepts for electronic voting. Existing literature on electronic voting provides many definitions and interpreta...