3573 search results - page 87 / 715 » Reasoning about Codata |
111
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
This text gives an overview about my current research in timing analysis
127
click to vote
IWCMC
2006
ACM
15 years 9 months ago
2006
ACM
Past research studying the operations of TCP over wireless/mobile ad hoc networks has shown that TCP cannot be adopted as-is for use in mobile ad hoc networks (MANET) to achieve r...
118
click to vote
GRID
2003
Springer
15 years 8 months ago
2003
Springer
Computational Grids have the potential to become the main execution platform for high performance and distributed applications. However, such systems are extremely complex and pro...
127
click to vote
CONCUR
2003
Springer
15 years 8 months ago
2003
Springer
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...
131
click to vote
CONCUR
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.