3272 search results - page 364 / 655 » Introduction to Software Performance Engineering |
193
click to vote
ACL2
2006
ACM
16 years 19 days ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
171
click to vote
CODES
2005
IEEE
16 years 8 days ago
2005
IEEE
In this paper, we show a novel approach to accelerate loops by tightly coupling a coprocessor to an ASIP. Latency hiding is used to exploit the parallelism available in this archi...
132
click to vote
EUROMICRO
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper reports on the development of QoSOnt: an ontology for Quality of Service (QoS). Particular focus is given to its application in the field of service-centric systems. Qo...
158
click to vote
EUROMICRO
2005
IEEE
16 years 8 days ago
2005
IEEE
The Reliable Server Pooling (RSerPool) protocol suite currently under standardization by the IETF is designed to build systems providing highly available services by mechanisms an...
180
click to vote
TLDI
2005
ACM
16 years 6 days ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...