7124 search results - page 395 / 1425 » Programming Languages and Operating Systems |
200
Voted
ICML
1989
IEEE
15 years 11 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
211
click to vote
PEPM
2011
ACM
14 years 9 months ago
2011
ACM
Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path specification language t...
186
click to vote
KBSE
2005
IEEE
16 years 13 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
177
click to vote
WMCSA
2002
IEEE
15 years 11 months ago
2002
IEEE
The emergence of pervasive networked data sources, such as web services, sensors, and mobile devices, enables context-sensitive, mobile applications. We have developed a programmi...
187
click to vote
IEEEPACT
2006
IEEE
16 years 26 days ago
2006
IEEE
On machines with high-performance processors, the memory system continues to be a performance bottleneck. Compilers insert prefetch operations and reorder data accesses to improve...