11328 search results - page 44 / 2266 » Timed Branching Processes |
127
Voted
RTSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Real-time systems are growing in complexity and realtime and soft real-time applications are becoming common in general-purpose computing environments. Thus, there is a growing ne...
RTSS
1989
IEEE
15 years 6 months ago
1989
IEEE
IEEEPACT
2009
IEEE
15 years 8 months ago
2009
IEEE
—CPR (Checkpoint Processing and Recovery) is a physical register management scheme that supports a larger instruction window and higher average IPC than conventional ROB-style re...
109
click to vote
ISMIS
1999
Springer
15 years 6 months ago
1999
Springer
In this paper, a new heuristic that can be grafted to many of the most e cient branching strategies for Davis and Putnam procedures for SAT is described. This heuristic gives a hig...
104
click to vote
FORTE
2001
15 years 3 months ago
2001
A symbolic semantics for Full LOTOS in terms of symbolic transition systems is defined; the semantics extends the (infinitely branching) standard semantics by giving meaning to da...