Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
197 | Vivek Sarkar, Kathleen Knobe |
Enabling Sparse Constant Propagation of Array Elements via Array SSA Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings, pp. 33-56, 1998, Springer, 3-540-65014-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
static single assignment (SSA) form, conditional constant propagation, Array SSA form, unreachable code elimination, constant propagation |
186 | Christopher Lapkowski, Laurie J. Hendren |
Extended SSA Numbering: Introducing SSA Properties to Language with Multi-level Pointers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 7th International Conference, CC'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 128-143, 1998, Springer, 3-540-64304-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
180 | Arthur Stoutchinin, Guang R. Gao |
If-Conversion in SSA Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2004 Parallel Processing, 10th International Euro-Par Conference, Pisa, Italy, August 31-September 3, 2004, Proceedings, pp. 336-345, 2004, Springer, 3-540-22924-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
147 | Christian Wimmer, Michael Franz |
Linear scan register allocation on SSA form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Proceedings of the CGO 2010, The 8th International Symposium on Code Generation and Optimization, Toronto, Ontario, Canada, April 24-28, 2010, pp. 170-179, 2010, ACM, 978-1-60558-635-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
SSA form deconstruction, lifetime analysis, linear scan, Java, register allocation, just-in-time compilation, SSA form |
142 | François de Ferrière |
Improvements to the Psi-SSA representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCOPES ![In: Proceedings of the 10th International Workshop on Software and Compilers for Embedded Systems, Nice, France, April 20, 2007, pp. 111-121, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
130 | Fernando Magno Quintão Pereira, Jens Palsberg |
SSA Elimination after Register Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 158-173, 2009, Springer, 978-3-642-00721-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
124 | Christopher Lapkowski, Laurie J. Hendren |
Extended SSA numbering: introducing SSA properties to languages with multi-level pointers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative Research, November 12-14, 1996, Toronto, Ontario, Canada, pp. 23, 1996, IBM. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
98 | Silvian Calman, Jianwen Zhu |
Interprocedural induction variable analysis based on interprocedural SSA form IR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'10, Toronto, Ontario, Canada, June 5-6, 2010, pp. 37-44, 2010, ACM, 978-1-4503-0082-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
induction variable analysis, interprocedural ssa, ssa |
93 | Fang Yu 0002, T. V. Lakshman, Martin Austin Motoyama, Randy H. Katz |
SSA: a power and memory efficient scheme to multi-match packet classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANCS ![In: Proceedings of the 2005 ACM/IEEE Symposium on Architecture for Networking and Communications Systems, ANCS 2005, Princeton, New Jersey, USA, October 16-18, 2005, pp. 105-113, 2005, ACM, 1-59593-082-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
multiple-match, packet classification, TCAM, energy-efficient design |
87 | Fang Yu 0002, T. V. Lakshman, Martin Austin Motoyama, Randy H. Katz |
Efficient Multimatch Packet Classification for Network Security Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 24(10), pp. 1805-1816, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
80 | Fernando Magno Quintão Pereira, Jens Palsberg |
Register Allocation After Classical SSA Elimination is NP-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings, pp. 79-93, 2006, Springer, 3-540-33045-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
74 | Ranjit Goswami, S. K. De, Biplab Datta |
Linguistic diversity and information poverty in South Asia and Sub-Saharan Africa. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Univers. Access Inf. Soc. ![In: Univers. Access Inf. Soc. 8(3), pp. 219-238, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Online content, Utility of information, Medium of content and native language, Information poverty, Information inequality, Linguistic diversity, South Asia, Sub-Saharan Africa |
74 | Yuan-Shin Hwang, Jia-Jhe Li |
Snug set-associative caches: Reducing leakage power of instruction and data caches with no performance penalties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Archit. Code Optim. ![In: ACM Trans. Archit. Code Optim. 4(1), pp. 6, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Caches, leakage power, drowsy caches, cache decay |
74 | Paul E. Black, Michael Kass |
Software security assurance tools, techniques and metrics (SSATTM). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, pp. 461, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
74 | Artour Stoutchinin, François de Ferrière |
Efficient static single assignment form for predication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 34th Annual International Symposium on Microarchitecture, Austin, Texas, USA, December 1-5, 2001, pp. 172-181, 2001, ACM/IEEE Computer Society, 0-7695-1369-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
74 | Jong-Deok Choi, Vivek Sarkar, Edith Schonberg |
Incremental Computation of Static Single Assignment Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 6th International Conference, CC'96, Linköping, Sweden, April 24-26, 1996, Proceedings, pp. 223-237, 1996, Springer, 3-540-61053-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
68 | Fabrice Rastello, François de Ferrière, Christophe Guillon |
Optimizing Translation Out of SSA Using Renaming Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: 2nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2004), 20-24 March 2004, San Jose, CA, USA, pp. 265-278, 2004, IEEE Computer Society, 0-7695-2102-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
65 | Lennart Beringer |
Functional Representations of SSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSA-based Compiler Design ![In: SSA-based Compiler Design, pp. 63-88, 2022, Springer, 978-3-030-80514-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
65 | Benoît Dupont de Dinechin |
SSA Form and Code Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSA-based Compiler Design ![In: SSA-based Compiler Design, pp. 243-256, 2022, Springer, 978-3-030-80514-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
65 | Pedro C. Diniz, Philip Brisk |
Hardware Compilation Using SSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSA-based Compiler Design ![In: SSA-based Compiler Design, pp. 329-345, 2022, Springer, 978-3-030-80514-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
65 | François de Ferrière |
Psi-SSA Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSA-based Compiler Design ![In: SSA-based Compiler Design, pp. 201-212, 2022, Springer, 978-3-030-80514-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
65 | Fabrice Rastello |
SSA Destruction for Machine Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSA-based Compiler Design ![In: SSA-based Compiler Design, pp. 285-302, 2022, Springer, 978-3-030-80514-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
65 | Florian Brandner, Diego Novillo |
Propagating Information Using SSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSA-based Compiler Design ![In: SSA-based Compiler Design, pp. 95-106, 2022, Springer, 978-3-030-80514-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
65 | Sebastian Hack |
SSA Reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSA-based Compiler Design ![In: SSA-based Compiler Design, pp. 55-62, 2022, Springer, 978-3-030-80514-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
65 | Massimiliano Mantione, Fred Chow |
Hashed SSA Form: HSSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSA-based Compiler Design ![In: SSA-based Compiler Design, pp. 213-225, 2022, Springer, 978-3-030-80514-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
65 | Vivek Sarkar, Kathleen Knobe, Stephen Fink |
Array SSA Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSA-based Compiler Design ![In: SSA-based Compiler Design, pp. 227-240, 2022, Springer, 978-3-030-80514-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
65 | Dibyendu Das 0005, Ramakrishna Upadrasta, Vugranam C. Sreedhar |
Advanced Construction Algorithms for SSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSA-based Compiler Design ![In: SSA-based Compiler Design, pp. 41-53, 2022, Springer, 978-3-030-80514-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
65 | Paul Biggar, David Gregg |
Building SSA in a Compiler for PHP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSA-based Compiler Design ![In: SSA-based Compiler Design, pp. 347-357, 2022, Springer, 978-3-030-80514-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
64 | Benoit Boissinot, Sebastian Hack, Daniel Grund, Benoît Dupont de Dinechin, Fabrice Rastello |
Fast liveness checking for ssa-form programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Sixth International Symposium on Code Generation and Optimization (CGO 2008), April 5-9, 2008, Boston, MA, USA, pp. 35-44, 2008, ACM, 978-1-59593-978-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
compilers, dominance, jit-compilation, ssa form, liveness analysis |
64 | Florent Bouchez, Alain Darte, Fabrice Rastello |
On the complexity of spill everywhere under SSA form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07), San Diego, California, USA, June 13-15, 2007, pp. 103-112, 2007, ACM, 978-1-59593-632-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
spill, complexity, register allocation, SSA form |
64 | Silvius Vasile Rus, Guobin He, Christophe Alias, Lawrence Rauchwerger |
Region array SSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACT ![In: 15th International Conference on Parallel Architectures and Compilation Techniques (PACT 2006), Seattle, Washington, USA, September 16-20, 2006, pp. 43-52, 2006, ACM, 1-59593-264-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
array SSA, parallelization, constant propagation |
64 | Vijay Menon 0002, Neal Glew, Brian R. Murphy, Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Leaf Petersen |
A verifiable SSA program representation for aggressive compiler optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, pp. 397-408, 2006, ACM, 1-59593-027-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
SSA formalization, check elimination, proof variables, safety dependences, typeability preservation, type systems, intermediate representations, typed intermediate languages |
62 | Yutaka Matsuno, Atsushi Ohori |
A type system equivalent to static single assignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy, pp. 249-260, 2006, ACM, 1-59593-388-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
type system, compiler optimization, static single assignment form |
62 | Allen Leung, Lal George |
Static Single Assignment Form for machine Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, USA, May 1-4, 1999, pp. 204-214, 1999, ACM, 1-58113-094-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
59 | Silvian Calman, Jianwen Zhu |
Increasing the Scope and Resolution of Interprocedural Static Single Assignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings, pp. 154-170, 2009, Springer, 978-3-642-03236-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
dataflow, constant propagation, SSA, interprocedural |
58 | Sebastian Hack, Gerhard Goos |
Copy coalescing by graph recoloring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 227-237, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
graph coloring, register allocation, ssa form |
56 | Wolfram Amme, Jeffery von Ronne, Michael Franz |
SSA-based mobile code: Implementation and empirical evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Archit. Code Optim. ![In: ACM Trans. Archit. Code Optim. 4(2), pp. 13, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
SafeTSA, Virtual machines, static single-assignment form |
56 | Sabine Glesner |
An ASM Semantics for SSA Intermediate Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings, pp. 144-160, 2004, Springer, 3-540-22094-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
56 | Fred C. Chow, Sun Chan, Robert Kennedy, Shin-Ming Liu, Raymond Lo, Peng Tu |
A New Algorithm for Partial Redundancy Elimination based on SSA Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), Las Vegas, Nevada, USA, June 15-18, 1997, pp. 273-286, 1997, ACM, 0-89791-907-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
56 | Fred C. Chow, Sun Chan, Shin-Ming Liu, Raymond Lo, Mark Streich |
Effective Representation of Aliases and Indirect Memory Operations in SSA Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 6th International Conference, CC'96, Linköping, Sweden, April 24-26, 1996, Proceedings, pp. 253-267, 1996, Springer, 3-540-61053-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Factoring dependences, Indirect memory operations, Value numbering, Aliasing, Hash tables, Program representation, Static single assignment |
53 | Seong-Uk Choi, Sung-Soon Park, Myong-Soon Park |
Scheduling of conditional branches using SSA form for superscalar/VLIW processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), June 3-6, 1996, Tokyo, Japan, Proceedings, pp. 344-351, 1996, IEEE Computer Society, 0-8186-7267-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
conditional branches scheduling, very long instruction word processors, compensation code, optimization, computational complexity, complexity, parallel architectures, processor scheduling, superscalar processors, instruction sets, instruction set, VLIW processors, code motion, global scheduling, conditional branches, SSA |
50 | Kyoko Fukuda |
Noise Reduction Approach for Decision Tree Construction: A Case Study of Knowledge Discovery on Climate and Air Pollution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIDM ![In: Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining, CIDM 2007, part of the IEEE Symposium Series on Computational Intelligence 2007, Honolulu, Hawaii, USA, 1-5 April 2007, pp. 697-704, 2007, IEEE, 1-4244-0705-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
50 | Hyoung-Il Lee, Seung-Woo Seo |
Matching output queueing with a multiple input/output-queued switch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 14(1), pp. 121-132, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
combined input/output-queued (CIOQ) switch, multiple input/output-queued (MIOQ) switch, output queueing emulation, parallel switching architecture |
50 | Gianfranco Bilardi, Keshav Pingali |
Algorithms for computing the static single assignment form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 50(3), pp. 375-425, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
program transformation, optimizing compilers, program optimization, Control dependence, static single assignment form |
50 | Zoran Budimlic, Keith D. Cooper, Timothy J. Harvey, Ken Kennedy, Timothy S. Oberg, Steven W. Reeves |
Fast Copy Coalescing and Live-Range Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Berlin, Germany, June 17-19, 2002, pp. 25-32, 2002, ACM, 1-58113-463-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
copy coalescing, live-range identification, code generation, register allocation, interference graph |
50 | Dhruva R. Chakrabarti, Prithviraj Banerjee |
Accurate Data and Context Management in Message-Passing Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 12th International Workshop, LCPC'99, La Jolla/San Diego, CA, USA, August 4-6, 1999, Proceedings, pp. 117-132, 1999, Springer, 3-540-67858-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
50 | Jean-Francois Collard |
The Advantages of Instance-Wise Reaching Definition Analyses in Array (S)SA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 11th International Workshop, LCPC'98, Chapel Hill, NC, USA, August 7-9, 1998, Proceedings, pp. 338-352, 1998, Springer, 3-540-66426-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
50 | Susanna Donatelli |
Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings, pp. 258-277, 1994, Springer, 3-540-58152-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
46 | Sebastian Pop, Albert Cohen 0001 |
Loop Tree and Induction Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSA-based Compiler Design ![In: SSA-based Compiler Design, pp. 123-133, 2022, Springer, 978-3-030-80514-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Benoit Boissinot, Fabrice Rastello |
Liveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSA-based Compiler Design ![In: SSA-based Compiler Design, pp. 107-122, 2022, Springer, 978-3-030-80514-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | James Stanier, Fabrice Rastello |
Graphs and Gating Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSA-based Compiler Design ![In: SSA-based Compiler Design, pp. 185-199, 2022, Springer, 978-3-030-80514-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Markus Schordan, Fabrice Rastello |
Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSA-based Compiler Design ![In: SSA-based Compiler Design, pp. 91-93, 2022, Springer, 978-3-030-80514-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Philip Brisk, Fabrice Rastello |
Properties and Flavours. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSA-based Compiler Design ![In: SSA-based Compiler Design, pp. 13-22, 2022, Springer, 978-3-030-80514-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Jeremy Singer |
Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSA-based Compiler Design ![In: SSA-based Compiler Design, pp. 3-12, 2022, Springer, 978-3-030-80514-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Fred Chow |
Redundancy Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSA-based Compiler Design ![In: SSA-based Compiler Design, pp. 135-153, 2022, Springer, 978-3-030-80514-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Dietmar Ebner, Andreas Krall, Bernhard Scholz |
Instruction Code Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSA-based Compiler Design ![In: SSA-based Compiler Design, pp. 257-268, 2022, Springer, 978-3-030-80514-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Vivek Sarkar, Fabrice Rastello |
Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSA-based Compiler Design ![In: SSA-based Compiler Design, pp. 157-163, 2022, Springer, 978-3-030-80514-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Jeremy Singer, Fabrice Rastello |
Standard Construction and Destruction Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSA-based Compiler Design ![In: SSA-based Compiler Design, pp. 23-39, 2022, Springer, 978-3-030-80514-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Christian Bruel |
If-Conversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSA-based Compiler Design ![In: SSA-based Compiler Design, pp. 269-283, 2022, Springer, 978-3-030-80514-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Florent Bouchez-Tichadou, Fabrice Rastello |
Register Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSA-based Compiler Design ![In: SSA-based Compiler Design, pp. 303-328, 2022, Springer, 978-3-030-80514-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Fernando Magno Quintão Pereira, Fabrice Rastello |
Static Single Information Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSA-based Compiler Design ![In: SSA-based Compiler Design, pp. 165-184, 2022, Springer, 978-3-030-80514-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Philip Brisk, Ajay Kumar Verma, Paolo Ienne |
An optimistic and conservative register assignment heuristic for chordal graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2007 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2007, Salzburg, Austria, September 30 - October 3, 2007, pp. 209-217, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
static single assignment (ssa) form, chordal graph, register assignment |
43 | Nomair A. Naeem, Ondrej Lhoták |
Efficient alias set analysis using SSA form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Proceedings of the 8th International Symposium on Memory Management, ISMM 2009, Dublin, Ireland, June 19-20, 2009, pp. 79-88, 2009, ACM, 978-1-60558-347-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
live variables, shape analysis, dominance, pointer analysis, dataflow analysis, alias analysis, static single assignment form |
43 | Dietmar Ebner, Florian Brandner, Bernhard Scholz, Andreas Krall, Peter Wiedermann, Albrecht Kadlec |
Generalized instruction selection using SSA-graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'08), Tucson, AZ, USA, June 12-13, 2008, pp. 31-40, 2008, ACM, 978-1-60558-104-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
pbqp, compiler, code generation, instruction selection |
43 | Prakash Prabhu, Priti Shankar |
Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings, pp. 110-127, 2008, Springer, 978-3-540-69163-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
43 | Matthias Jeschke, Roland Ewald |
Large-Scale Design Space Exploration of SSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology, 6th International Conference, CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings, pp. 211-230, 2008, Springer, 978-3-540-88561-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Stochastic Simulation Algorithms, Performance Evaluation |
43 | Jiu-Tao Nie, Xu Cheng 0001 |
An Efficient SSA-Based Algorithm for Complete Global Value Numbering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings, pp. 319-334, 2007, Springer, 978-3-540-76636-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
43 | Stefan Schäfer, Bernhard Scholz |
Optimal chain rule placement for instruction selection based on SSA graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCOPES ![In: Proceedings of the 10th International Workshop on Software and Compilers for Embedded Systems, Nice, France, April 20, 2007, pp. 91-100, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
43 | Philip Brisk, Foad Dabiri, Roozbeh Jafari, Majid Sarrafzadeh |
Optimal register sharing for high-level synthesis of SSA form programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(5), pp. 772-779, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
43 | Sebastian Hack, Daniel Grund, Gerhard Goos |
Register Allocation for Programs in SSA-Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings, pp. 247-262, 2006, Springer, 3-540-33050-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
43 | Silvius Vasile Rus, Guobin He, Lawrence Rauchwerger |
Scalable Array SSA and Array Data Flow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers, pp. 397-412, 2005, Springer, 978-3-540-69329-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Erik Eckstein, Oliver König, Bernhard Scholz |
Code Instruction Selection Based on SSA-Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCOPES ![In: Software and Compilers for Embedded Systems, 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings, pp. 49-65, 2003, Springer, 3-540-20145-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
43 | Jean-Francois Collard |
Array SSA for Explicitly Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31 - September 3, 1999, Proceedings, pp. 383-390, 1999, Springer, 3-540-66443-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
43 | A. V. S. Sastry, Roy Dz-Ching Ju |
A New Algorithm for Scalar Register Promotion based on SSA Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998, pp. 15-25, 1998, ACM, 0-89791-987-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
43 | Michael P. Gerlek, Eric Stoltz, Michael Wolfe |
Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-Driven SSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 17(1), pp. 85-122, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
def-use chain, wraparound variable, constant propagation, static single assignment, demand-driven, strength reduction, induction variable |
40 | Yue Ma 0004, Jean-Pierre Talpin, Thierry Gautier |
Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: 10th IEEE International Conference on Computer and Information Technology, CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010, pp. 2361-2366, 2010, IEEE Computer Society, 978-0-7695-4108-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
behavior annex, synchronous, AADL, SSA |
39 | Benoit Boissinot, Alain Darte, Fabrice Rastello, Benoît Dupont de Dinechin, Christophe Guillon |
Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Proceedings of the CGO 2009, The Seventh International Symposium on Code Generation and Optimization, Seattle, Washington, USA, March 22-25, 2009, pp. 114-125, 2009, IEEE Computer Society, 978-0-7695-3576-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Compilers, JIT-compilation, SSA form |
37 | Manuel Arenaz, Pedro Amoedo, Juan Touriño |
Efficiently Building the Gated Single Assignment Form in Codes with Pointers in Modern Optimizing Compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2008 - Parallel Processing, 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008, Proceedings, pp. 360-369, 2008, Springer, 978-3-540-85450-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Gee-Yong Park, Jang-Soo Lee, Se Woo Cheon, Kee-Choon Kwon, Eunkyoung Jee, Kwang Yong Koh |
Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007., pp. 148-161, 2007, Springer, 978-3-540-75100-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Software Safety Analysis, Software FTA, Software HAZOP, Function Block Diagram, Nuclear Reactor Protection System |
37 | Philip Brisk, Ajay Kumar Verma, Paolo Ienne |
Optimal polynomial-time interprocedural register allocation for high-level synthesis and ASIP design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2007 International Conference on Computer-Aided Design, ICCAD 2007, San Jose, CA, USA, November 5-8, 2007, pp. 172-179, 2007, IEEE Computer Society, 1-4244-1382-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Ki-Tae Kim, Je-Min Kim, Weon-Hee Yoo |
Dead Code Elimination in CTOC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007), August 20-22, 2007, Haeundae Grand Hotel, Busan, Korea, pp. 584-588, 2007, IEEE Computer Society, 0-7695-2867-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Simon Connelly, Peter A. Lindsay, Marcus Gallagher |
An agent based approach to examining shared situation awareness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand, pp. 138-147, 2007, IEEE Computer Society, 978-0-7695-2895-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Fang-Ming Shao, Xuemin Shen, Pin-Han Ho |
Reliability optimization of distributed access networks with constrained total cost. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 54(3), pp. 421-430, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Jeffrey S. Steinman |
The WarpIV Simulation Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADS ![In: 19th Workshop on Parallel and Distributed Simulation, PADS 20055, Monterey, CA, USA, June 1-3, 2005, pp. 161-170, 2005, IEEE Computer Society, 0-7695-2383-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Jia-Jhe Li, Yuan-Shin Hwang |
Snug set-associative caches: reducing leakage power while improving performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2005 International Symposium on Low Power Electronics and Design, 2005, San Diego, California, USA, August 8-10, 2005, pp. 345-350, 2005, ACM, 1-59593-137-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
leakage power, set-associative caches |
37 | Lipo Wang, Sa Li, Fuyu Tian, Xiuju Fu |
A noisy chaotic neural network for solving combinatorial optimization problems: stochastic chaotic simulated annealing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part B ![In: IEEE Trans. Syst. Man Cybern. Part B 34(5), pp. 2119-2125, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Francisco Javier Alonso 0001, José María Del Castillo, Publio Pintado |
An Automatic Filtering Procedure for Processing Biomechanical Kinematic Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBMDA ![In: Biological and Medical Data Analysis, 5th International Symposium, ISBMDA 2004, Barcelona, Spain, November 18-19, 2004, Proceedings, pp. 281-291, 2004, Springer, 3-540-23964-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Adam Kaplan, Philip Brisk, Ryan Kastner |
Data communication estimation and reduction for reconfigurable systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003, pp. 616-621, 2003, ACM, 1-58113-688-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Huaizhong Kou, Georges Gardarin |
Study of category score algorithms for k-NN classifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2002: Proceedings of the 25th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, August 11-15, 2002, Tampere, Finland, pp. 393-394, 2002, ACM, 1-58113-561-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
category score, document categorization, k-NN |
37 | Michele Bugliesi, Giuseppe Castagna |
Secure safe ambients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, London, UK, January 17-19, 2001, pp. 222-235, 2001, ACM, 1-58113-336-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
37 | Vugranam C. Sreedhar, Roy Dz-Ching Ju, David M. Gillies, Vatsa Santhanam |
Translating Out of Static Single Assignment Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings, pp. 194-210, 1999, Springer, 3-540-66459-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
37 | Harini Srinivasan, James Hook, Michael Wolfe |
Static Single Assignment for Explicitely Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, USA, January 1993, pp. 260-272, 1993, ACM Press, 0-89791-560-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
37 | Siddharth Bhat, Tobias Grosser |
Lambda the Ultimate SSA: Optimizing Functional Programs in SSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.07272, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
37 | Siddharth Bhat, Tobias Grosser |
Lambda the Ultimate SSA: Optimizing Functional Programs in SSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2022, Seoul, Korea, Republic of, April 2-6, 2022, pp. 1-11, 2022, IEEE, 978-1-6654-0584-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
37 | Mitchell Kirshner, David C. Gross |
Human-Computer Interaction for Space Situational Awareness (SSA): Towards the SSA Integrated Sensor Viewer (ISV). ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (10) ![In: Virtual, Augmented and Mixed Reality. Applications and Case Studies - 11th International Conference, VAMR 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part II, pp. 504-515, 2019, Springer, 978-3-030-21564-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Michel C. R. Leles, João Pedro H. Sansão, Leonardo A. Mozelli, Homero N. Guimarães |
A new algorithm in singular spectrum analysis framework: The Overlap-SSA (ov-SSA). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftwareX ![In: SoftwareX 8, pp. 26-32, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
37 | Quentin Colombet |
Decoupled (SSA-based) register allocators : from theory to practice, coping with just-in-time compilation and embedded processors constraints. (Allocation de registres découplée (basée sur la formulation SSA) : De la théorie à la pratique, faire face aux contraintes liées à la compilation juste à temps et aux processeurs embarqués). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
34 | Fang-Yie Leu, Jia-Chun Lin, Ming-Chang Li, Chao-Tung Yang |
A Performance-Based Grid Intrusion Detection System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume 1, pp. 525-530, 2005, IEEE Computer Society, 0-7695-2413-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
PGIDS, Grid, DoS, DDoS, SSA, BPNN, SAA |
33 | Dietmar Ebner, Bernhard Scholz, Andreas Krall |
Progressive spill code placement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2009 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2009, Grenoble, France, October 11-16, 2009, pp. 77-86, 2009, ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
constrained min-cut, spilling, register allocation, SSA form |
33 | Lei Huang 0006, Deepak Eachempati, Marcus W. Hervey, Barbara M. Chapman |
Exploiting global optimizations for openmp programs in the openuh compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2009, Raleigh, NC, USA, February 14-18, 2009, pp. 289-290, 2009, ACM, 978-1-60558-397-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
parallel ssa, openmp, compiler analysis |