1154 search results - page 58 / 231 » Mathematizing C concurrency |
99
Voted
SIAMJO
2008
15 years 15 days ago
2008
We consider a rather general class of mathematical programming problems with data uncertainty, where the uncertainty set is represented by a system of convex inequalities. We prove...
93
Voted
VSTTE
2005
Springer
15 years 6 months ago
2005
Springer
After some general remarks about program verification, we introduce separation logic, a novel extension of Hoare logic that can strengthen the applicability and scalability of pro...
102
Voted
LPNMR
2009
Springer
15 years 5 months ago
2009
Springer
We present a formal framework where the action description language C+ is used to provide multiple robots with high-level reasoning in the style of cognitive robotics. We show the ...
76
Voted
ASYNC
2000
IEEE
15 years 5 months ago
2000
IEEE
The following pages contain the final version for a chapter in the book Advances in Concurrency and Hardware Design (ACHD), to be published by Springer-Verlag in 2002. The editor...
108
Voted
APSEC
2001
IEEE
15 years 4 months ago
2001
IEEE
This paper presents a formalisation of the steamboiler problem using Circus, a unified theory of the formal specification languages Z and CSP. The aim of Circus is to provide powe...