10666 search results - page 1538 / 2134 » Quantum programming languages |
185
click to vote
ASPLOS
2004
ACM
16 years 14 days ago
2004
ACM
Recent studies have suggested that the soft-error rate in microprocessor logic will become a reliability concern by 2010. This paper proposes an efficient error detection techniqu...
194
click to vote
ASPLOS
2004
ACM
16 years 14 days ago
2004
ACM
Distributed Shortest-Positioning Time First (D-SPTF) is a request distribution protocol for decentralized systems of storage servers. D-SPTF exploits high-speed interconnects to d...
181
click to vote
SIGSOFT
2004
ACM
16 years 14 days ago
2004
ACM
Many software applications have a component based on database management systems in which information is generally handled through SQL queries embedded in the application code. Wh...
156
click to vote
CD
2004
Springer
16 years 13 days ago
2004
Springer
Based on a vision that, in the future, applications will be flexibly built out of small-grained components, we argue that current technologies do not adequately support component d...
211
click to vote
PADL
2004
Springer
16 years 12 days ago
2004
Springer
Gentzen’s Hauptsatz – cut elimination theorem – in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuition...