CS Structure

About CS Structure | Search | Help  

 

Search Result

Search result :

Title:

Author:

Thomas A Henzinger

Year:

-

Key:

         

  • distributed system; shared memory; operating system; real-time system (167799) (107)
  •         model checking; petri nets; hybrid system; timed automata (32864) (97)
  •                 hybrid system; model checking; timed automata; temporal logic (13536) (89)
  •                         hybrid system; timed automata; duration calculus; hybrid automata (1956) (40)
  •                         timed automata; temporal logic; model checking; real-time system (2128) (24)
  •                         event system; supervisory control; discrete event; hybrid system (2137) (24)
  •                         checking java; model checking; java pathfinder; checkable property (666) (1)
  •                 decision diagram; model checking; binary decision; symbolic model (2373) (6)
  •                         model checking; bounded model; defect level; symbolic model (814) (4)
  •                         ctl model; directed state; method fsm; incremental verification (188) (1)
  •                         decision diagram; binary decision; bdd minimization; branching program (1371) (1)
  •                 software architecture; design pattern; distributed object; real-time corba (11051) (2)
  •                         action system; software architecture; group mutual; behavioural theory (1901) (1)
  •                         embedded corba; corba bus; real-time corba; service large-scale (232) (1)
  •         signature scheme; group communication; cryptographic protocol; security protocol (25536) (5)
  •                 security protocol; cryptographic protocol; authentication protocol; protocol analysis (2498) (3)
  •                         authentication protocol; security protocol; cryptographic protocol; probabilistic polynomial-time (1073) (3)
  •                 group communication; failure detector; group membership; atomic broadcast (3483) (1)
  •                         group communication; failure detector; atomic broadcast; group membership (1502) (1)
  •                 signature scheme; secret sharing; discrete logarithm; elliptic curve (11825) (1)
  •                         secret sharing; sharing scheme; quorum system; byzantine quorum (2227) (1)
  •         atm network; congestion control; quality service; admission control (22524) (3)
  •                 real-time system; hard real-time; admission control; atm network (7780) (3)
  •                         worst-case execution; execution time; real-time system; time analysis (1278) (3)
  •         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)
  •         linear logic; garbage collection; mobile agent; term rewriting (32549) (1)
  •                 rewriting logic; functional logic; chu space; explicit substitution (4198) (1)
  •                         rewriting logic; stable homotopy; reduction system; expression reduction (2826) (1)
  • 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)