Sciweavers

10048 search results - page 1640 / 2010
» The Structure and Performance of Interpreters
Sort
View
PEPM
2004
ACM
16 years 7 days ago
Program transformations for portable CPU accounting and control in Java
In this paper we introduce a novel scheme for portable CPU accounting and control in Java, which is based on program transformation techniques at the bytecode level and can be use...
Jarle Hulaas, Walter Binder
RT
2004
Springer
16 years 7 days ago
Rendering Forest Scenes in Real-Time
Forests are crucial for scene realism in applications such as flight simulators. This paper proposes a new representation allowing for the real-time rendering of realistic forest...
Philippe Decaudin, Fabrice Neyret
SAS
2004
Springer
140views Formal Methods» more  SAS 2004»
16 years 7 days ago
Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
Sumit Gulwani, George C. Necula
VLDB
2004
ACM
95views Database» more  VLDB 2004»
16 years 6 days ago
Combating Web Spam with TrustRank
Web spam pages use various techniques to achieve higher-than-deserved rankings in a search engine’s results. While human experts can identify spam, it is too expensive to manual...
Zoltán Gyöngyi, Hector Garcia-Molina, ...
WAC
2004
Springer
122views Communications» more  WAC 2004»
16 years 6 days ago
Dynamic Self-management of Autonomic Systems: The Reputation, Quality and Credibility (RQC) Scheme
In this paper, we present a feedback-based system for managing trust and detecting malicious behavior in autonomically behaving networks. Like other distributed trust management sy...
Anurag Garg, Roberto Battiti, Gianni Costanzi
« Prev « First page 1640 / 2010 Last » Next »