5550 search results - page 558 / 1110 » Different Approaches to Proof Systems |
170
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
Process variation in future technologies can cause severe performance degradation since different parts of the shared Register File (RF) in VLIW processors may operate at various ...
192
Voted
IPPS
2005
IEEE
16 years 1 months ago
2005
IEEE
— This paper introduces WSPeer, a high level interface to hosting and invoking Web services. WSPeer aims to support the diversification of Web service deployments by providing a...
188
click to vote
ISCA
2003
IEEE
16 years 21 days ago
2003
IEEE
This paper describes the polymorphous TRIPS architecture which can be configured for different granularities and types of parallelism. TRIPS contains mechanisms that enable the p...
176
Voted
HICSS
2002
IEEE
16 years 11 days ago
2002
IEEE
In recent years there has been a movement toward deployment of distributed approaches for electronic commerce. Intelligent software agents, for instance, may be instructed to act ...
200
click to vote
ICS
1999
Tsinghua U.
15 years 11 months ago
1999
Tsinghua U.
As the gap between memory and processor speeds continues to widen, cache efficiency is an increasingly important component of processor performance. Compiler techniques have been...