3404 search results - page 421 / 681 » C Programming Tutorial |
150
click to vote
CMMR
2005
Springer
15 years 8 months ago
2005
Springer
The pureCMusic (pCM++) framework gives the possibility to write a piece of music in terms of an algorithmic-composition-based program -also controlled by data streaming from extern...
130
click to vote
DAWAK
2005
Springer
15 years 8 months ago
2005
Springer
Extract-Transform-Load (ETL) workflows are data centric workflows responsible for transferring, cleaning, and loading data from their respective sources to the warehouse. Previous ...
148
click to vote
DSVIS
2005
Springer
15 years 8 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
110
click to vote
ICALP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
125
click to vote
ISPA
2005
Springer
15 years 8 months ago
2005
Springer
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...