800 search results - page 118 / 160 » Programming Models for Concurrency and Real-Time |
113
Voted
CONEXT
2006
ACM
15 years 10 months ago
2006
ACM
Abstract— In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even though the media p...
137
Voted
PPDP
2001
Springer
15 years 8 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
127
Voted
CAV
2008
Springer
15 years 5 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
141
click to vote
CONCURRENCY
2006
15 years 3 months ago
2006
: The next generation of scientific experiments and studies, popularly called e-Science, is carried out by large collaborations of researchers distributed around the world engaged ...
149
click to vote
CONCURRENCY
1998
15 years 3 months ago
1998
Titanium is a language and system for high-performance parallel scientific computing. Titanium uses Java as its base, thereby leveraging the advantages of that language and allow...