153 search results - page 28 / 31 » Independence and Concurrent Separation Logic |
104
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
We propose a novel framework for multi-source video streaming in peer-to-peer (P2P) networks. Multiple videos are distributed to all requesting peers exploiting full collaboration...
137
Voted
ICSE
2000
IEEE-ACM
15 years 7 months ago
2000
IEEE-ACM
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
138
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...
150
click to vote
ICCAD
2008
IEEE
16 years 16 days ago
2008
IEEE
—We are developing a framework for computation with biochemical reactions with a focus on synthesizing specific logical functionality, a task analogous to technology-independent...
138
Voted
USENIX
2008
15 years 6 months ago
2008
zation is a well-known method of abstracting physical resources and of separating the manipulation and use of logical resources from their underlying implementation. We have used ...