Sciweavers

257 search results - page 25 / 52
» Destructors, finalizers, and synchronization
Sort
View
POPL
2009
ACM
16 years 24 days ago
Comparing the performance of concurrent linked-list implementations in Haskell
Haskell has a rich set of synchronization primitives for implemented-state concurrency abstractions, ranging from the very high level (Software Transactional Memory) to the very l...
Martin Sulzmann, Edmund S. L. Lam, Simon Marlow
CIBSE
2009
ACM
16 years 15 days ago
A two-level formal semantics for the QVT language
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
Roxana S. Giandini, Claudia Pons, Gabriela P&eacut...
NTMS
2008
IEEE
16 years 11 days ago
Architecture for Consuming Long-Lived Mobile Web Services over Multiple Transport Protocols
—The concept of Mobile Web Services (Mob-WS) is catching pace within research communities due to rapid classification of mobile devices enabling pervasive environments. A Web Se...
Fahad Aijaz, Seyed Mohammad Adeli, Bernhard Walke
IPPS
2007
IEEE
16 years 9 days ago
ESSTCP: Enhanced Spread-Spectrum TCP
Having stealth and lightweight authentication methods is empowering network administrators to shelter critical services from adversaries. Spread-Spectrum TCP (SSTCP) [1] is one of...
Amir R. Khakpour, Hakima Chaouchi
COORDINATION
2007
Springer
16 years 5 days ago
A Calculus for Mobile Ad Hoc Networks
We suggest a Calculus for Mobile Ad Hoc Networks, CMAN. A node in a network is a processes equipped with a location, it may communicate with other nodes using synchronous local bro...
Jens Chr. Godskesen