System Landscape

Index: FTP Site

This FTP site is an incremental repository for the structured decomposition of complex systems. It functions as a persistent memory buffer for research at the intersection of algorithms, PL theory, and computer architecture.

Algorithm Design and Analysis

#algorithm-design   #cpp   #graph   #haskell   #heap

Architectural Synthesis and Digital Circuit Optimization

#digital-design   #HLS   #scheduling   #synthesis

Computer Architecture

#comp-arch   #memory-system

Domain Specific Language and Embedding

#PL-Theory   #type-system

Haskell

#haskell   #type-system

Model Checking

#formal   #formal-verification   #model-checking   #system-verification   #verification

Performance Analysis

#comp-arch   #cpi   #performance   #performance-analysis   #PMU