A D-graph based approach for verifying response time of "critical" programs.
G. CantoneA. EspositoPublished in: Microprocessing and Microprogramming (1989)
Keyphrases
- response time
- scheduling algorithm
- prefetching
- graph representation
- query execution
- network latency
- storage space
- graph matching
- random walk
- directed acyclic graph
- weighted graph
- graph structure
- graph theory
- connected components
- bipartite graph
- graph model
- structured data
- computer programs
- graph theoretic
- graph data
- higher priority
- quality of service
- answer sets
- model checking
- neural network
- databases