1635 search results - page 287 / 327 » DIPC: A System Software Solution for Distributed Programming |
120
click to vote
ICS
1999
Tsinghua U.
15 years 6 months ago
1999
Tsinghua U.
Hydra is a chip multiprocessor (CMP) with integrated support for thread-level speculation. Thread-level speculation provides a way to parallelize sequential programs without the n...
109
click to vote
ICS
1989
Tsinghua U.
15 years 6 months ago
1989
Tsinghua U.
Control intensive scalar programs pose a very different challenge to highly pipelined supercomputers than vectorizable numeric applications. Function call/return and branch instru...
161
Voted
HYBRID
2010
Springer
15 years 3 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
122
click to vote
VLDB
1992
ACM
15 years 6 months ago
1992
ACM
Process-centered software engineering environments, such as Arcadia, impose a variety of requirements on database technology that to date have not been well supported by available...
151
click to vote
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...