Sciweavers

1448 search results - page 161 / 290
» Restricted Stack Implementations
Sort
View
WORDS
2002
IEEE
14 years 25 days ago
Auction System Design Using Open Multithreaded Transactions
Open Multithreaded Transactions form an advanced transaction model that provides features for controlling and structuring not only accesses to objects, as usual in transaction sys...
Jörg Kienzle, Alfred Strohmeier, Alexander B....
GI
2009
Springer
14 years 16 days ago
Taming Selective Strictness
Abstract: Free theorems establish interesting properties of parametrically polymorphic functions, solely from their types, and serve as a nice proof tool. For pure and lazy functio...
Daniel Seidel, Janis Voigtländer
IFIP
2009
Springer
14 years 15 days ago
Secure Information Flow for Distributed Systems
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
Rafael Alpízar, Geoffrey Smith
ADAEUROPE
2001
Springer
14 years 13 days ago
Building Modern Distributed Systems
Abstract. Ada 95 has been the first standardized language to include distribution in the core language itself. However, the set of features required by the Distributed Systems Ann...
Laurent Pautet, Thomas Quinot, Samuel Tardieu
CC
2001
Springer
131views System Software» more  CC 2001»
14 years 13 days ago
Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications
Abstract. Efficient implementation of DSP applications are critical for embedded systems. However, current applications written in C, make extensive use of pointer arithmetic maki...
Björn Franke, Michael F. P. O'Boyle