918 search results - page 15 / 184 » Speculative Issue Logic |
159
click to vote
DSD
2002
IEEE
15 years 11 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...
146
click to vote
ICFP
2003
ACM
16 years 5 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...
238
click to vote
KRDB
2003
15 years 7 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...
170
click to vote
ISSS
1998
IEEE
15 years 10 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