1715 search results - page 278 / 343 » How Space Structures Language |
127
Voted
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
It is now well established that the device scaling predicted by Moore’s Law is no longer a viable option for increasing the clock frequency of future uniprocessor systems at the...
132
click to vote
ICLP
2007
Springer
15 years 6 months ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
155
click to vote
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
Concurrency bugs are caused by non-deterministic interleavings between shared memory accesses. Their effects propagate through data and control dependences until they cause softwa...
149
click to vote
WIDM
2005
ACM
15 years 8 months ago
2005
ACM
In XML retrieval, two distinct approaches have been established and pursued without much cross-fertilization taking place so far. On the one hand, native XML databases tailored to...
130
click to vote
INFSOF
2010
15 years 28 days ago
2010
Context: Object-oriented languages such as Java, Smalltalk, and C++ structure their programs using packages. Maintainers of large systems need to understand how packages relate to...