419 search results - page 60 / 84 » A Thread of HOL Development |
100
click to vote
SMI
2010
IEEE
14 years 10 months ago
2010
IEEE
—It has recently been shown that if we twist an arbitrary subset of edges of a mesh on an orientable surface, the resulting extended graph rotation system (EGRS) can be used to i...
120
click to vote
EGH
2010
Springer
14 years 9 months ago
2010
Springer
While a number of different shading languages have been developed, their efficient integration into an existing renderer is notoriously difficult, often boiling down to implementi...
187
click to vote
GECCO
2009
Springer
14 years 9 months ago
2009
Springer
Simultaneous Multithreading (SMT) is a technology aimed at improving the throughput of the processor core by applying Instruction Level Parallelism (ILP) and Thread Level Parallel...
102
click to vote
ASPLOS
2011
ACM
14 years 3 months ago
2011
ACM
The power-efficient massively parallel Graphics Processing Units (GPUs) have become increasingly influential for scientific computing over the past few years. However, their ef...
101
click to vote
DAC
2005
ACM
16 years 23 days ago
2005
ACM
Abstract-- Network processors (NPs) have emerged as successful platforms to providing both high performance and flexibility in building powerful routers. Typical NPs incorporate mu...