search result

Cover von Interprocedural symbolic analysis
Author: Havlak, Paul Search for this author
Year: 1994
Publisher: Houston, University
Series: Rice COMP TR; 94-228
Media group: DISSERTATION
Cover von The architecture of eNVy, a non-volatile, main memory storage system
Author: Wu, Michael Search for this author
Year: 1994
Publisher: Houston, University
Series: Rice COMP TR; 94-229
Media group: DISSERTATION
Cover von Models of control and their implications for programming language design
Author: Sitaram, Dorai Search for this author
Year: 1994
Publisher: Houston, University
Series: Rice COMP TR; 94-233
Media group: DISSERTATION
Cover von Practical soft typing
Author: Wright, Andrew K. Search for this author
Year: 1994
Publisher: Houston, University
Series: Rice COMP TR; 94-236
Media group: DISSERTATION
Cover von A massively parallel numerical ordinary differential equation solver
Author: Sveinsson, Sveinn Search for this author
Year: 1989
Publisher: Boston, University
Series: BU-CS TR; 89-007
Media group: DISSERTATION
Cover von Lexical modeling in a speaker independent speech understanding system
Author: Wooters, Charles Clayton Search for this author
Year: 1993
Publisher: Berkeley, ICSI
Series: TR ICSI - International Computer Science Institute / Berkeley; 93-068
Media group: DISSERTATION
Cover von A parallel object-oriented system for realizing reusable and efficient data abstractions
Author: Lim, Chu-Cheow Search for this author
Year: 1993
Publisher: Berkeley, ICSI
Series: TR ICSI - International Computer Science Institute / Berkeley; 93-063
Media group: DISSERTATION
Cover von EVA

EVA

An EVent Algebra Supporting Adaptivity and Collaboration in Event-Based Systems
Search for this author
Year: 2009
Publisher: Berkeley, ICSI
Series: TR ICSI - International Computer Science Institute / Berkeley; 09-006
Media group: TECHNICAL REPORT
Cover von A note on Graph Automorphism and Smart Reductions
Search for this author
Year: 2018
Publisher: Rehovot, Electronic Colloquium on Computational Complexity
Series: Electronic Colloquium on Computational Complexity; Revision #1 to TR15-162
Media group: ARTICLE
Cover von Parameterized Complexity of Small Weight Automorphisms
14 pp.
Search for this author
Year: 2016
Publisher: Potsdam, Electronic Colloquium on Computational Complexity
Series: Electronic colloquium on computational complexity; TR16-157
Media group: TECHNICAL REPORT
OPEN V 11.1.0.0