1423 search results - page 128 / 285 » Languages of Nested Trees |
140
Voted
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
141
Voted
PLDI
1999
ACM
15 years 8 months ago
1999
ACM
This paper presents a novel interprocedural, ow-sensitive, and context-sensitive pointer analysis algorithm for multithreaded programs that may concurrently update shared pointers...
112
Voted
TOOLS
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper we enhance the SOFA Component Description Language with a semantic description of a component's functionality. There are two key requirements this description a...
131
Voted
ASPLOS
1992
ACM
15 years 7 months ago
1992
ACM
: In scalable parallel machines, processors can make local memory accesses much faster than they can make remote memory accesses. In addition, when a number of remote accesses must...
125
Voted
CICLING
2010
Springer
15 years 3 months ago
2010
Springer
Named Entity Recognition and Classification is being studied for last two decades. Since semantic features take huge amount of training time and are slow in inference, the existing...