|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 7 keywords
|
|
|
|
|
Results
Found 92 publication records. Showing 91 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jianmei Guo, Jia Hui Liang, Kai Shi 0006, Dingyu Yang, Jingsong Zhang, Krzysztof Czarnecki, Vijay Ganesh, Huiqun Yu |
SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines.  |
Software and Systems Modeling  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Curtis Bright, Ilias Kotsireas, Albert Heinle, Vijay Ganesh |
Complex Golay Pairs up to Length 28: A Search via Computer Algebra and Programmatic SAT. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Curtis Bright, Ilias Kotsireas, Vijay Ganesh |
SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Curtis Bright, Dragomir Z. Dokovic, Ilias Kotsireas, Vijay Ganesh |
The SAT+CAS Method for Combinatorial Search with Applications to Best Matrices. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | William Zhang, Sebastian Banescu, Leodardo Pasos, Steven T. Stewart, Vijay Ganesh |
MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Curtis Bright, Jürgen Gerhard, Ilias Kotsireas, Vijay Ganesh |
Effective problem solving using SAT solvers. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Curtis Bright, Ilias Kotsireas, Vijay Ganesh |
New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Yannik Potdevin, Dirk Nowotka, Vijay Ganesh |
An Empirical Investigation of Randomized Defenses against Adversarial Attacks. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Hari Govind V. K., Yakir Vizel, Vijay Ganesh, Arie Gurfinkel |
Interpolating Strong Induction. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Hari Govind Vediramana Krishnan, Yakir Vizel, Vijay Ganesh, Arie Gurfinkel |
Interpolating Strong Induction. |
CAV (2) |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Reza Babaee, Vijay Ganesh, Sean Sedwards |
Accelerated Learning of Predictive Runtime Monitors for Rare Failure. |
RV |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Curtis Bright, Dragomir Z. Ðokovic, Ilias Kotsireas, Vijay Ganesh |
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples. |
AAAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Kiezun, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, Vijay Ganesh |
Theory and practice of string solvers (invited talk abstract). |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Curtis Bright, Ilias Kotsireas, Vijay Ganesh |
The SAT+CAS paradigm and the Williamson conjecture. |
ACM Comm. Computer Algebra |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh |
Applying Computer Algebra Systems and SAT Solvers to the Williamson Conjecture. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh |
Enumeration of Complex Golay Pairs via Programmatic SAT. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Curtis Bright, Dragomir Z. Djokovic, Ilias S. Kotsireas, Vijay Ganesh |
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka |
The Satisfiability of Extended Word Equations: The Boundary Between Decidability and Undecidability. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Robert Robere, Antonina Kolokolova, Vijay Ganesh |
The Proof Complexity of SMT Solvers. |
CAV (2) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Blotsky, Federico Mora, Murphy Berzish, Yunhui Zheng, Ifaz Kabir, Vijay Ganesh |
StringFuzz: A Fuzzer for String Solvers. |
CAV (2) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh |
A SAT+CAS Method for Enumerating Williamson Matrices of Even Order. |
AAAI |
2018 |
DBLP BibTeX RDF |
|
| 1 | Zack Newsham, Vijay Ganesh, Sebastian Fischmeister |
Predicting SAT Solver Performance on Heterogeneous Hardware. |
POS@SAT |
2018 |
DBLP BibTeX RDF |
|
| 1 | Jia Hui Liang, Chanseok Oh, Minu Mathew, Ciza Thomas, Chunxiao Li, Vijay Ganesh |
Machine Learning-Based Restart Policy for CDCL SAT Solvers. |
SAT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh |
The Effect of Structural Measures and Merges on SAT Solver Performance. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh |
Learning-Sensitive Backdoors with Restarts. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Saeed Nejati, Jan Horácek, Catherine H. Gebotys, Vijay Ganesh |
Algebraic Fault Attack on SHA Hash Functions Using Programmatic SAT Solvers. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka |
The Satisfiability of Word Equations: Decidable and Undecidable Theories. |
RP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia Liang, Hari Govind V. K., Pascal Poupart, Krzysztof Czarnecki, Vijay Ganesh |
An Empirical Study of Branching Heuristics through the Lens of Global Learning Rate. |
IJCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh |
Enumeration of Complex Golay Pairs via Programmatic SAT. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Murphy Berzish, Julian Dolby, Xiangyu Zhang 0001 |
Z3str2: an efficient solver for strings, regular expressions, and length constraints. |
Formal Methods in System Design |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Ochoa, Sebastian Banescu, Cynthia Disenfeld, Gilles Barthe, Vijay Ganesh |
Reasoning about Probabilistic Defense Mechanisms against Remote Attacks. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Liang, Krzysztof Czarnecki, Vijay Ganesh |
Relating Complexity-theoretic Parameters with SAT Solver Performance. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Murphy Berzish, Yunhui Zheng, Vijay Ganesh |
Z3str3: A String Solver with Theory-aware Branching. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Edward Zulkoski, Curtis Bright, Albert Heinle, Ilias S. Kotsireas, Krzysztof Czarnecki, Vijay Ganesh |
Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures. |
J. Autom. Reasoning |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Saeed Nejati, Jia Hui Liang, Catherine H. Gebotys, Krzysztof Czarnecki, Vijay Ganesh |
Adaptive Restart and CEGAR-Based Solver for Inverting Cryptographic Hash Functions. |
VSTTE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Ochoa, Sebastian Banescu, Cynthia Disenfeld, Gilles Barthe, Vijay Ganesh |
Reasoning about Probabilistic Defense Mechanisms against Remote Attacks. |
EuroS&P |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler |
SC-square: when Satisfiability Checking and Symbolic Computation join forces. |
ARCADE@CADE |
2017 |
DBLP BibTeX RDF |
|
| 1 | Jia Hui Liang, Hari Govind V. K., Pascal Poupart, Krzysztof Czarnecki, Vijay Ganesh |
An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Saeed Nejati, Zack Newsham, Joseph Scott, Jia Hui Liang, Catherine H. Gebotys, Pascal Poupart, Vijay Ganesh |
A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Murphy Berzish, Vijay Ganesh, Yunhui Zheng |
Z3str3: A string solver with theory-aware heuristics. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanu Subramanian, Murphy Berzish, Vijay Ganesh, Omer Tripp |
A solver for a theory of string and bit-vectors. |
ICSE (Companion Volume) |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew England, Vijay Ganesh |
Preface. |
SC²@ISSAC |
2017 |
DBLP BibTeX RDF |
|
| 1 | Matthew England, Vijay Ganesh (eds.) |
Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), Kaiserslautern, Germany, July 29, 2017. |
SC²@ISSAC |
2017 |
DBLP BibTeX RDF |
|
| 1 | Vijay Ganesh, Murphy Berzish |
Undecidability of a Theory of Strings, Linear Arithmetic over Length, and String-Number Conversion. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Saeed Nejati, Jia Hui Liang, Vijay Ganesh, Catherine H. Gebotys, Krzysztof Czarnecki |
Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Sanu Subramanian, Murphy Berzish, Yunhui Zheng, Omer Tripp, Vijay Ganesh |
A Solver for a Theory of Strings and Bit-vectors. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Steven T. Stewart, Derek Rayside, Vijay Ganesh, Krzysztof Czarnecki |
Accelerating the General Simplex Procedure for Linear Real Arithmetic via GPUs. |
VSTTE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia Hui Liang, Vijay Ganesh, Pascal Poupart, Krzysztof Czarnecki |
Exponential Recency Weighted Average Branching Heuristic for SAT Solvers. |
AAAI |
2016 |
DBLP BibTeX RDF |
|
| 1 | Jia Hui Liang, Vijay Ganesh, Pascal Poupart, Krzysztof Czarnecki |
Learning Rate Based Branching Heuristic for SAT Solvers. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki |
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. |
SC²@SYNASC |
2016 |
DBLP BibTeX RDF |
|
| 1 | Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki |
MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. |
IJCAI |
2016 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Banescu, Christian S. Collberg, Vijay Ganesh, Zack Newsham, Alexander Pretschner |
Code obfuscation against symbolic execution attacks. |
ACSAC |
2016 |
DBLP BibTeX RDF |
|
| 1 | Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki |
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. |
CASC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Murphy Berzish, Asif Khan, Atulan Zaman, Vijay Ganesh, Derek Rayside |
Manifold: an SMT-based declarative language for electronic and microfluidic design synthesis. |
CASCON |
2016 |
DBLP BibTeX RDF |
|
| 1 | Riyad Parvez, Paul A. S. Ward, Vijay Ganesh |
Combining static analysis and targeted symbolic execution for scalable bug-finding in application binaries. |
CASCON |
2016 |
DBLP BibTeX RDF |
|
| 1 | Armin Biere, Vijay Ganesh, Martin Grohe, Jakob Nordström, Ryan Williams 0001 |
Theory and Practice of SAT Solving (Dagstuhl Seminar 15171). |
Dagstuhl Reports |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia Hui (Jimmy) Liang, Vijay Ganesh, Ed Zulkoski, Atulan Zaman, Krzysztof Czarnecki |
Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Vijay Ganesh, Sebastian Banescu, Martín Ochoa |
The Meaning of Attack-Resistant Programs. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Jia Hui (Jimmy) Liang, Vijay Ganesh, Venkatesh Raman 0001, Krzysztof Czarnecki |
SAT-based Analysis of Large Real-world Feature Models is Easy. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Julian Dolby, Xiangyu Zhang 0001 |
Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints. |
CAV (1) |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay Ganesh, Sebastian Banescu, Martín Ochoa |
Short Paper: The Meaning of Attack-Resistant Systems. |
PLAS@ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki |
MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. |
CADE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Zack Newsham, William Lindsay, Vijay Ganesh, Jia Hui Liang, Sebastian Fischmeister, Krzysztof Czarnecki |
SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia Hui Liang, Vijay Ganesh, Ed Zulkoski, Atulan Zaman, Krzysztof Czarnecki |
Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers. |
Haifa Verification Conference |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia Hui (Jimmy) Liang, Vijay Ganesh, Krzysztof Czarnecki, Venkatesh Raman 0001 |
SAT-based analysis of large real-world feature models is easy. |
SPLC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Cadar, Vijay Ganesh, Raimondas Sasnauskas, Koushik Sen |
Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442). |
Dagstuhl Reports |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Zack Newsham, Vijay Ganesh, Sebastian Fischmeister, Gilles Audemard, Laurent Simon |
Impact of Community Structure on SAT Solver Performance. |
SAT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay Ganesh, Nicky Williams (eds.) |
Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, CSTVA 2014, Hyderabad, India, May 31, 2014 |
CSTVA |
2014 |
DBLP BibTeX RDF |
|
| 1 | Karthick Jayaraman, Mahesh V. Tripunitara, Vijay Ganesh, Martin C. Rinard, Steve J. Chapin |
Mohawk: Abstraction-Refinement and Bound-Estimation for Verifying Access Control Policies. |
ACM Trans. Inf. Syst. Secur. |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay Ganesh, Mia Minnes, Armando Solar-Lezama, Martin C. Rinard |
(Un)Decidability Results for Word Equations with Length and Regular Expression Constraints. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
| 1 | Yunhui Zheng, Xiangyu Zhang 0001, Vijay Ganesh |
Z3-str: a z3-based string solver for web application analysis. |
ESEC/SIGSOFT FSE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay Ganesh |
STP/HAMPI and Computer Security |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Vijay Ganesh, Michael Carbin, Martin C. Rinard |
Cryptographic Path Hardening: Hiding Vulnerabilities in Software through Cryptography |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Adam Kiezun, Vijay Ganesh, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst |
HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars. |
ACM Trans. Softw. Eng. Methodol. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolaj Bjørner, Vijay Ganesh, Raphaël Michel, Margus Veanes |
SMT-LIB Sequences and Regular Expressions. |
SMT@IJCAR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Raphaël Michel, Arnaud Hubaux, Vijay Ganesh, Patrick Heymans |
An SMT-based approach to automated configuration. |
SMT@IJCAR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Vijay Ganesh, Charles W. O'Donnell, Mate Soos, Srinivas Devadas, Martin C. Rinard, Armando Solar-Lezama |
Lynx: A Programmatic SAT Solver for the RNA-Folding Problem. |
SAT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay Ganesh, Mia Minnes, Armando Solar-Lezama, Martin C. Rinard |
Word Equations with Length Constraints: What's Decidable? |
Haifa Verification Conference |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fan Long, Vijay Ganesh, Michael Carbin, Stelios Sidiroglou, Martin C. Rinard |
Automatic input rectification. |
ICSE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin |
ARBAC Policy for a Large Multi-National Bank |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin |
Automatic error finding in access-control policies. |
ACM Conference on Computer and Communications Security |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst |
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst |
HAMPI: a solver for string constraints. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
string constraints, regular languages, context-free languages |
| 1 | Karthick Jayaraman, David Harvison, Vijay Ganesh, Adam Kiezun |
jFuzz: A Concolic Whitebox Fuzzer for Java. |
NASA Formal Methods |
2009 |
DBLP BibTeX RDF |
|
| 1 | Vijay Ganesh, Tim Leek, Martin C. Rinard |
Taint-based directed whitebox fuzzing. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler |
EXE: Automatically Generating Inputs of Death. |
ACM Trans. Inf. Syst. Secur. |
2008 |
DBLP DOI BibTeX RDF |
attack generation, dynamic analysis, symbolic execution, test case generation, constraint solving, bug finding |
| 1 | Vijay Ganesh, David L. Dill |
A Decision Procedure for Bit-Vectors and Arrays. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler |
EXE: automatically generating inputs of death. |
ACM Conference on Computer and Communications Security |
2006 |
DBLP DOI BibTeX RDF |
attack generation, dynamic analysis, symbolic execution, test case generation, constraint solving, bug finding |
| 1 | Sergey Berezin, Vijay Ganesh, David L. Dill |
An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay Ganesh, Sergey Berezin, David L. Dill |
Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods. |
FMCAD |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashok Halambi, Peter Grun, Vijay Ganesh, Asheesh Khare, Nikil D. Dutt, Alexandru Nicolau |
EXPRESSION: A Language for Architecture Exploration through Compiler/Simulator Retargetability. |
DATE |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #91 of 91 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license