Search results for "static"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Jacek Plodzien, Kazimierz Subieta	Static Analysis of Queries as a Tool for Static Optimization.	IDEAS	2001	DBLP DOI BibTeX RDF
14	Jérôme Feret	Abstract Interpretation-Based Static Analysis of Mobile Ambients.	SAS	2001	DBLP DOI BibTeX RDF
14	Eric Goubault	Static Analyses of the Precision of Floating-Point Operations.	SAS	2001	DBLP DOI BibTeX RDF
14	Fausto Spoto	Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses.	SAS	2001	DBLP DOI BibTeX RDF
14	Frédéric Mesnard, Ulrich Neumerkel	Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs.	SAS	2001	DBLP DOI BibTeX RDF
14	Tal Lev-Ami, Shmuel Sagiv	TVLA: A System for Implementing Static Analyses.	SAS	2000	DBLP DOI BibTeX RDF
14	Etienne Gagnon, Laurie J. Hendren, Guillaume Marceau	Efficient Inference of Static Types for Java Bytecode.	SAS	2000	DBLP DOI BibTeX RDF
14	Yong-Yan Cao, You-Xian Sun, Wei-Jie Mao	A new necessary and sufficient condition for static output feedback stabilizability and comments on "Stabilization via static output feedback".	IEEE Trans. Autom. Control.	1998	DBLP DOI BibTeX RDF
14	Patrick Cousot	Abstract Interpretation Based Static Analysis Parameterized by Semantics.	SAS	1997	DBLP DOI BibTeX RDF
14	Ian Mackie	Static Analysis of Interaction Nets for Distributed Implementations.	SAS	1997	DBLP DOI BibTeX RDF
14	Philippe Granger	Static Analyses of Congruence Properties on Rational Numbers (Extended Abstract).	SAS	1997	DBLP DOI BibTeX RDF
14	Maria Handjieva	STAN: A Static Analyzer for CLP(R) Based on Abstract Interpretation.	SAS	1996	DBLP DOI BibTeX RDF
14	Philip Wadler	Static Analysis Refuses to Stay Still: Prospects of Static Analysis for Dynamic Allocation (Abstract)	IWMM	1995	DBLP DOI BibTeX RDF
14	Naoki Kobayashi 0001, Motoki Nakade, Akinori Yonezawa	Static Analysis of Communication for Asynchronous Concurrent Programming Languages	SAS	1995	DBLP DOI BibTeX RDF
14	Baudouin Le Charlier (eds.)	Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings	SAS	1994	DBLP DOI BibTeX RDF
14	Laurent Mauborgne	Abstract Interpretation Using TDGs.	SAS	1994	DBLP DOI BibTeX RDF
14	Dmitri Boulanger, Maurice Bruynooghe	A Systematic Construction of Abstract Domains	SAS	1994	DBLP DOI BibTeX RDF
14	Jean Goubault	Generalized Boxings, Congruences and Partial Inlining.	SAS	1994	DBLP DOI BibTeX RDF
14	Michael Codish, Bart Demoen	Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop.	SAS	1994	DBLP DOI BibTeX RDF
14	Nicolas Halbwachs, Yann-Eric Proy, Pascal Raymond	Verification of Linear Hybrid Systems by Means of Convex Approximations.	SAS	1994	DBLP DOI BibTeX RDF
14	Daniel Cabeza Gras, Manuel V. Hermenegildo	Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information.	SAS	1994	DBLP DOI BibTeX RDF
14	Thomas W. Getzinger	The Costs and Benefits of Abstract Interpretation-driven Prolog Optimization	SAS	1994	DBLP DOI BibTeX RDF
14	Fritz Henglein	Iterative Fixed Point Computation for Type-Based Strictness Analysis.	SAS	1994	DBLP DOI BibTeX RDF
14	Paul Steckler, Mitchell Wand	Selective Thunkification.	SAS	1994	DBLP DOI BibTeX RDF
14	Bart Vergauwen, J. Wauman, Johan Lewi	Efficient FixPoint Computation.	SAS	1994	DBLP DOI BibTeX RDF
14	Chris Hankin, Daniel Le Métayer	A Type-based Framework for Program Analysis.	SAS	1994	DBLP DOI BibTeX RDF
14	Kwangkeun Yi	Compile-time Detection of Uncaught Exceptions in Standard ML Programs.	SAS	1994	DBLP DOI BibTeX RDF
14	Ole Agesen	Constraint-Based Type Inference and Parametric Polymorphism.	SAS	1994	DBLP DOI BibTeX RDF
14	Michael Hanus, Frank Zartmann	Mode Analysis of Functional Logic Programs	SAS	1994	DBLP DOI BibTeX RDF
14	Anindya Banerjee 0001, David A. Schmidt	Stackability in the Simply-Typed Call-by-Value Lambda Calculus.	SAS	1994	DBLP DOI BibTeX RDF
14	Tania Armstrong, Kim Marriott, Peter Schachte, Harald Søndergaard	Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation.	SAS	1994	DBLP DOI BibTeX RDF
14	Kirsten Lackner Solberg	Strictness and Totality Analysis.	SAS	1994	DBLP DOI BibTeX RDF
14	Kristian Damm Jensen, Peter Hjæresen, Mads Rosendahl	Efficient Strictness Analysis of Haskell.	SAS	1994	DBLP DOI BibTeX RDF
14	Alexander Aiken, T. K. Lakshman	Directional Type Checking of Logic Programs	SAS	1994	DBLP DOI BibTeX RDF
14	Björn Lisper, Jean-Francois Collard	Extended Analysis of Data Fields.	SAS	1994	DBLP DOI BibTeX RDF
14	Charles Consel	Fast Strictness Analysis Via Symbolic Fixpoint Iteration.	SAS	1994	DBLP DOI BibTeX RDF
14	Saumya K. Debray, Pedro López-García 0001, Manuel V. Hermenegildo, Nai-Wei Lin	Estimating the Computational Cost of Logic Programs.	SAS	1994	DBLP DOI BibTeX RDF
14	Nicolas Halbwachs	About Synchronous Programming and Abstract Interpretation.	SAS	1994	DBLP DOI BibTeX RDF
14	Robert Glück, Jesper Jørgensen	Generating Transformers for Deforestation and Supercompilation.	SAS	1994	DBLP DOI BibTeX RDF
14	Niels Jörgensen	Finding Fixpoints in Finite Function Spaces Using Neddedness Analysis and Chaotic Iteration.	SAS	1994	DBLP DOI BibTeX RDF
14	David A. Garza-Salazar, A. P. Wim Böhm	Uniqueness and Completeness Analysis of Array Comprehensions.	SAS	1994	DBLP DOI BibTeX RDF
14	Hessam Khoshnevisan, Mohamad Afshar	Mechanical Elimination of Commutative Redundancy.	SAS	1994	DBLP DOI BibTeX RDF
14	Peter Van Roy	Challenges in Developing Useful and Practical Static Analysis for Logic Programs.	WSA	1993	DBLP DOI BibTeX RDF
14	Dan Sahlin, Thomas Sjöland	Demonstration: Static Analysis of AKL.	WSA	1993	DBLP DOI BibTeX RDF
14	Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi	Static Analysis of CLP Programs over Numeric Domains.	WSA	1992	DBLP BibTeX RDF
14	John P. Gallagher	Static Analysis for Logic Program Specification.	WSA	1992	DBLP BibTeX RDF
13	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
13	Luis Montesano, Javier Minguez, Luis Montano	Modeling dynamic scenarios for local sensor-based motion planning.	Auton. Robots	2008	DBLP DOI BibTeX RDF	Mapping dynamic environments, Sensor-based motion planning, Mobile robots
13	Yongluan Zhou, Beng Chin Ooi, Kian-Lee Tan	Disseminating streaming data in a dynamic environment: an adaptive and cost-based approach.	VLDB J.	2008	DBLP DOI BibTeX RDF	Streaming data dissemination, Dissemination trees, Distributed stream processing
13	Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng	Classification, Formalization and Verification of Security Functional Requirements.	SOFSEM	2008	DBLP DOI BibTeX RDF
13	Ingo Wald, Solomon Boulos, Peter Shirley	Ray tracing deformable scenes using dynamic bounding volume hierarchies.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF
13	Bin Zhang 0010, Gaurav S. Sukhatme	Adaptive Sampling for Estimating a Scalar Field using a Robotic Boat and a Sensor Network.	ICRA	2007	DBLP DOI BibTeX RDF
13	Zhifeng Yu, Weisong Shi	An Adaptive Rescheduling Strategy for Grid Workflow Applications.	IPDPS	2007	DBLP DOI BibTeX RDF
13	Chang-Wu Yu 0001, Kun-Ming Yu, Shu Ling Lin	Reducing Inter-piconet Delay for Large-Scale Bluetooth Scatternets.	PAKDD Workshops	2007	DBLP DOI BibTeX RDF	modeling, Bluetooth, Scatternet, Piconet, Scheduling protocol
13	Filadelfo de Mateo, Tim Coelli, Chris O'Donnell	Optimal Paths And Costs Of Adjustment In Dynamic DEA Models: With Application To Chilean Department Stores.	Ann. Oper. Res.	2006	DBLP DOI BibTeX RDF	Cost of adjustment, Dynamic DEA, Path of adjustment
13	Abbas El Gamal, James P. Mammen, Balaji Prabhakar, Devavrat Shah	Optimal throughput-delay scaling in wireless networks: part I: the fluid model.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF	throughput scaling, throughput-delay tradeoff, wireless networks, queueing theory, random walks, scaling laws
13	Avi Mendelson	Memory management challenges in the power-aware computing era.	ISMM	2006	DBLP DOI BibTeX RDF
13	Avik Chaudhuri, Martín Abadi	Secrecy by Typing and File-Access Control.	CSFW	2006	DBLP DOI BibTeX RDF
13	Erik Ernst, Klaus Ostermann, William R. Cook	A virtual class calculus.	POPL	2006	DBLP DOI BibTeX RDF	soundness, virtual classes
13	Chun-an Liu, Yuping Wang 0003	New Evolutionary Algorithm for Dynamic Multiobjective Optimization Problems.	ICNC (1)	2006	DBLP DOI BibTeX RDF
13	Yasunori Yanai, Minoru Okada	A study on a geometry transformation method for a geometry and scene modeler by a verbal interface.	GRAPHITE	2006	DBLP DOI BibTeX RDF	geometry transformation, modeler, animation, computer graphics, natural language
13	V. Benjamin Livshits, John Whaley, Monica S. Lam	Reflection Analysis for Java.	APLAS	2005	DBLP DOI BibTeX RDF
13	Luca Benini, Francesco Menichelli, Mauro Olivieri	A Class of Code Compression Schemes for Reducing Power Consumption in Embedded Microprocessor Systems.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	Microprocessor/microcomputer applications, low-power design, code compression
13	Yang Xiao 0001, Yi Pan 0001, Jie Li 0002	Design and Analysis of Location Management for 3G Cellular Networks.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF	3G cellular networks, gateway location registers, Location management, personal communications services
13	Fan Zhang 0097, Samuel T. Chanson	Blocking-aware processor voltage scheduling for real-time tasks.	ACM Trans. Embed. Comput. Syst.	2004	DBLP DOI BibTeX RDF	non-preemptible sections, real-time systems, Dynamic power management, power-aware scheduling
13	Erik Arisholm, Lionel C. Briand, Audun Føyen	Dynamic Coupling Measurement for Object-Oriented Software.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF
13	Xianglong Huang, Stephen M. Blackburn, Kathryn S. McKinley, J. Eliot B. Moss, Zhenlin Wang, Perry Cheng	The garbage collection advantage: improving program locality.	OOPSLA	2004	DBLP DOI BibTeX RDF	compiler-assisted, adaptive, locality, generational
13	David A. Bader, Guojing Cong	Fast Shared-Memory Algorithms for Computing the Minimum Spanning Forest of Sparse Graphs.	IPDPS	2004	DBLP DOI BibTeX RDF
13	Moo-Kyoung Chung, Chong-Min Kyung	Improvement of Compiled Instruction Set Simulator by Increasing Flexibility a.	IEEE International Workshop on Rapid System Prototyping	2004	DBLP DOI BibTeX RDF
13	Changtao Qu, Wolfgang Nejdl, Matthias Kriesell	Cayley DHTs - A Group-Theoretic Framework for Analyzing DHTs Based on Cayley Graphs.	ISPA	2004	DBLP DOI BibTeX RDF
13	Siegfried Handschuh, Raphael Volz, Steffen Staab	Annotation for the Deep Web.	IEEE Intell. Syst.	2003	DBLP DOI BibTeX RDF	deep annotation, metadata construction, Semantic Web, mapping
13	Ramesh Mishra, Namrata Rastogi 0003, Dakai Zhu 0001, Daniel Mossé, Rami G. Melhem	Energy Aware Scheduling for Distributed Real-Time Systems.	IPDPS	2003	DBLP DOI BibTeX RDF
13	Paolo Tonella, Filippo Ricca	Dynamic Model Extraction and Statistical Analysis of Web Applications.	WSE	2002	DBLP DOI BibTeX RDF
13	Kenneth L. Shepard	CAD Issues for CMOS VLSI Design in SOI.	ISQED	2001	DBLP DOI BibTeX RDF
13	Zhen He, Alonso Marquez, Stephen M. Blackburn	Opportunistic Prioritised Clustering Framework (OPCF).	Objects and Databases	2000	DBLP DOI BibTeX RDF
13	Rajeev Barua, Walter Lee, Saman P. Amarasinghe, Anant Agarwal	Maps: A Compiler-Managed Memory System for Raw Machines.	ISCA	1999	DBLP DOI BibTeX RDF
13	Sandip K. Biswas	Higher-Order Functors with Transparent Signatures.	POPL	1995	DBLP DOI BibTeX RDF	Standard ML
13	Robert Cartwright, Mike Fagan	Soft typing (with retrospective)	Best of PLDI	1991	DBLP DOI BibTeX RDF
13	Victor Vianu	Dynamic functional dependencies and database aging.	J. ACM	1987	DBLP DOI BibTeX RDF
13	Victor Vianu	Dynamic Constraints and Database Evolution.	PODS	1983	DBLP DOI BibTeX RDF
13	Thomas G. Windeknecht, Henry D'Angelo	System theoretic implications of numerical methods applied to the solution of ordinary differential equations.	AFIPS National Computer Conference	1976	DBLP DOI BibTeX RDF
12	Scott Y. L. Chin, Steven J. E. Wilton	Static and Dynamic Memory Footprint Reduction for FPGA Routing Algorithms.	ACM Trans. Reconfigurable Technol. Syst.	2009	DBLP DOI BibTeX RDF	FPGA, routing, scalability, CAD, memory
12	Dan Hao 0001, Lu Zhang 0023, Ming-Hao Liu 0001, He Li, Jiasu Sun	Test-Data Generation Guided by Static Defect Detection.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	suspicious statements, software testing, constraint satisfaction problem, test-data generation
12	Michael G. Ross, Leslie Pack Kaelbling	Segmentation According to Natural Examples: Learning Static Segmentation from Motion Segmentation.	IEEE Trans. Pattern Anal. Mach. Intell.	2009	DBLP DOI BibTeX RDF
12	Ben Chelf, Christof Ebert	Ensuring the Integrity of Embedded Software with Static Code Analysis.	IEEE Softw.	2009	DBLP DOI BibTeX RDF
12	Jonas Richiardi, Krzysztof Kryszczuk, Andrzej Drygajlo	Static Models of Derivative-Coordinates Phase Spaces for Multivariate Time Series Classification: An Application to Signature Verification.	ICB	2009	DBLP DOI BibTeX RDF
12	Scott Schneider 0002, Michael Spertus	A Simple, Fast, and Compact Static Dictionary.	ISAAC	2009	DBLP DOI BibTeX RDF
12	Mitsuru Kanamori	Static anti-windup controller design for planar 2DOF robot manipulators with actuator saturation.	ICRA	2009	DBLP DOI BibTeX RDF
12	Zhiqing Cheng, Kathleen M. Robinette	Static and Dynamic Human Shape Modeling.	HCI (11)	2009	DBLP DOI BibTeX RDF	animation, shape modeling, Human body, pose
12	Yves Younan, Frank Piessens, Wouter Joosen	Protecting Global and Static Variables from Buffer Overflow Attacks.	ARES	2009	DBLP DOI BibTeX RDF
12	Dehua Zhang, Ekwa Duala-Ekoko, Laurie J. Hendren	Impact analysis and visualization toolkit for static crosscutting in AspectJ.	ICPC	2009	DBLP DOI BibTeX RDF
12	Hakjoo Oh	Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation.	APLAS	2009	DBLP DOI BibTeX RDF
12	Kamal Sharma, Sanjeev Aggarwal	Energy aware scheduling on desktop grid environment with static performance prediction.	SpringSim	2009	DBLP DOI BibTeX RDF	performance prediction, power-aware computing, resource utilization, execution time estimation
12	Martin Lukasiewycz, Michael Glaß, Jürgen Teich, Paul Milbredt	FlexRay schedule optimization of the static segment.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	scheduling, optimization, FlexRay
12	Jianfeng Lu, Ruixuan Li 0001, Zhengding Lu, Jinwei Hu, Xiaopu Ma	Specification and Enforcement of Static Separation-of-Duty Policies in Usage Control.	ISC	2009	DBLP DOI BibTeX RDF	constraint, Separation-of-Duty, usage control
12	Marwan Abi-Antoun, Jonathan Aldrich	Static extraction of sound hierarchical runtime object graphs.	TLDI	2009	DBLP DOI BibTeX RDF	architectural extraction, ownership domains, object graphs, runtime architecture
12	Jingyu Hua, Mingchu Li, Kouichi Sakurai, Yizhi Ren	Efficient Intrusion Detection Based on Static Analysis and Stack Walks.	IWSEC	2009	DBLP DOI BibTeX RDF
12	Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay	Effective static deadlock detection.	ICSE	2009	DBLP DOI BibTeX RDF
12	Frédéric Besson, David Cachera, Thomas P. Jensen, David Pichardie	Certified Static Analysis by Abstract Interpretation.	FOSAD	2009	DBLP DOI BibTeX RDF
12	Jawar Singh, Jimson Mathew, Saraju P. Mohanty, Dhiraj K. Pradhan	Single Ended Static Random Access Memory for Low-Vdd, High-Speed Embedded Systems.	VLSI Design	2009	DBLP DOI BibTeX RDF