Sciweavers

4323 search results - page 152 / 865
» Callback Implementations in C
Sort
View
121
Voted
CONCURRENCY
1998
90views more  CONCURRENCY 1998»
15 years 3 months ago
Java RMI performance and object model interoperability: experiments with Java/HPC++
Java RMI provides an elegant and powerful model for invoking member functions on objects that exist in remote address spaces. Unfortunately, it is a Java-to-Java communication mod...
Fabian Breg, Shridhar Diwan, Juan E. Villacis, Jay...
146
Voted
MASS
2010
110views Communications» more  MASS 2010»
15 years 1 months ago
SpartanRPC: Secure WSN middleware for cooperating domains
In this paper we describe SpartanRPC, a secure middleware technology for wireless sensor network (WSN) applications supporting cooperation between distinct protection domains. The ...
Peter C. Chapin, Christian Skalka
122
Voted
MEMOCODE
2010
IEEE
15 years 1 months ago
LTSs for translation validation of (multi-clocked) SIGNAL specifications
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...
Julio C. Peralta, Thierry Gautier, Loïc Besna...
166
Voted
ISSTA
2012
ACM
13 years 6 months ago
Static memory leak detection using full-sparse value-flow analysis
We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent advances on sparse pointer analysis, Saber is the first to use a full-sparse va...
Yulei Sui, Ding Ye, Jingling Xue
134
Voted
ISVC
2009
Springer
15 years 10 months ago
Parallel Poisson Surface Reconstruction
In this work we describe a parallel implementation of the Poisson Surface Reconstruction algorithm based on multigrid domain decomposition. We compare implementations using differ...
Matthew Bolitho, Michael M. Kazhdan, Randal C. Bur...