796 search results - page 60 / 160 » An Overview of Separation Logic |
111
Voted
DSD
2009
IEEE
15 years 4 months ago
2009
IEEE
Todays NoCs are reaching a level where it is getting very hard to ensure 100% of functionality. Consequently, fault tolerance has become an important aspect in todays design techn...
118
Voted
DAGSTUHL
2004
15 years 2 months ago
2004
In the last years we have developed a platform for the realization of embodied (conversational) agents, in a distributed logic programming framework. In this paper we will present...
104
click to vote
HOTOS
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we propose FLUXO, a system that separates an Internet service's logical functionality from the architectural decisions made to support performance, scalability...
96
Voted
JSW
2008
15 years 19 days ago
2008
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...
115
click to vote
TGC
2010
Springer
14 years 10 months ago
2010
Springer
Recent work in resource analysis has translated the idea of amortised resource analysis to imperative languages using a program logic that allows mixing of assertions about heap sh...