796 search results - page 88 / 160 » An Overview of Separation Logic |
109
Voted
PVM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. A large number of MPI implementations are currently available, each of which emphasize different aspects of high-performance computing or are intended to solve a speciï¬...
80
Voted
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...
DEXAW
2000
IEEE
15 years 5 months ago
2000
IEEE
In a combined negotiation in e-commerce, the user is interested in many goods or services and consequently engages in many negotiations at the same time. The negotiations are inde...
88
Voted
CHI
2000
ACM
15 years 5 months ago
2000
ACM
In electronic commerce, a satisfying buyer experience is a key competitive element. We show new techniques for better adapting interaction with an electronic catalog system to act...
99
Voted
ERSA
2006
15 years 2 months ago
2006
In this case study, various ways to partition a code between the microprocessor and FPGA are examined. Discrete image convolution operation with separable kernel is used as the ca...