7456 search results - page 1217 / 1492 » Parallelism in Logic Programming |
120
click to vote
CSL
2000
Springer
15 years 8 months ago
2000
Springer
We define three composition and structuring concepts which reflect frequently used refinements of ASMs and integrate standard structuring constructs into the global state based ...
147
click to vote
ACSC
2004
IEEE
15 years 8 months ago
2004
IEEE
When modern processors keep increasing the instruction window size and the issue width to exploit more instruction-level parallelism (ILP), the demand of larger physical register ...
168
click to vote
DAC
2004
ACM
15 years 8 months ago
2004
ACM
This paper presents new technology that accelerates system verification. Traditional methods for verifying functional designs are based on logic simulation, which becomes more tim...
144
Voted
ISCA
2000
IEEE
15 years 7 months ago
2000
IEEE
Vector instruction sets are receiving renewed interest because of their applicability to multimedia. Current multimedia instruction sets use short vectors with SIMD implementation...
130
click to vote
WSC
2007
15 years 6 months ago
2007
Agility, speed and flexibility in production networks are required in today's global competition in the flat world. The accuracy of order date delivery promises is a key elem...