2784 search results - page 105 / 557 » Instruction Level Parallelism |
ISORC
2007
IEEE
15 years 9 months ago
2007
IEEE
84
Voted
PVM
2007
Springer
15 years 8 months ago
2007
Springer
73
Voted
CLUSTER
2005
IEEE
15 years 8 months ago
2005
IEEE
127
Voted
LCPC
2005
Springer
15 years 8 months ago
2005
Springer
Thread-level speculation (TLS) allows potentially dependent threads to speculatively execute in parallel, thus making it easier for the compiler to extract parallel threads. Howeve...
105
Voted
SPIN
2005
Springer
15 years 8 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...