2308 search results - page 414 / 462 » Categorial Semantics For LFG |
185
click to vote
CGO
2010
IEEE
16 years 1 months ago
2010
IEEE
We present a practical and scalable method for flow- and contextsensitive (FSCS) pointer analysis for C programs. Our method analyzes the pointers in a program level by level in ...
269
click to vote
AOSD
2010
ACM
16 years 29 days ago
2010
ACM
Advice is a mechanism, widely used in aspect-oriented languages, that allows one program component to augment or modify the behavior of other components. When advice and other com...
178
click to vote
ASPLOS
2010
ACM
16 years 29 days ago
2010
ACM
Computer systems often fail due to many factors such as software bugs or administrator errors. Diagnosing such production run failures is an important but challenging task since i...
167
click to vote
ASPLOS
2010
ACM
16 years 29 days ago
2010
ACM
A large number of user requests execute (often concurrently) within a server system. A single request may exhibit fluctuating hardware characteristics (such as instruction comple...
173
click to vote
ETRA
2010
ACM
16 years 29 days ago
2010
ACM
In order to help users navigate an image search system, one could provide explicit information on a small set of images as to which of them are relevant or not to their task. Thes...