CS Structure

About CS Structure | Search | Help  

 

Search Result

Search result :

Title:

Author:

M Frans Kaashoek

Year:

-

Key:

         

  • distributed system; shared memory; operating system; real-time system (167799) (123)
  •         shared memory; distributed shared; file system; parallel program (47328) (58)
  •                 shared memory; distributed shared; memory system; cache coherence (6942) (28)
  •                         shared memory; distributed shared; memory system; software distributed (2431) (20)
  •                         shared virtual; virtual memory; memory cluster; shared memory (661) (4)
  •                         task data; array redistribution; performance fortran; end smps (1215) (2)
  •                         memory consistency; consistency model; sequential consistency; simultaneous multithreaded (794) (1)
  •                         actor language; concurrent object-oriented; designing large; ambient synchronization (1185) (1)
  •                 file system; distributed file; disk array; storage system (4293) (24)
  •                         peer-to-peer system; interval routing; distributed hash; peer-to-peer network (1239) (16)
  •                         file system; log-structured file; storage system; power management (1437) (6)
  •                         file system; distributed file; disk array; cooperative caching (1617) (2)
  •                 branch prediction; value prediction; superscalar processor; trace cache (2087) (5)
  •                         value prediction; superscalar processor; value locality; trace cache (1450) (3)
  •                         branch prediction; branch predictors; branch history; static branch (637) (2)
  •                 web caching; proxy cache; web cache; web proxy (1426) (1)
  •                         web caching; web cache; proxy cache; web proxy (519) (1)
  •         linear logic; garbage collection; mobile agent; term rewriting (32549) (19)
  •                 mobile agent; information flow; mobile process; secure information (5216) (16)
  •                         proof-carrying code; array bound; proof linking; enforceable security (1084) (10)
  •                         mobile agent; software agent; agent system; agent tcl (2784) (6)
  •                 garbage collection; type inference; standard ml; garbage collector (7350) (1)
  •                         object-oriented language; type inference; constrained type; optimization java (1805) (1)
  •                 partial evaluation; binding-time analysis; program specialization; multi-stage programming (1720) (1)
  •                         multi-stage programming; partial evaluation; type-directed partial; binding-time analysis (542) (1)
  •                 linear logic; proof planning; type theory; proof nets (9635) (1)
  •                         term rewriting; reverse engineering; process algebra; asf+sdf meta-environment (3823) (1)
  •         signature scheme; group communication; cryptographic protocol; security protocol (25536) (18)
  •                 signature scheme; secret sharing; discrete logarithm; elliptic curve (11825) (9)
  •                         secret sharing; sharing scheme; quorum system; byzantine quorum (2227) (8)
  •                         signature scheme; zero-knowledge proof; zero knowledge; oblivious transfer (2818) (1)
  •                 group communication; failure detector; group membership; atomic broadcast (3483) (6)
  •                         global predicates; detection global; predicates distributed; distributed computation (1329) (3)
  •                         group communication; failure detector; atomic broadcast; group membership (1502) (2)
  •                         p e; m p; e j; group communication (652) (1)
  •                 message logging; checkpointing protocol; logging protocol; optimistic message (1325) (3)
  •                         message logging; shadow paging; recovery distributed; concurrent shadow (1065) (3)
  •         atm network; congestion control; quality service; admission control (22524) (15)
  •                 congestion control; differentiated service; reliable multicast; atm network (12723) (7)
  •                         network traffic; internet traffic; fault injection; wide-area tcp (2018) (4)
  •                         congestion control; differentiated service; flow control; queue management (7585) (3)
  •                 operating system; proportional share; ip traceback; web server (1341) (6)
  •                         operating system; proportional share; ip traceback; web server (1341) (6)
  •                 tamu security; intruders academic; package ongoing; response internet (680) (1)
  •                         tamu security; intruders academic; package ongoing; response internet (680) (1)
  •                 real-time system; hard real-time; admission control; atm network (7780) (1)
  •                         distributed multimedia; timed token; orchestration service; token protocol (753) (1)
  •         model checking; petri nets; hybrid system; timed automata (32864) (5)
  •                 software architecture; design pattern; distributed object; real-time corba (11051) (3)
  •                         distributed object; design pattern; real-time corba; corba object (5735) (1)
  •                         aspect-oriented programming; use map; product lines; separation concerns (3183) (1)
  •                         action system; software architecture; group mutual; behavioural theory (1901) (1)
  •                 ubiquitous computing; tangible interface; wearable computing; augmented reality (2203) (2)
  •                         ubiquitous computing; wearable computing; wearable computer; handoff blocking (1342) (2)
  •         active network; programmable network; active networking; trust management (1341) (4)
  •                 active network; programmable network; active networking; trust management (1341) (4)
  •                         active network; programmable network; active networking; trust management (1341) (4)
  •         voltage scaling; dynamic voltage; energy consumption; power management (562) (3)
  •                 voltage scaling; dynamic voltage; energy consumption; power management (562) (3)
  •                         dynamic voltage; voltage scaling; energy consumption; power management (562) (3)
  •         hoc network; mobile hoc; routing protocol; wireless network (2323) (1)
  •                 hoc network; mobile hoc; routing protocol; wireless network (2323) (1)
  •                         hoc network; mobile hoc; routing protocol; wireless network (1106) (1)
  • neural network; genetic algorithm; finite element; mobile robot (222930) (1)
  •         finite element; element method; differential equation; domain decomposition (86056) (1)
  •                 light field; ray tracing; facility location; implicit surface (10124) (1)
  •                         subdivision surface; evaluation catmull-clark; dsp multimedia; arbitrary parameter (405) (1)