4386 search results - page 800 / 878 » A Tamper-Resistant Programming Language System |
CHARME
2001
Springer
15 years 6 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
136
click to vote
ICLP
2004
Springer
15 years 6 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
107
click to vote
PPOPP
2009
ACM
16 years 2 months ago
2009
ACM
Researchers in transactional memory (TM) have proposed open nesting as a methodology for increasing the concurrency of transactional programs. The idea is to ignore "low-leve...
118
click to vote
ICS
2005
Tsinghua U.
15 years 7 months ago
2005
Tsinghua U.
Excessive power consumption is becoming a major barrier to extracting the maximum performance from high-performance parallel systems. Therefore, techniques oriented towards reduci...
134
click to vote
VLDB
2005
ACM
15 years 7 months ago
2005
ACM
In recent years, publish-subscribe (pub-sub) systems based on XML document filtering have received much attention. In a typical pubsub system, subscribed users specify their inte...