Sciweavers

4323 search results - page 153 / 865
» Callback Implementations in C
Sort
View
IPPS
2006
IEEE
14 years 4 months ago
Algorithmic skeletons for stream programming in embedded heterogeneous parallel image processing applications
Algorithmic skeletons can be used to write architecture independent programs, shielding application developers from the details of a parallel implementation. In this paper, we pre...
Wouter Caarls, Pieter P. Jonker, Henk Corporaal
ACSAC
2005
IEEE
14 years 3 months ago
Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
Jan Jürjens
DSVIS
2003
Springer
14 years 3 months ago
Workspaces: A Multi-level Architectural Style for Synchronous Groupware
We present a new architectural style for synchronous groupware that eases the transition from scenario based modeling to component design, and from component design to distributed ...
W. Greg Phillips, T. C. Nicholas Graham
RTAS
2002
IEEE
14 years 3 months ago
Evaluating Real-Time Java Features and Performance for Real-Time Embedded Systems
This paper provides two contributions to the study of programming languages and middleware for real-time and embedded applications. First, we present the empirical results from ap...
Angelo Corsaro, Douglas C. Schmidt
ECOOP
1999
Springer
14 years 2 months ago
Synthesizing Objects
This paper argues that the current OO technology does not support reuse and configurability in an effective way. This problem can be addressed by augmenting OO analysis and design ...
Krzysztof Czarnecki, Ulrich W. Eisenecker