Search results for "symbolic analysis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Vijay Menon, Keshav Pingali	Look Left, Look Right, Look Left Again: An Application of Fractal Symbolic Analysis to Linear Algebra Code Restructuring.	International Journal of Parallel Programming	2004	DBLP DOI BibTeX RDF	high-performance computing, numerical methods, symbolic analysis, Program restructuring
3	Sheldon X.-D. Tan, Weikun Guo, Zhenyu Qi	Hierarchical approach to exact symbolic analysis of large analog circuits.	DAC	2004	DBLP DOI BibTeX RDF	MEMS and/or RF design tools, behavioral modeling, analog, circuit simulation, symbolic analysis, mixed-signal
3	Vijay Menon, Keshav Pingali, Nikolay Mateev	Fractal symbolic analysis.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	Compilers, program transformation, program optimization, symbolic analysis
3	Mohammad R. Haghighat, Constantine D. Polychronopoulos	Symbolic Analysis for Parallelizing Compilers.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	parallelization, dependence analysis, symbolic analysis
2	Monika Heiner, Martin Schwarick, Alexej Tovchigrechko	DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets.	Petri Nets	2009	DBLP DOI BibTeX RDF
2	Junghee Lim, Akash Lal, Thomas W. Reps	Symbolic Analysis via Semantic Reinterpretation.	SPIN	2009	DBLP DOI BibTeX RDF
2	Satish Chandra, Stephen J. Fink, Manu Sridharan	Snugglebug: a powerful approach to weakest preconditions.	PLDI	2009	DBLP DOI BibTeX RDF	interprocedural analysis, weakest preconditions, symbolic analysis
2	Manuel Arenaz, Juan Touriño, Ramon Doallo	XARK: An extensible framework for automatic recognition of computational kernels.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Automatic kernel recognition, demand-driven algorithms, gated single assignment, use-def chains, symbolic analysis, strongly connected component
2	Akemi Gálvez, Andrés Iglesias	Symbolic Analysis of Economical Models with Mathematica.	International Conference on Computational Science	2006	DBLP DOI BibTeX RDF
2	Lukas Pichl, Takuya Yamano, Taisei Kaizoji	On the Symbolic Analysis of Market Indicators with the Dynamic Programming Approach.	ISNN	2006	DBLP DOI BibTeX RDF
2	Xiaoying Wang, Lars Hedrich	An approach to topology synthesis of analog circuits using hierarchical blocks and symbolic analysis.	ASP-DAC	2006	DBLP DOI BibTeX RDF
2	Ran Canetti, Jonathan Herzog	Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols.	TCC	2006	DBLP DOI BibTeX RDF
2	Mukesh Ranjan, Ranga Vemuri	Exact hierarchical symbolic analysis of large analog networks using a general interconnection template.	ISCAS	2006	DBLP DOI BibTeX RDF
2	Bernd Burgstaller, Bernhard Scholz, Johann Blieberger	Symbolic Analysis of Imperative Programming Languages.	JMLC	2006	DBLP DOI BibTeX RDF
2	Sheldon X.-D. Tan, Weikun Guo, Zhenyu Qi	Hierarchical approach to exact symbolic analysis of large analog circuits.	IEEE Trans. on CAD of Integrated Circuits and Systems	2005	DBLP DOI BibTeX RDF
2	Göran A. V. Christiansson	The Maxima Haptics Package -- A Tool for Symbolic Analysis of Haptics and Teleoperation.	WHC	2005	DBLP DOI BibTeX RDF
2	Gülin Tulunay, Sina Balkir	Design automation of single-ended LNAs using symbolic analysis.	ISCAS	2005	DBLP DOI BibTeX RDF
2	Prateek Gupta, Vitaly Shmatikov	Towards computationally sound symbolic analysis of key exchange protocols.	FMSE	2005	DBLP DOI BibTeX RDF	protocol logic, cryptographic protocols, symbolic analysis, computational soundness
2	Mary W. Hall, Saman P. Amarasinghe, Brian R. Murphy, Shih-Wei Liao, Monica S. Lam	Interprocedural parallelization analysis in SUIF.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	parallelization, symbolic analysis, Data dependence analysis, interprocedural data-flow analysis
2	Radu Rugina, Martin C. Rinard	Symbolic bounds analysis of pointers, array indices, and accessed memory regions.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	static race detection, parallelization, Symbolic analysis
2	Alicia Manthe, Zhao Li, C.-J. Richard Shi	Symbolic analysis of analog circuits with hard nonlinearity.	DAC	2003	DBLP DOI BibTeX RDF	PWL, circuit nonlinearity, symbolic analysis
2	Esteban Tlelo-Cuautle, Carlos Sánchez-López, F. Sandoval-Ibarra	Symbolic analysis: a formulation approach by manipulating data structures.	ISCAS	2003	DBLP DOI BibTeX RDF
2	Minyi Guo, Yi Pan, Zhen Liu	Symbolic Communication Set Generation for Irregular Parallel Applications.	The Journal of Supercomputing	2003	DBLP DOI BibTeX RDF	irregular array references, distributed memory multicomputers compile-time optimization, parallelizing compilers, communication optimization, symbolic analysis
2	Walter Daems, Georges G. E. Gielen, Willy M. C. Sansen	Circuit simplification for the symbolic analysis of analogintegrated circuits.	IEEE Trans. on CAD of Integrated Circuits and Systems	2002	DBLP DOI BibTeX RDF
2	Ralf Popp, Joerg Oehmen, Lars Hedrich, Erich Barke	Parameter Controlled Automatic Symbolic Analysis of Nonlinear Analog Circuits.	DATE	2002	DBLP DOI BibTeX RDF
2	Hansang Bae, Rudolf Eigenmann	Performance Analysis of Symbolic Analysis Techniques for Parallelizing Compilers.	LCPC	2002	DBLP DOI BibTeX RDF
2	Nikolay Mateev, Vijay Menon, Keshav Pingali	Fractal symbolic analysis.	ICS	2001	DBLP DOI BibTeX RDF
2	Zhiyuan Li, Junjie Gu, Gyungho Lee	Interprocedural Analysis Based on Guarded Array Regions.	Compiler Optimizations for Scalable Parallel Systems Languages	2001	DBLP DOI BibTeX RDF	array data flow analysis, array privatization, guarded array regions, Parallelizing compilers, interprocedural analysis, symbolic analysis
2	C.-J. Richard Shi, Sheldon X.-D. Tan	Canonical symbolic analysis of large analog circuits withdeterminant decision diagrams.	IEEE Trans. on CAD of Integrated Circuits and Systems	2000	DBLP DOI BibTeX RDF
2	Sheldon X.-D. Tan, C.-J. Richard Shi	Hierarchical symbolic analysis of analog integrated circuits viadeterminant decision diagrams.	IEEE Trans. on CAD of Integrated Circuits and Systems	2000	DBLP DOI BibTeX RDF
2	Natarajan Shankar	Combining Theorem Proving and Model Checking through Symbolic Analysis.	CONCUR	2000	DBLP DOI BibTeX RDF
2	Nikolay Mateev, Vijay Menon, Keshav Pingali	Left-Looking to Right-Looking and Vice Versa: An Application of Fractal Symbolic Analysis to Linear Algebra Code Restructuring.	Euro-Par	2000	DBLP DOI BibTeX RDF
2	Tao Pi, C.-J. Richard Shi	Multi-terminal determinant decision diagrams: a new approach to semi-symbolic analysis of analog integrated circuits.	DAC	2000	DBLP DOI BibTeX RDF
2	Natarajan Shankar	Symbolic Analysis of Transition Systems.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
2	Xiang-Dong Tan, C.-J. Richard Shi	Balanced Multi-Level Multi-Way Partitioning of Large Analog Circuits for Hierarchical Symbolic Analysis.	ASP-DAC	1999	DBLP DOI BibTeX RDF
2	Nicholas Stavrakos, Steven Carroll, Hideki Saito, Constantine D. Polychronopoulos, Alexandru Nicolau	Symbolic Analysis in the PROMIS Compiler.	LCPC	1999	DBLP DOI BibTeX RDF
2	Manish Gupta, Sayak Mukhopadhyay, Navin Sinha	Automatic Parallelization of Recursive Procedures.	IEEE PACT	1999	DBLP DOI BibTeX RDF	parallelizing compilers, automatic parallelization, divide and conquer, interprocedural analysis, symbolic analysis, recursive procedures
2	Thomas Fahringer	Efficient Symbolic Analysis for Parallelizing Compilers and Performance Estimators.	The Journal of Supercomputing	1998	DBLP DOI BibTeX RDF	symbolic expressions, comparing symbolic expressions, symbolic expression bounds, simplifying constraints, symbolic dependence testing, program analysis
2	Enric Pastor, Jordi Cortadella	Efficient Encoding Schemes for Symbolic Analysis of Petri Nets.	DATE	1998	DBLP DOI BibTeX RDF	Petri nets, BDDs, symbolic analysis
2	G. Droege, M. Thole, Ernst-Helmut Horneber	EASY - a System for Computer-Aided Examination of Analog Circuits.	DATE	1998	DBLP DOI BibTeX RDF	analog design system, computer-aided design, analog circuits, symbolic analysis, qualitative analysis
2	Henrik Floberg, Sven Mattisson	Symbolic analysis of switched-capacitor networks using compacted nodal analysis in the s-domain.	IEEE Trans. on CAD of Integrated Circuits and Systems	1997	DBLP DOI BibTeX RDF
2	Ignacio Garcia-Vargas, Mariano Galan, Francisco V. Fernández, Ángel Rodríguez-Vázquez	An algorithm for numerical reference generation in symbolic analysis of large analog circuits.	ED&TC	1997	DBLP DOI BibTeX RDF
2	C.-J. Richard Shi, Xiang-Dong Tan	Symbolic analysis of large analog circuits with determinant decision diagrams.	ICCAD	1997	DBLP DOI BibTeX RDF
2	M. Helena Fino, José E. da Franca, Adolfo Steiger-Garção	Automatic symbolic analysis of switched-capacitor filtering networks using signal flow graphs.	IEEE Trans. on CAD of Integrated Circuits and Systems	1995	DBLP DOI BibTeX RDF
2	Soumitra Bose, Vishwani D. Agrawal	Sequential logic path delay test generation by symbolic analysis.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	sequential logic path delay test generation, two-vector test sequences, non-scan sequential circuit, multivalued algebras, three-vector test sequences combinational logic, value propagation rule, ISCAS89 benchmarks, fault diagnosis, logic testing, delays, Boolean functions, Boolean functions, finite state machines, finite state machines, sequential circuits, encoding, automatic testing, Binary Decision Diagrams, multivalued logic, sequential machines, symbolic analysis, combinational logic, state transitions
2	Mark J. Clement, Michael J. Quinn	Symbolic performance prediction of scalable parallel programs. (PDF / PS)	IPPS	1995	DBLP DOI BibTeX RDF	symbolic performance prediction, scalable parallel programs, massively parallel processing machines, performance prediction methodology, program source code, algebraic manipulations, parallel processing, analytical model, software performance evaluation, program debugging, hardware architectures, symbol manipulation, performance tuning, symbolic analysis, computational problems
2	Qicheng Yu, Carl Sechen	Approximate symbolic analysis of large analog integrated circuits.	ICCAD	1994	DBLP DOI BibTeX RDF
2	Ned Chapin	Symbolic analysis methods for information systems.	Commun. ACM	1961	DBLP DOI BibTeX RDF	application mechanization, formalized analysis techniques, symbolic analysis methods, systems automation, information systems, system design, system analysis, data processing
1	Bernd Burgstaller, Bernhard Scholz, Johann Blieberger	A symbolic analysis framework for static analysis of imperative programming languages.	Journal of Systems and Software	2012	DBLP DOI BibTeX RDF
1	Danilo Valeros Bernardo, Doan B. Hoang	Symbolic Analysis of the Proposed UDT Security Architecture.	AINA Workshops	2012	DBLP DOI BibTeX RDF
1	Eberhard H.-A. Gerbracht	"On the engineers' new toolbox" or Analog Circuit Design, using Symbolic Analysis, Computer Algebra, and Elementary Network Transformations	CoRR	2011	DBLP BibTeX RDF
1	Carlos Sánchez-López, Francisco V. Fernández, Esteban Tlelo-Cuautle, Sheldon X.-D. Tan	Pathological Element-Based Active Device Models and Their Application to Symbolic Analysis.	IEEE Trans. on Circuits and Systems	2011	DBLP DOI BibTeX RDF
1	Junghee Lim, Akash Lal, Thomas W. Reps	Symbolic analysis via semantic reinterpretation.	STTT	2011	DBLP DOI BibTeX RDF
1	Francesco Alberti, Alessandro Armando, Silvio Ranise	ASASP: Automated Symbolic Analysis of Security Policies.	CADE	2011	DBLP DOI BibTeX RDF
1	Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä	Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks.	ACSD	2011	DBLP DOI BibTeX RDF
1	Malay K. Ganai	Scalable and precise symbolic analysis for atomicity violations.	ASE	2011	DBLP DOI BibTeX RDF
1	Karolina Zurowska, Jürgen Dingel	SAUML: A tool for symbolic analysis of UML-RT models.	ASE	2011	DBLP DOI BibTeX RDF
1	Hui Xu, Guoyong Shi, Xiaopeng Li	Hierarchical exact symbolic analysis of large analog integrated circuits by symbolic stamps.	ASP-DAC	2011	DBLP DOI BibTeX RDF
1	Tony Bourdier, Horatiu Cirstea	Symbolic analysis of network security policies using rewrite systems.	PPDP	2011	DBLP DOI BibTeX RDF
1	Dongyoon Lee, Mahmoud Said, Satish Narayanasamy, Zijiang Yang	Offline symbolic analysis to infer Total Store Order.	HPCA	2011	DBLP DOI BibTeX RDF
1	Ran Canetti, Sebastian Gajek	Universally Composable Symbolic Analysis of Diffie-Hellman based Key Exchange.	IACR Cryptology ePrint Archive	2010	DBLP BibTeX RDF
1	S. D. Djordjevic, Predrag M. Petkovic, Vanco B. Litovski	A New Topology Oriented Method for Symbolic Analysis of Electronic Circuits.	Journal of Circuits, Systems, and Computers	2010	DBLP DOI BibTeX RDF
1	Ranise Armando, Silvio Ranise	Automated Symbolic Analysis of ARBAC-Policies (Extended Version)	CoRR	2010	DBLP BibTeX RDF
1	Lei Zhao, Shuigeng Zhou	Symbolic analysis and exact travelling wave solutions to a new modified Novikov equation.	Applied Mathematics and Computation	2010	DBLP DOI BibTeX RDF
1	Chao Wang, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta	Trace-Based Symbolic Analysis for Atomicity Violations.	TACAS	2010	DBLP DOI BibTeX RDF
1	Alessandro Armando, Silvio Ranise	Automated Symbolic Analysis of ARBAC-Policies.	STM	2010	DBLP DOI BibTeX RDF
1	Sudipta Kundu, Malay K. Ganai, Chao Wang	Contessa: Concurrency Testing Augmented with Symbolic Analysis.	CAV	2010	DBLP DOI BibTeX RDF
1	Lian Li, Cristina Cifuentes, Nathan Keynes	Practical and effective symbolic analysis for buffer overflow detection.	SIGSOFT FSE	2010	DBLP DOI BibTeX RDF
1	Guodong Li, Ganesh Gopalakrishnan, Robert M. Kirby, Dan Quinlan	A symbolic verifier for CUDA programs.	PPOPP	2010	DBLP DOI BibTeX RDF	spmd, formal verification, symbolic analysis, cuda
1	Soumik Sarkar, Kushal Mukherjee, Asok Ray	Generalization of Hilbert transform for symbolic analysis of noisy signals.	Signal Processing	2009	DBLP DOI BibTeX RDF
1	Konstantinos Kyriakopoulos, Kleanthis Psarris	Nonlinear Symbolic Analysis for Advanced Program Parallelization.	IEEE Trans. Parallel Distrib. Syst.	2009	DBLP DOI BibTeX RDF
1	Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic	Model checking sequential software programs via mixed symbolic analysis.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	composite symbolic formula, Model checking, binary decision diagram, reachability analysis, presburger arithmetic, image computation
1	Dongyoon Lee, Mahmoud Said, Satish Narayanasamy, Zijiang Yang, Cristiano Pereira	Offline symbolic analysis for multi-processor execution replay.	MICRO	2009	DBLP DOI BibTeX RDF	multi-processor replay, shared-memory dependencies, SMT solver
1	Sebastian Mödersheim, Luca Viganò	The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols.	FOSAD	2009	DBLP DOI BibTeX RDF
1	María José Ibáñez, Pedro Álvarez, Joaquin Ezpeleta	Symbolic Analysis of the Behavior of Semantic Business Processes.	SWWS	2009	DBLP BibTeX RDF
1	Erkki Laitila	SymAnalyzer: A Symbolic Analysis Tool for Program Comprehension.	CSMR	2009	DBLP DOI BibTeX RDF
1	Cristina Cifuentes, Nathan Keynes, Lian Li, Bernhard Scholz	Program analysis for bug detection using parfait: invited talk.	PEPM	2009	DBLP DOI BibTeX RDF	partial evaluation, symbolic analysis, constant propagation
1	Martin Lukasiewycz, Michael Glaß, Jürgen Teich	Exploiting data-redundancy in reliability-aware networked embedded system design.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	reliability, design space exploration, networked embedded systems
1	Leonardo Mendonça de Moura, Nikolaj Bjørner	Generalized, efficient array decision procedures.	FMCAD	2009	DBLP DOI BibTeX RDF
1	Stefan Ciobâca, Stéphanie Delaune, Steve Kremer	Computing Knowledge in Security Protocols under Convergent Equational Theories.	CADE	2009	DBLP DOI BibTeX RDF
1	Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar	Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models.	CAV	2009	DBLP DOI BibTeX RDF
1	Zijiang Yang, Bashar Al-Rawi, Karem A. Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu	Dynamic Path Reduction for Software Model Checking.	IFM	2009	DBLP DOI BibTeX RDF
1	Jeremy E. Dawson, Alwen Tiu	Formalising Observer Theory for Environment-Sensitive Bisimulation.	TPHOLs	2009	DBLP DOI BibTeX RDF
1	Alexey A. Tovchigrechko	Efficient symbolic analysis of bounded Petri nets using interval decision diagrams.		2008	RDF
1	Jean-Claude Thomassian	Interactive Numerical and Symbolic Analysis: A New Paradigm for Teaching Electronics.	iJET	2008	DBLP BibTeX RDF
1	Takuya Yamano, Kodai Sato, Taisei Kaizoji, Jan-Michael Rost, Lukas Pichl	Symbolic analysis of indicator time series by quantitative sequence alignment.	Computational Statistics & Data Analysis	2008	DBLP DOI BibTeX RDF
1	Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shashidhar	Symbolic analysis for improving simulation coverage of Simulink/Stateflow models.	EMSOFT	2008	DBLP DOI BibTeX RDF	simulations, coverage, hybrid systems, Simulink, Stateflow
1	Zhengqin Luo	Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups.	ProvSec	2008	DBLP DOI BibTeX RDF
1	Kleanthis Psarris	Symbolic Analysis for Increased Program Execution Performance.	ICA3PP	2008	DBLP DOI BibTeX RDF
1	Smita Krishnaswamy, George F. Viamontes, Igor L. Markov, John P. Hayes	Probabilistic transfer matrices in symbolic reliability analysis of logic circuits.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	fault tolerance, Symbolic analysis
1	Jaroslav Koton, Kamil Vrba	Electronically Tunable Frequency Filters Based on Transformation Cells.	ICONS	2008	DBLP DOI BibTeX RDF	Tunable Filter, Immittance element, Transformation Cell, Voltage Conveyor, OTA, Frequency Filter
1	Rachid Bouaziz, Ismail Berrada	Testing Component-Based Real Time Systems.	SNPD	2008	DBLP DOI BibTeX RDF
1	Martin Fränzle, Holger Hermanns, Tino Teige	Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems.	HSCC	2008	DBLP DOI BibTeX RDF
1	Radu Siminiceanu, Rick W. Butler, César A. Muñoz	Experimental Evaluation of a Planning Language Suitable for Formal Verification.	MoChArt	2008	DBLP DOI BibTeX RDF
1	Zeeshan Syed, John V. Guttag, Collin Stultz	Clustering and Symbolic Analysis of Cardiovascular Signals: Discovery and Visualization of Medically Relevant Patterns in Long-Term Data Using Limited Prior Knowledge.	EURASIP J. Adv. Sig. Proc.	2007	DBLP DOI BibTeX RDF
1	Majid A. Al-Taee, Fawzi M. Al-Naima, Bessam Z. Al-Jewad	Optimised sparse storage mode for symbolic analysis of large networks.	Advances in Engineering Software	2007	DBLP DOI BibTeX RDF
1	Romain Janvier, Yassine Lakhnech, Laurent Mazaré	Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Yannick Chevalier, Mounira Kourjieh	Key Substitution in the Symbolic Analysis of Cryptographic Protocols (extended version)	CoRR	2007	DBLP BibTeX RDF
1	Mikhail Bernadsky, Rajeev Alur	Symbolic Analysis for GSMP Models with One Stateful Clock.	HSCC	2007	DBLP DOI BibTeX RDF
1	Yannick Chevalier, Mounira Kourjieh	Key Substitution in the Symbolic Analysis of Cryptographic Protocols.	FSTTCS	2007	DBLP DOI BibTeX RDF