106 search results - page 4 / 22 » Slicing Abstractions |
TPHOL
2008
IEEE
14 years 1 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
MICCAI
2007
Springer
14 years 8 months ago
2007
Springer
Abstract. Recently, micro-rotation confocal microscopy has enabled the acquisition of a sequence of slices for a non-adherent living cells where the slices' positions are roug...
COMPSAC
1999
IEEE
13 years 11 months ago
1999
IEEE
As the complexity of software systems increases, so need for a good mechanism of abstraction. architecture design is an abstraction, hiding an immense amount of details about the ...
IFIP
2004
Springer
14 years 24 days ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
SIGCOMM
2012
ACM
11 years 10 months ago
2012
ACM
This paper presents the design, implementation and evaluation of Picasso, a novel radio design that allows simultaneous transmission and reception on separate and arbitrary spectr...