Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by P. Brisk

Optimal Register Sharing for High-Level Synthesis of SSA Form Programs

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
ElectricalSoftwareComputer GraphicsComputer-Aided DesignElectronic Engineering
2006English

Related publications

Optimal Register Reassignment for Register Stack Overflow Minimization

Transactions on Architecture and Code Optimization
HardwareInformation SystemsArchitectureSoftware
2006English

Perturbation Analysis of High Level Instrumentation for SPMD Programs

ACM SIGPLAN Notices
1993English

Formal Verification of Programs for Abstract Register Machines

Bulletin of the Novosibirsk Computing Center. Series:Computer Science
2013English

An Incremental Interpreter for High-Level Programs With Sensing

Artificial Intelligence
1999English

High Level Control Programs at NSLS

English

Efficient Alias Set Analysis Using SSA Form

2009English

Nonserial Dynamic Programming for Optimal Register Assignment

RAIRO - Operations Research
Management ScienceComputer Science ApplicationsOperations ResearchTheoretical Computer Science
1983English

Efficient Accommodation of May-Alias Information in SSA Form

1993English

Table 4: Optimal Crop Land Allocation by SSA.

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy