Sciweavers

4820 search results - page 439 / 964
» Implementing Signatures for C
Sort
View
128
Voted
EPEW
2005
Springer
15 years 10 months ago
From Theory to Practice in Transactional Composition of Web Services
We address the problem of composing Web Services in long-running transactional business processes, where compensations must be dealt with appropriately. The framework presented in ...
Roberto Bruni, Gian Luigi Ferrari, Hernán C...
139
Voted
FPL
2005
Springer
96views Hardware» more  FPL 2005»
15 years 10 months ago
FPGA PLB Evaluation using Quantified Boolean Satisfiability
This paper describes a novel Field Programmable Gate Array (FPGA) logic synthesis technique which determines if a logic function can be implemented in a given programmable circuit...
Andrew C. Ling, Deshanand P. Singh, Stephen Dean B...
112
Voted
ICMI
2005
Springer
126views Biometrics» more  ICMI 2005»
15 years 10 months ago
Synthetic characters as multichannel interfaces
  Synthetic characters are an effective modality to convey messages  to  the  user,  provide  visual  feedback  about  the  system  internal  understanding of...
Elena Not, Koray Balci, Fabio Pianesi, Massimo Zan...
ISPA
2005
Springer
15 years 10 months ago
Reducing the Overhead of Intra-Node Communication in Clusters of SMPs
Abstract. This article presents the C++ library vShark which reduces the intranode communication overhead of parallel programs on clusters of SMPs. The library is built on top of m...
Sascha Hunold, Thomas Rauber
ISPA
2005
Springer
15 years 10 months ago
Collective Communications for Scalable Programming
Abstract. HPJava is an environment for scientific and parallel programming using Java. It is based on an extended version of the Java language. One feature that HPJava adds to Jav...
Sang Boem Lim, Bryan Carpenter, Geoffrey Fox, Han-...