Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Lawrence Rauchwerger
A Hybrid Approach to Proving Memory Reference Monotonicity
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Run-Time Methods for Parallelizing Partially Parallel Loops
Related publications
Interacting State Machines: A Stateful Approach to Proving Security
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A NoC-based Hybrid Message-Passing/Shared-Memory Approach to CMP Design
Microprocessors and Microsystems
Computer Networks
Hardware
Communications
Architecture
Artificial Intelligence
Software
Proving Atomicity: An Assertional Approach
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Determining the Distance to Monotonicity of a Biological Network: A Graph-Theoretical Approach
IET Systems Biology
Genetics
Cell Biology
Molecular Biology
Simulation
Modeling
Biotechnology
A Memory-Mapped Approach to Checkpointing
A Hybrid Approach to Feature Selection
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Basic-Systems Approach to Autobiographical Memory
Current Directions in Psychological Science
Developmental
Psychology
Educational Psychology
A Wavelet Lifting Approach to Long-Memory Estimation
Statistics and Computing
Statistics
Probability
Uncertainty
Mathematics
Computational Theory
Theoretical Computer Science
A Hybrid Approach to Bilingual Text-To-Phoneme Mapping
Facta universitatis - series: Electronics and Energetics