3931 search results - page 433 / 787 » Separation logic and abstraction |
206
click to vote
IV
2005
IEEE
16 years 19 days ago
2005
IEEE
Visualising large graphs faces the challenges of both data complexity and visual complexity. This paper presents a framework for visualising large graphs that reduces data complex...
163
click to vote
RTSS
2005
IEEE
16 years 19 days ago
2005
IEEE
The periodic resource model for hierarchical, compositional scheduling abstracts task groups by resource requirements. We study this model in the presence of dataflow constraints...
219
click to vote
CCS
2005
ACM
16 years 18 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
190
click to vote
ISCAS
2003
IEEE
16 years 10 days 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...
210
click to vote
HYBRID
2003
Springer
16 years 8 days ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...