1159 search results - page 196 / 232 » Adding Concurrency to a Programming Language |
CCS
2004
ACM
14 years 1 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
CCGRID
2006
IEEE
13 years 11 months ago
2006
IEEE
Our current research into programming models for parallel web services composition is targeted at providing mechanisms for obtaining higher throughput for large scale compute and ...
HPDC
2008
IEEE
14 years 2 months ago
2008
IEEE
The emergence of heterogeneous many core architectures presents a unique opportunity for delivering order of magnitude performance increases to high performance applications by ma...
FCCM
2007
IEEE
14 years 2 months ago
2007
IEEE
Programming efficiency of heterogeneous concurrent systems is limited by the use of lock-based synchronization mechanisms. Transactional memories can greatly improve the programmi...
RTSS
2007
IEEE
14 years 1 months ago
2007
IEEE
Creating robust real-time embedded software is critical in combining the physical world with computing, such as in consumer electronics or robotics. One challenge is the complexit...