CS Structure

About CS Structure | Search | Help  

 

Search Result

Search result :

Title:

Author:

Ken Kennedy

Year:

-

Key:

         

  • distributed system; shared memory; operating system; real-time system (167799) (149)
  •         shared memory; distributed shared; file system; parallel program (47328) (114)
  •                 program slicing; parallelizing compiler; dependence analysis; automatic data (7444) (68)
  •                         loop transformation; loop nests; data locality; vector architecture (1849) (25)
  •                         performance prediction; automatic data; data distribution; performance estimator (964) (22)
  •                         program slicing; dynamic slicing; program dependence; static slicing (1311) (12)
  •                         pointer analysis; points-to analysis; alias analysis; pointer aliasing (2863) (8)
  •                         standard linear; equation software; various computer; performance various (208) (1)
  •                 shared memory; distributed shared; memory system; cache coherence (6942) (30)
  •                         shared memory; distributed shared; memory system; software distributed (2431) (16)
  •                         task data; array redistribution; performance fortran; end smps (1215) (7)
  •                         memory consistency; consistency model; sequential consistency; simultaneous multithreaded (794) (3)
  •                         actor language; concurrent object-oriented; designing large; ambient synchronization (1185) (2)
  •                         shared virtual; virtual memory; memory cluster; shared memory (661) (2)
  •                 string matching; parallel job; job scheduling; approximate string (3926) (5)
  •                         page replacement; prefetching caching; parallel file; parallel prefetching (1497) (5)
  •                 software pipelining; modulo scheduling; register allocation; vliw architecture (1128) (3)
  •                         software pipelining; modulo scheduling; register allocation; vliw architecture (1128) (3)
  •                 computational grid; grid computing; data grid; grid environment (1953) (2)
  •                         computational grid; grid computing; data grid; grid environment (1953) (2)
  •                 file system; distributed file; disk array; storage system (4293) (2)
  •                         peer-to-peer system; interval routing; distributed hash; peer-to-peer network (1239) (1)
  •                         file system; log-structured file; storage system; power management (1437) (1)
  •                 branch prediction; value prediction; superscalar processor; trace cache (2087) (1)
  •                         branch prediction; branch predictors; branch history; static branch (637) (1)
  •                 neural network; recurrent neural; interconnection network; parallel algorithm (13857) (1)
  •                         recurrent neural; neural network; recurrent network; distributed representation (2172) (1)
  •                 task graph; pdcl pdcl; task scheduling; transformational design (1813) (1)
  •                         task graph; pdcl pdcl; task scheduling; static scheduling (1438) (1)
  •                 web caching; proxy cache; web cache; web proxy (1426) (1)
  •                         web navigation; collaborative filtering; www user; unix command (907) (1)
  •         linear logic; garbage collection; mobile agent; term rewriting (32549) (21)
  •                 garbage collection; type inference; standard ml; garbage collector (7350) (14)
  •                         standard ml; type system; closure conversion; higher-order module (2698) (6)
  •                         object-oriented language; type inference; constrained type; optimization java (1805) (4)
  •                         garbage collection; garbage collector; copying garbage; generational garbage (1584) (2)
  •                         nested datatypes; warm fusion; polytypic function; program transformation (904) (2)
  •                 linear logic; proof planning; type theory; proof nets (9635) (3)
  •                         logical framework; type theory; equivalence canonical; lf type (846) (2)
  •                         term rewriting; reverse engineering; process algebra; asf+sdf meta-environment (3823) (1)
  •                 partial evaluation; binding-time analysis; program specialization; multi-stage programming (1720) (2)
  •                         partial evaluation; program specialization; runtime specialization; self-sorting fft (1178) (2)
  •                 algorithmic skeleton; parallel functional; edge detection; parallel programming (2941) (1)
  •                         algorithmic skeleton; parallel functional; edge detection; parallel programming (2941) (1)
  •                 mobile agent; information flow; mobile process; secure information (5216) (1)
  •                         mobile agent; software agent; agent system; agent tcl (2784) (1)
  •         signature scheme; group communication; cryptographic protocol; security protocol (25536) (7)
  •                 signature scheme; secret sharing; discrete logarithm; elliptic curve (11825) (4)
  •                         dna computing; dna computation; splicing system; molecular computation (1457) (2)
  •                         secret sharing; sharing scheme; quorum system; byzantine quorum (2227) (2)
  •                 message logging; checkpointing protocol; logging protocol; optimistic message (1325) (1)
  •                         message logging; shadow paging; recovery distributed; concurrent shadow (1065) (1)
  •                 security protocol; cryptographic protocol; authentication protocol; protocol analysis (2498) (1)
  •                         authentication protocol; security protocol; cryptographic protocol; probabilistic polynomial-time (1073) (1)
  •                 orthogonal graph; graph drawing; orthogonal drawing; three-dimensional orthogonal (438) (1)
  •                         orthogonal graph; graph drawing; orthogonal drawing; three-dimensional orthogonal (438) (1)
  •         model checking; petri nets; hybrid system; timed automata (32864) (6)
  •                 design metric; software measurement; object-oriented software; software quality (1662) (2)
  •                         design metric; software measurement; object-oriented software; software quality (1662) (2)
  •                 hybrid system; model checking; timed automata; temporal logic (13536) (2)
  •                         event system; supervisory control; discrete event; hybrid system (2137) (1)
  •                         checking java; model checking; java pathfinder; checkable property (666) (1)
  •                 software architecture; design pattern; distributed object; real-time corba (11051) (2)
  •                         distributed object; design pattern; real-time corba; corba object (5735) (1)
  •                         aspect-oriented programming; use map; product lines; separation concerns (3183) (1)
  •         active network; programmable network; active networking; trust management (1341) (1)
  •                 active network; programmable network; active networking; trust management (1341) (1)
  •                         active network; programmable network; active networking; trust management (1341) (1)
  • neural network; genetic algorithm; finite element; mobile robot (222930) (103)
  •         neural network; genetic algorithm; genetic programming; support vector (71500) (47)
  •                 support vector; vector machine; association rule; data mining (19577) (17)
  •                         support vector; vector machine; neural network; gaussian process (10102) (8)
  •                         inductive logic; belief revision; logic programming; belief change (1477) (4)
  •                         association rule; data mining; knowledge discovery; mining association (4857) (3)
  •                         face recognition; active appearance; human face; appearance model (1567) (1)
  •                         model selection; minimax rate; individual sequence; minimum message (1246) (1)
  •                 genetic algorithm; genetic programming; using genetic; evolutionary algorithm (20108) (13)
  •                         genetic algorithm; evolutionary algorithm; using genetic; neural network (8888) (9)
  •                         genetic algorithm; multiobjective optimization; prisoner's dilemma; parallel genetic (2269) (2)
  •                         genetic programming; fitness causes; causes bloat; code growth (816) (1)
  •                         evolutionary robotic; analog vlsi; hopfield model; evolvable hardware (1829) (1)
  •                 information retrieval; latent semantic; text categorization; retrieval system (8716) (6)
  •                         information retrieval; latent semantic; text categorization; semantic indexing (7056) (6)
  •                 source separation; independent component; blind source; component analysis (6678) (4)
  •                         blind separation; natural gradient; source separation; multichannel blind (889) (3)
  •                         self-organizing map; feature map; neural network; self-organizing feature (2856) (1)
  •                 temporal synchrony; coupled neuromodules; working memory; emg control (2174) (4)
  •                         temporal synchrony; coupled neuromodules; working memory; emg control (2174) (4)
  •                 simulated annealing; bayesian network; bayesian optimization; learning bayesian (1796) (1)
  •                         simulated annealing; bayesian network; bayesian optimization; learning bayesian (1796) (1)
  •                 maximum entropy; information extraction; entropy model; penn treebank (1358) (1)
  •                         maximum entropy; information extraction; entropy model; penn treebank (1358) (1)
  •                 image reconstruction; speech recognition; random field; em algorithm (5547) (1)
  •                         image reconstruction; random field; em algorithm; markov random (4030) (1)
  •         finite element; element method; differential equation; domain decomposition (86056) (29)
  •                 eigenvalue problem; linear system; automatic differentiation; sparse matrix (10228) (8)
  •                         graph partitioning; mesh partitioning; load balancing; unstructured mesh (2065) (3)
  •                         linear system; krylov subspace; residual method; conjugate gradient (2919) (3)
  •                         model reduction; reduced-order modeling; reduced-order model; passive reduced-order (846) (1)
  •                         eigenvalue problem; relative perturbation; generalized eigenvalue; arnoldi method (2049) (1)
  •                 conservation law; level set; active contour; hyperbolic conservation (10768) (7)
  •                         conservation law; boltzmann equation; hyperbolic conservation; system conservation (4629) (7)
  •                 image compression; fractal image; image coding; fractal coding (4068) (3)
  •                         multiple description; fading channel; rayleigh fading; image transmission (1552) (3)
  •                 markov chain; queueing network; chain monte; ising model (5615) (2)
  •                         markov chain; chain monte; perfect simulation; perfect sampling (3300) (2)
  •                 collision detection; motion planning; voronoi diagram; point location (11624) (2)
  •                         collision detection; motion planning; path planning; binary space (8250) (2)
  •                 optical flow; motion estimation; gesture recognition; human motion (6393) (2)
  •                         data assimilation; kalman filter; error covariance; ensemble kalman (848) (1)
  •                         gesture recognition; human motion; optical flow; sign language (2809) (1)
  •                 finite element; element method; domain decomposition; wavelet transform (11783) (1)
  •                         joint signal; time-frequency analysis; time-frequency time-scale; time-selective signaling (1120) (1)
  •                 nonlinear system; feedback stabilization; control lyapunov; nonlinear control (1698) (1)
  •                         induction motors; adaptive robust; nonlinear system; sliding mode (855) (1)
  •                 semidefinite programming; interior point; interior-point method; semidefinite program (4996) (1)
  •                         semidefinite programming; interior point; interior-point method; algorithm semidefinite (3143) (1)
  •                 light field; ray tracing; facility location; implicit surface (10124) (1)
  •                         ray tracing; isosurface extraction; interactive ray; optimal isosurface (722) (1)
  •                 volume rendering; volume visualization; direct volume; parallel volume (1546) (1)
  •                         volume rendering; volume visualization; direct volume; volume data (1269) (1)
  •         multiuser detection; fading channel; multiuser receiver; cdma system (2893) (10)
  •                 multiuser detection; fading channel; multiuser receiver; cdma system (2410) (10)
  •                         fading channel; space-time code; space-time block; unitary space-time (1611) (10)
  •         logic program; description logic; object-oriented database; deductive database (27455) (9)
  •                 semistructured data; query language; object-oriented database; information source (5673) (4)
  •                         semistructured data; query language; xml data; semi-structured data (3062) (4)
  •                 description logic; modal logic; concept language; temporal description (3935) (2)
  •                         description logic; modal logic; concept language; using description (3198) (2)
  •                 data cube; data warehouses; multidimensional database; analytical processing (1530) (2)
  •                         data cube; data warehouses; multidimensional database; analytical processing (1530) (2)
  •                 logic program; logic programming; deductive database; nonmonotonic reasoning (7748) (1)
  •                         situation calculus; frame problem; reasoning action; event calculus (1153) (1)
  •         reinforcement learning; mobile robot; markov decision; decision process (28443) (8)
  •                 mobile robot; reinforcement learning; markov decision; decision process (15459) (6)
  •                         interactive system; usability evaluation; user interface; information-rich virtual (1411) (4)
  •                         mobile robot; robot navigation; particle filter; robot localization (3108) (1)
  •                         turbo code; belief propagation; iterative decoding; belief network (2556) (1)
  •                 combinatorial auctions; combinatorial auction; mechanism design; winner determination (2090) (1)
  •                         combinatorial auctions; combinatorial auction; mechanism design; winner determination (2090) (1)
  •                 hidden markov; markov model; mathematical expression; solar neutrino (2029) (1)
  •                         hidden markov; markov model; mathematical expression; solar neutrino (2029) (1)