Search results for "ssa"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Quan Hoang Nguyen 0001, Bernhard Scholz	Computing SSA Form with Matrices.	Bytecode@ETAPS	2007	DBLP DOI BibTeX RDF
18	François de Ferrière	Improvements to the Psi-SSA representation	CoRR	2007	DBLP BibTeX RDF
18	Florent Bouchez, Alain Darte, Fabrice Rastello	On the Complexity of Spill Everywhere under SSA Form	CoRR	2007	DBLP BibTeX RDF
18	Ki-Tae Kim, Weon-Hee Yoo	Static Type Assignment for SSA Form in CTOC.	J. Inf. Process. Syst.	2007	DBLP DOI BibTeX RDF
18	Sebastian Hack	Register allocation for programs in SSA form.		2007	RDF
18	Sebastian Hack, Gerhard Goos	Optimal register allocation for SSA-form programs in polynomial time.	Inf. Process. Lett.	2006	DBLP DOI BibTeX RDF
18	Jan Olaf Blech, Sabine Glesner, Johannes Leitner, Steffen Mülling	Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL.	COCV@ETAPS	2005	DBLP DOI BibTeX RDF
18	Wolfram Amme, Jeffery von Ronne, Michael Franz	Quantifying the Benefits of SSA-Based Mobile Code.	COCV@ETAPS	2005	DBLP DOI BibTeX RDF
18	Christophe Bourlier	Azimuthal harmonic coefficients of the microwave backscattering from a non-Gaussian ocean surface with the first-order SSA model.	IEEE Trans. Geosci. Remote. Sens.	2004	DBLP DOI BibTeX RDF
18	Honggang Zhang, Ryuji Kohno	SSA realization in UWB multiple access systems based on prolate spheroidal wave functions.	WCNC	2004	DBLP DOI BibTeX RDF
18	Jan Olaf Blech, Sabine Glesner	A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL.	GI Jahrestagung (2)	2004	DBLP BibTeX RDF
18	Manuel M. T. Chakravarty, Gabriele Keller, Patryk Zadarnowski	A Functional Perspective on SSA Optimisation Algorithms.	COCV@ETAPS	2003	DBLP DOI BibTeX RDF
18	Andrew L. Rukhin	Analysis of Time Series Structure SSA and Related Techniques.	Technometrics	2002	DBLP DOI BibTeX RDF
18	Hanspeter Mössenböck, Michael Pfeiffer 0004	Linear Scan Register Allocation in the Context of SSA Form and Register Constraints.	CC	2002	DBLP DOI BibTeX RDF
18	Nina Golyandina, Vladimir Nekrutkin, Anatoly A. Zhigljavsky	Analysis of Time Series Structure - SSA and Related Techniques.		2001	RDF
18	David Hung-Chang Du, Tai-Sheng Chang, Jenwei Hsieh, Sangyup Shim, Yuewei Wang	Two Emerging Serial Storage Interfaces for Supporting Digital Libraries: Serial Storage Architecture (SSA) and Fiber Channel-Arbitrated Loop (FC-AL).	Multim. Tools Appl.	2000	DBLP DOI BibTeX RDF
18	Marcelo Silva Cintra, Guido Araujo	Array Reference Allocation Using SSA-Form and Live Range Growth.	LCTES	2000	DBLP DOI BibTeX RDF
18	Alexandre Lenart, Christopher Sadler, Sandeep K. S. Gupta	SSA-based Flow-sensitive Type Analysis: Combining Constant and Type Propagation.	SAC (2)	2000	DBLP DOI BibTeX RDF
18	Andrew W. Appel	SSA is Functional Programming.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF
18	David Hung-Chang Du, Tai-Sheng Chang, Jenwei Hsieh, Yuewei Wang, Sangyup Shim	Interface comparisons: SSA versus FC-AL.	IEEE Concurr.	1998	DBLP DOI BibTeX RDF
18	Fumio Hara, Kenji Sasajima, Tsutomu Sawada	Morpho-functional characteristics of SSA-based two-mobile-robots system carrying a long bar on wavy road.	IROS	1998	DBLP DOI BibTeX RDF
18	Kathleen Knobe, Vivek Sarkar	Array SSA Form and Its Use in Parallelization.	POPL	1998	DBLP DOI BibTeX RDF
18	Diego Novillo, Ronald C. Unrau, Jonathan Schaeffer	Concurrent SSA Form in the Presence of Mutual Exclusion.	ICPP	1998	DBLP DOI BibTeX RDF
18	Rohit Dube, Cynthia D. Rais, Kuang-Yeh Wang, Satish K. Tripathi	Signal stability-based adaptive routing (SSA) for ad hoc mobile networks.	IEEE Wirel. Commun.	1997	DBLP DOI BibTeX RDF
18	Sangyup Shim, Tai-Sheng Chang, Yuewei Wang, Jenwei Hsieh, David Hung-Chang Du	Supporting Continuous Media: Is Serial Storage Architecture (SSA) Better Than SCSI?	ICMCS	1997	DBLP DOI BibTeX RDF
18	Andrew Wilson	SSA: A High Performance Serial Interface for Unparalleled Connectivity.	COMPCON	1996	DBLP DOI BibTeX RDF
18	Hideki Saito 0001, Constantine D. Polychronopoulos	sigma-SSA and Its Construction Through Symbolic Interpretation.	LCPC	1996	DBLP DOI BibTeX RDF
18	Peng Tu, David A. Padua	Gated SSA-based Demand-Driven Symbolic Analysis for Parallelizing Compilers.	International Conference on Supercomputing	1995	DBLP DOI BibTeX RDF
18	Eric Stoltz, Michael P. Gerlek, Michael Wolfe	Extended SSA With Factored Use-Def Chains to Support Optimization and Parallelism.	HICSS (2)	1994	DBLP BibTeX RDF
18	Madeleine Bates, John Vittal	Tools for the Development of Systems for Human Factors Experiments: An Example for the SSA.	IEEE Trans. Syst. Man Cybern.	1982	DBLP DOI BibTeX RDF
12	Monika Heiner, Sebastian Lehrack, David R. Gilbert, Wolfgang Marwan	Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments.	Trans. Comp. Sys. Biology	2009	DBLP DOI BibTeX RDF
12	Yang Ye, Yu Liu 0068, Chi Wang 0001, Dapeng Lv, Jianhua Feng	Decomposition: Privacy Preservation for Multiple Sensitive Attributes.	DASFAA	2009	DBLP DOI BibTeX RDF
12	Matthias Jeschke, Roland Ewald, Alfred Park, Richard Fujimoto, Adelinde M. Uhrmacher	A parallel and distributed discrete event approach for spatial cell-biological simulations.	SIGMETRICS Perform. Evaluation Rev.	2008	DBLP DOI BibTeX RDF
12	Thomas Kotzmann, Christian Wimmer, Hanspeter Mössenböck, Thomas Rodriguez, Kenneth B. Russell, David Cox	Design of the Java HotSpot™ client compiler for Java 6.	ACM Trans. Archit. Code Optim.	2008	DBLP DOI BibTeX RDF	deoptimization, Java, optimization, compiler, register allocation, just-in-time compilation, intermediate representation
12	Aneesh Krishna, He Lu	Requirements Elicitation Using Goal-Based Organizational Model.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	Requirements Engineering, Requirements Elicitation
12	I-Fang Su, Yu-Chi Chung, Chiang Lee	Finding Similar Answers in Data-Centric Sensor Networks.	SUTC	2008	DBLP DOI BibTeX RDF	data-centric storage systems, sensor networks, query processing, similarity search, hilbert curve
12	Matthias Jeschke, Alfred Park, Roland Ewald, Richard Fujimoto, Adelinde M. Uhrmacher	Parallel and Distributed Spatial Simulation of Chemical Reactions.	PADS	2008	DBLP DOI BibTeX RDF	optimistic time management, parallel distributed simulation, Aurora
12	Dibyendu Das 0001, Manish Gupta, Rajan Ravindran, W. Shivani, P. Sivakeshava, Rishabh Uppal	Compiler-controlled extraction of computation-communication overlap in MPI applications.	IPDPS	2008	DBLP DOI BibTeX RDF
12	Carlos Morra, João Bispo, João M. P. Cardoso, Jürgen Becker 0001	Combining Rewriting-Logic, Architecture Generation, and Simulation to Exploit Coarse-Grained Reconfigurable Architectures.	FCCM	2008	DBLP DOI BibTeX RDF
12	Andrea Degasperi, Stephen Gilmore	Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions.	SFM	2008	DBLP DOI BibTeX RDF
12	Youhei Akimoto, Jun Sakuma, Isao Ono, Shigenobu Kobayashi	Functionally specialized CMA-ES: a modification of CMA-ES based on the specialization of the functions of covariance matrix adaptation and step size adaptation.	GECCO	2008	DBLP DOI BibTeX RDF	functional specialization, step size adaptation, evolution strategy, covariance matrix adaptation
12	Mengistu Kifle, Victor Wacham A. Mbarika, Clive Tsuma, Derkirra Wilkerson, Joseph Tan	A TeleMedicine Transfer Model for Sub-Saharan Africa.	HICSS	2008	DBLP DOI BibTeX RDF
12	Ricardo Tesoriero, Francisco Montero Simarro, María Dolores Lozano 0001, José A. Gallud	HCI Design Patterns for PDA Running Space Structured Applications.	HCI (1)	2007	DBLP DOI BibTeX RDF	HCI standards, Architectures for interaction, Computer-mediated virtual spaces, platforms and metaphors, Interaction design, Graphical user interface, Interaction techniques, Information presentation, Computer-augmented environment
12	Florent Bouchez, Alain Darte, Fabrice Rastello	On the Complexity of Register Coalescing.	CGO	2007	DBLP DOI BibTeX RDF
12	Masato Yoshimi, Yow Iwaoka, Yuri Nishikawa, Toshinori Kojima, Yasunori Osana, Akira Funahashi, Noriko Hiroi, Yuichiro Shibata, Naoki Iwanaga, Hideki Yamada, Hiroaki Kitano, Hideharu Amano	FPGA Implementation of a Data-Driven Stochastic Biochemical Simulator with the Next Reaction Method.	FPL	2007	DBLP DOI BibTeX RDF
12	Vijay Kumar Mago, M. Syamala Devi, Ravinder Mehta	Decision Making System Based on Bayesian Network for an Agent Diagnosing Child Care Diseases.	K4CARE	2007	DBLP DOI BibTeX RDF	Child care, Multi-agent System, Bayesian Networks, Decision making
12	Yixin Shou, Robert van Engelen, Johnnie Birch	Flow-Sensitive Loop-Variant Variable Classification in Linear Time.	LCPC	2007	DBLP DOI BibTeX RDF
12	Chi-Hwa Song, Jin-Ku Jeong, Dong-Hun Seo, Won Don Lee	A Mean Field Annealing Algorithm for Fuzzy Clustering.	FSKD (2)	2007	DBLP DOI BibTeX RDF
12	Claudia Cevenini, Giuseppe Contissa, Migle Laukyte	Agent-Based Contracting In Virtual Enterprises.	Virtual Enterprises and Collaborative Networks	2007	DBLP DOI BibTeX RDF
12	Zhiwen Zhang, Mingtian Zhou	A Code-Based Multi-match Packet Classification with TCAM.	APWeb/WAIM Workshops	2007	DBLP DOI BibTeX RDF	Code-based, Multi-match Packet Classification, TCAM, NIDS
12	Ali H. Muqaibel, Ahmad Safaai-Jazi, Ahmed M. Attiya, Brian D. Woerner, Sedki M. Riad	Path-loss and time dispersion parameters for indoor UWB propagation.	IEEE Trans. Wirel. Commun.	2006	DBLP DOI BibTeX RDF
12	Phil Cook, Colin J. Fidge	Well-Measuring Programs.	ASWEC	2006	DBLP DOI BibTeX RDF
12	Masato Yoshimi, Yasunori Osana, Yow Iwaoka, Yuri Nishikawa, Toshinori Kojima, Akira Funahashi, Noriko Hiroi, Yuichiro Shibata, Naoki Iwanaga, Hiroaki Kitano, Hideharu Amano	An FPGA Implementation of High Throughput Stochastic Simulator for Large-Scale Biochemical Systems.	FPL	2006	DBLP DOI BibTeX RDF
12	Duygu Çelik, Atilla Elçi	Discovery and Scoring of Semantic Web Services based on Client Requirement(s) through a Semantic Search Agent.	COMPSAC (2)	2006	DBLP DOI BibTeX RDF
12	Haiquan Qiao, Rusheng Ju, Ge Li, Kedi Huang	A New Persistence Framework for Parallel and Distributed Simulation.	IMSCCS (1)	2006	DBLP DOI BibTeX RDF
12	Fang-Yie Leu, Jia-Chun Lin, Ming-Chang Li, Chao-Tung Yang, Po-Chi Shih	Integrating Grid with Intrusion Detection.	AINA	2005	DBLP DOI BibTeX RDF
12	Thomas Kotzmann, Hanspeter Mössenböck	Escape analysis in the context of dynamic compilation and deoptimization.	VEE	2005	DBLP DOI BibTeX RDF	deoptimization, scalar replacement, stack allocation, synchronization removal, Java, optimization, just-in-time compilation, escape analysis
12	Jung-Wook Park, Cheong-Ghil Kim, Jung-Hoon Lee, Shin-Dug Kim	An energy efficient cache memory architecture for embedded systems.	SAC	2004	DBLP DOI BibTeX RDF	selective way access, skewed associativity, embedded system, memory hierarchy, low power cache
12	Chris Lattner, Vikram S. Adve	LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation.	CGO	2004	DBLP DOI BibTeX RDF
12	Insang Chung	A Static Approach to Automated Test Data Generation in the Presence of Pointers.	ISCIS	2004	DBLP DOI BibTeX RDF
12	Kohei Muratani, Kokichi Sugihara	Watermarking 3D Polygonal Meshes Using the Singular Spectrum Analysis.	IMA Conference on the Mathematics of Surfaces	2003	DBLP DOI BibTeX RDF
12	Mihai Budiu, Seth Copen Goldstein	Optimizing Memory Accesses For Spatial Computation.	CGO	2003	DBLP DOI BibTeX RDF
12	Christophe Alias, Denis Barthou	Algorithm Recognition based on Demand-Driven Data-flow Analysis.	WCRE	2003	DBLP DOI BibTeX RDF
12	David W. Binkley, Mark Harman	Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms.	SCAM	2003	DBLP DOI BibTeX RDF
12	Jeffery von Ronne, Andreas Hartmann 0001, Wolfram Amme, Michael Franz	Efficient online optimization by utilizing offline analysis and the safeTSA representation.	PPPJ/IRE	2002	DBLP DOI BibTeX RDF	Java, World Wide Web (WWW)
12	Kazuaki Ishizaki, Tatsushi Inagaki, Hideaki Komatsu, Toshio Nakatani	Eliminating Exception Constraints of Java Programs for IA-64.	IEEE PACT	2002	DBLP DOI BibTeX RDF
12	Keith D. Cooper, Li Xu	An efficient static analysis algorithm to detect redundant memory operations.	MSP/ISMM	2002	DBLP DOI BibTeX RDF
12	Geunhwi Lim, Kwangwook Shin, Seunghak Lee, Hyunsoo Yoon, Joong Soo Ma	Link Stability and Route Lifetime in Ad-hoc Wireless Networks.	ICPP Workshops	2002	DBLP DOI BibTeX RDF	link-stability, routing, ad-hoc networks
12	Vivek Sarkar, Stephen J. Fink	Efficient Dependence Analysis for Java Arrays.	Euro-Par	2001	DBLP DOI BibTeX RDF
12	Masako Tsuruoka, Ryosuke Shibasaki, Yoshifumi Yasuoka, Shunji Murai, Yuriko Tsuruoka	Analysis of Impulse Response on Walking Stability by a Synchronized System of Two Accelerometers.	CBMS	2001	DBLP DOI BibTeX RDF
12	Andrew W. Appel, Lal George	Optimal Spilling for CISC Machines with Few Registers.	PLDI	2001	DBLP DOI BibTeX RDF
12	Dhruva R. Chakrabarti, Prithviraj Banerjee	Global optimization techniques for automatic parallelization of hybrid applications.	ICS	2001	DBLP DOI BibTeX RDF
12	Rastislav Bodík, Rajiv Gupta 0001, Vivek Sarkar	ABCD: eliminating array bounds checks on demand.	PLDI	2000	DBLP DOI BibTeX RDF
12	Shih-Lin Wu, Sze-Yao Ni, Yu-Chee Tseng, Jang-Ping Sheu	Route Maintenance in a Wireless Mobile Ad Hoc Network.	HICSS	2000	DBLP DOI BibTeX RDF
12	Thomas Ball	Paths between Imperative and Functional Programming.	ACM SIGPLAN Notices	1999	DBLP DOI BibTeX RDF
12	Alan Mycroft	Type-Based Decompilation (or Program Reconstruction via Type Reconstruction).	ESOP	1999	DBLP DOI BibTeX RDF
12	Munehiro Takimoto, Kenichi Harada	Partial Dead Code Elimination Using Extended Value Graph.	SAS	1999	DBLP DOI BibTeX RDF
12	Peter Burton	Kinds Of Language, Kinds Of Learning.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF	Java
12	Marcelo Arenas, Leopoldo E. Bertossi	The Dynamics of Database Views.	Transactions and Change in Logic Databases	1998	DBLP DOI BibTeX RDF
12	Rebecca Hasti, Susan Horwitz	Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis.	PLDI	1998	DBLP DOI BibTeX RDF
12	Fred C. Chow, Robert Kennedy, Shin-Ming Liu, Raymond Lo, Peng Tu	Register Promotion by Partial Redundancy Elimination of Loads and Stores.	PLDI	1998	DBLP DOI BibTeX RDF
12	Ramesh C. Agarwal	A Super Scalar Sort Algorithm for RISC Processors.	SIGMOD Conference	1996	DBLP DOI BibTeX RDF
12	Seong-Uk Choi, Sung-Soon Park, Myong-Soon Park	Eliminating Conditional Branches for Enhancing Instruction Level Parallelism in VLIW Compiler.	ISPAN	1996	DBLP DOI BibTeX RDF	Compiler, Instruction Level Parallelism, VLIW, Superscalar, Conditional Branches
12	Vugranam C. Sreedhar, Guang R. Gao	A Linear Time Algorithm for Placing phi-nodes.	POPL	1995	DBLP DOI BibTeX RDF
12	Jason R. C. Patterson	Accurate Static Branch Prediction by Value Range Propagation.	PLDI	1995	DBLP DOI BibTeX RDF
12	Keshav Pingali, Gianfranco Bilardi	APT: A Data Structure for Optimal Control Dependence Computation.	PLDI	1995	DBLP DOI BibTeX RDF
12	Peng Tu, David A. Padua	Efficient Building and Placing of Gating Functions.	PLDI	1995	DBLP DOI BibTeX RDF
12	Daniel Weise, Roger F. Crew, Michael D. Ernst, Bjarne Steensgaard	Value Dependence Graphs: Representation without Taxation.	POPL	1994	DBLP DOI BibTeX RDF
12	Preston Briggs, Keith D. Cooper, Linda Torczon	Rematerialization.	PLDI	1992	DBLP DOI BibTeX RDF
12	F. Joel Ferguson, John Paul Shen	A CMOS fault extractor for inductive fault analysis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1988	DBLP DOI BibTeX RDF