CS Structure

About CS Structure | Search | Help  

 

Search Result

Search result :

Title:

Author:

Rajeev Alur

Year:

-

Key:

         

  • distributed system; shared memory; operating system; real-time system (167799) (77)
  •         model checking; petri nets; hybrid system; timed automata (32864) (62)
  •                 hybrid system; model checking; timed automata; temporal logic (13536) (60)
  •                         hybrid system; timed automata; duration calculus; hybrid automata (1956) (27)
  •                         timed automata; temporal logic; model checking; real-time system (2128) (15)
  •                         event system; supervisory control; discrete event; hybrid system (2137) (11)
  •                         message sequence; sequence charts; chart specification; mazurkiewicz traces (504) (5)
  •                         checking java; model checking; java pathfinder; checkable property (666) (1)
  •                         requirements engineering; requirements specification; non-functional requirements; software requirements (3119) (1)
  •                 software architecture; design pattern; distributed object; real-time corba (11051) (1)
  •                         action system; software architecture; group mutual; behavioural theory (1901) (1)
  •                 decision diagram; model checking; binary decision; symbolic model (2373) (1)
  •                         decision diagram; binary decision; bdd minimization; branching program (1371) (1)
  •         signature scheme; group communication; cryptographic protocol; security protocol (25536) (7)
  •                 group communication; failure detector; group membership; atomic broadcast (3483) (4)
  •                         group communication; failure detector; atomic broadcast; group membership (1502) (4)
  •                 security protocol; cryptographic protocol; authentication protocol; protocol analysis (2498) (3)
  •                         authentication protocol; security protocol; cryptographic protocol; probabilistic polynomial-time (1073) (3)
  •         shared memory; distributed shared; file system; parallel program (47328) (5)
  •                 shared memory; distributed shared; memory system; cache coherence (6942) (4)
  •                         memory consistency; consistency model; sequential consistency; simultaneous multithreaded (794) (4)
  •                 neural network; recurrent neural; interconnection network; parallel algorithm (13857) (1)
  •                         parallel algorithm; bsp model; parallel sorting; sorting algorithm (7360) (1)
  •         linear logic; garbage collection; mobile agent; term rewriting (32549) (3)
  •                 garbage collection; type inference; standard ml; garbage collector (7350) (3)
  •                         standard ml; type system; closure conversion; higher-order module (2698) (3)
  • neural network; genetic algorithm; finite element; mobile robot (222930) (1)
  •         reinforcement learning; mobile robot; markov decision; decision process (28443) (1)
  •                 constraint satisfaction; satisfaction problem; local search; random graph (2588) (1)
  •                         symmetry matrix; constraint satisfaction; set latin; clique problem (686) (1)