CS Structure

About CS Structure | Search | Help  

 

Search Result

Search result :

Title:

Author:

Randal E Bryant

Year:

-

Key:

         

  • distributed system; shared memory; operating system; real-time system (167799) (38)
  •         model checking; petri nets; hybrid system; timed automata (32864) (33)
  •                 decision diagram; model checking; binary decision; symbolic model (2373) (31)
  •                         decision diagram; binary decision; bdd minimization; branching program (1371) (23)
  •                         model checking; bounded model; defect level; symbolic model (814) (8)
  •                 hybrid system; model checking; timed automata; temporal logic (13536) (2)
  •                         checking java; model checking; java pathfinder; checkable property (666) (2)
  •         linear logic; garbage collection; mobile agent; term rewriting (32549) (2)
  •                 linear logic; proof planning; type theory; proof nets (9635) (2)
  •                         term rewriting; reverse engineering; process algebra; asf+sdf meta-environment (3823) (2)
  •         atm network; congestion control; quality service; admission control (22524) (1)
  •                 real-time system; hard real-time; admission control; atm network (7780) (1)
  •                         worst-case execution; execution time; real-time system; time analysis (1278) (1)
  •         signature scheme; group communication; cryptographic protocol; security protocol (25536) (1)
  •                 token circulation; sense direction; depth-first token; self-stabilizing distributed (782) (1)
  •                         sense direction; depth-first token; token circulation; self-stabilizing depth-first (240) (1)
  •         shared memory; distributed shared; file system; parallel program (47328) (1)
  •                 shared memory; distributed shared; memory system; cache coherence (6942) (1)
  •                         memory consistency; consistency model; sequential consistency; simultaneous multithreaded (794) (1)
  • neural network; genetic algorithm; finite element; mobile robot (222930) (2)
  •         reinforcement learning; mobile robot; markov decision; decision process (28443) (2)
  •                 project scheduling; case-based reasoning; ai planning; partial-order planning (4740) (2)
  •                         planning graph; planning satisfiability; heuristic planning; plan graph (1267) (2)