3552 search results - page 309 / 711 » Proof theory in the abstract |
296
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...
195
click to vote
COMSWARE
2006
IEEE
16 years 23 days ago
2006
IEEE
ing a middleware abstraction layer into wireless sensor networks is a widely accepted solution to facilitate application programming and allow network organization. In this paper,...
170
click to vote
ISCAS
2003
IEEE
15 years 12 months ago
2003
IEEE
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
164
click to vote
CAV
2009
Springer
15 years 10 months ago
2009
Springer
Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. The transformations should preserve the fu...
182
click to vote
PET
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Webs of trust constitute a decentralized infrastructure for establishing the authenticity of the binding between public keys and users and, more generally, trust relation...