208 search results - page 16 / 42 » Highly dependable concurrent programming using design for ve... |
HICSS
1997
IEEE
14 years 24 days ago
1997
IEEE
One model of multithreading gaining popularity on multiprocessor systems is the message-driven model of computation. The message-driven model is a reactive model in which an arriv...
EDBT
2008
ACM
14 years 8 months ago
2008
ACM
Schema mapping algorithms rely on value correspondences ? i.e., correspondences among semantically related attributes ? to produce complex transformations among data sources. Thes...
POPL
2001
ACM
14 years 9 months ago
2001
ACM
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
PPOPP
2006
ACM
14 years 2 months ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
ICSE
2004
IEEE-ACM
14 years 8 months ago
2004
IEEE-ACM
The deployment of software components frequently fails because dependencies on other components are not declared explicitly or are declared imprecisely. This results in an incompl...