918 search results - page 15 / 184 » Speculative Issue Logic |
116
click to vote
DSD
2002
IEEE
15 years 6 months ago
2002
IEEE
Modern microprocessors schedule instructions dynamically in order to exploit instruction-level parallelism. It is necessary to increase instruction window size for improving instr...
ENTCS
2002
15 years 1 months ago
2002
ICFP
2003
ACM
16 years 1 months ago
2003
ACM
We report on work in progress regarding a foundation for the notion of meta-variable in logical frameworks and type theories. Our proposal is to treat meta-variables as modal varia...
176
click to vote
KRDB
2003
15 years 3 months ago
2003
We report about some preliminary issues from the DFG project “Description Logics and Spatial Reasoning” (“DLS”, DFG Grant NE 279/8-1), one of whose goals is to develop a p...
115
Voted
ISSS
1998
IEEE
15 years 6 months ago
1998
IEEE
After being niche markets for several years, application markets for one-chip integration of large DRAMs and logic circuits are growing very rapidly as the transition to 0.25