„Data Automata“

Suchergebnisse

475 Treffer

• State in Haskell
  Launchbury, John ; Peyton Jones, Simon L.
• An application of an OR-Parallel Prolog system to phylogenetic analysis
  Matsuda, Hideo ; Kaneda, Yukio
• CONSAT: A parallel constraint satisfaction system
  Ho, Kinson ; Guesgen, Hans W. ; Hilfinger, Paul N.
• Distributed data structures and algorithms for Gröbner basis computation
  Chakrabarti, Soumen ; Yelick, Katherine
• Temporal graph patterns by timed automata
  Aghasadeghi, Amir ; Bussche, Jan Van den ; Stoyanovich, Julia
• Careful synchronization of partial deterministic finite automata
  Shabana, Hanan ; Volkov, Mikhail V.
• Hyper-chaotic image encryption system based on N + 2 ring Joseph algorithm and reversible cellular automata
  Ma, Xiaojuan ; Wang, Chunhua
• Computational Divided Differencing and Divided-Difference Arithmetics
  Reps, Thomas W. ; Rall, Louis B.
• Program Synthesis from Formal Requirements Specifications Using APTS
  Leonard, Elizabeth I. ; Heitmeyer, Constance L.
• Dynamic Programming via Static Incrementalization
  Liu, Yanhong A. ; Stoller, Scott D.
• Universal Regular Path Queries
  de Moor, Oege ; Lacey, David ; Van Wyk, Eric
• Research Retrospective
  Paige, Bob
• Comparing Parallel Functional Languages: Programming and Performance
  Loidl, H.-W ; Rubio, F. ; Scaife, N. ; Hammond, K. ; Horiguchi, S. ; Klusik, U. ; Loogen, R. ; Michaelson, G.J ; Peña, R. ; Priebe, S. ; Rebón, Á.J ; Trinder, P.W
• Formal Foundations of Operational Semantics
  Ford, Jonathan ; Mason, Ian A.
• Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus
  Gørtz, Inge Li ; Reuss, Signe ; Sørensen, Morten Heine
• Automatic Generation of Staged Geometric Predicates
  Nanevski, Aleksandar ; Blelloch, Guy ; Harper, Robert
• Path Dependent Analysis of Logic Programs
  Lu, Lunjin
• Non-Standard Semantics for Program Slicing
  Giacobazzi, Roberto ; Mastroeni, Isabella
• Secure Information Flow via Linear Continuations
  Zdancewic, Steve ; Myers, Andrew C.
• Functional Geometry
  Henderson, Peter