Search results for "demand-driven"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
62	Evelyn Duesterwald, Rajiv Gupta 0001, Mary Lou Soffa	A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	copy constant propagation, def-use chains, demand-driven algorithms, distributive data flow frameworks, data flow analysis, program optimizations, interprocedural data flow analysis
56	Suehee Pak, Eunha Rho, Juno Chang	Industrial demand-driven curriculums for computer-software field in Korea.	ITiCSE	2006	DBLP DOI BibTeX RDF	course material, curriculum development methodology, demand-driven course, demand-driven curriculum, detailed syllabus, track
54	Emil Vassev, Joey Paquet	A General Architecture for Demand Migration in a Demand-Driven Execution Engine in a Heterogeneous and Distributed Environment.	CNSR	2005	DBLP DOI BibTeX RDF	Demand-Driven Execution, Distributed Computing, JINI, JavaSpaces, GIPSY
53	Xin Zheng, Radu Rugina	Demand-driven alias analysis for C.	POPL	2008	DBLP DOI BibTeX RDF	CFL reachability, pointer analysis, alias analysis, memory disambiguation, demand-driven analysis
53	C. N. Verdouw, Adrie J. M. Beulens, D. Bouwmeester, J. H. Trienekens	Modelling Demand-driven Chain Networks using Multiple CODPs.	APMS	2006	DBLP DOI BibTeX RDF	Customer Order Decoupling Point (CODP), Demand-driven chain networks, Dairy Paper type Research paper, Case study
53	Evelyn Duesterwald, Rajiv Gupta 0001, Mary Lou Soffa	A Demand-Driven Analyzer for Data Flow Testing at the Integration Level.	ICSE	1996	DBLP BibTeX RDF	definition-use pairs, demand-driven analyzer, exhaustive analyzer, incremental analyzer, incremental data-flow updates, large program testing, program procedure interfaces, test case requirements, performance, static analysis, program testing, data flow analysis, unit testing, overhead, integration testing, data flow testing
47	Yi-Hsiu Wei, Jean-Luc Gaudiot	Demand-Driven Interpretation of FP Programs on a Data-Flow Multiprocessor.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	data-flow multiprocessor, demand-driven evaluation system, list-structure language systems, functional language FP, lazy programs, DFP, demand-driven FP, FP-DFP transformation rules, partial-function-value evaluation, run-time interpretation, parallel programming, graph theory, multiprocessing systems, data-flow graphs, program interpreters
47	Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík	Demand-driven points-to analysis for Java.	OOPSLA	2005	DBLP DOI BibTeX RDF	refinement, points-to analysis, demand-driven analysis, context-free language reachability
46	Gagan Agrawal, Jinqian Li, Qi Su	Evaluating a Demand Driven Technique for Call Graph Construction.	CC	2002	DBLP DOI BibTeX RDF
46	Nevin Heintze, Olivier Tardieu	Demand-Driven Pointer Analysis.	PLDI	2001	DBLP DOI BibTeX RDF	C
40	Krishnamurthy Subramanian, Mehdi R. Zargham	Distributed and Parallel Demand Driven Logic Simulation.	DAC	1990	DBLP DOI BibTeX RDF
38	Ákos Hajnal, István Forgács	A Precise Demand-Driven Def-Use Chaining Algorithm.	CSMR	2002	DBLP DOI BibTeX RDF	demand-driven algorithm, interprocedural du chain analysis, realizable du chain, data flow analysis
36	Harekrishna Misra	Managing rural citizen interfaces in e-governance systems: a study in Indian context.	ICEGOV	2009	DBLP DOI BibTeX RDF	demand driven services, rural citizens, user interfaces, e-governance
35	Ji Wang 0001, Xiaodong Ma, Wei Dong 0006, Hou-Feng Xu, Wanwei Liu	Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	memory leak detection, static analysis, flow-sensitive, demand-driven
35	Wei Le, Mary Lou Soffa	Refining buffer overflow detection via demand-driven path-sensitive analysis.	PASTE	2007	DBLP DOI BibTeX RDF	path-sensitive, demand-driven, infeasible paths
35	Jonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa	Demand-driven structural testing with dynamic instrumentation.	ICSE	2005	DBLP DOI BibTeX RDF	demand-driven instrumentation, testing, structural testing, code coverage, Java programming language
35	Danny Dubé, Marc Feeley	A demand-driven adaptive type analysis.	ICFP	2002	DBLP DOI BibTeX RDF	static analysis, type analysis, demand-driven analysis
35	Michael P. Gerlek, Eric Stoltz, Michael Wolfe	Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-Driven SSA.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	def-use chain, wraparound variable, constant propagation, static single assignment, demand-driven, strength reduction, induction variable
35	Gagan Agrawal	Simultaneous Demand-Driven Data-Flow and Call Graph Analysis.	ICSM	1999	DBLP DOI BibTeX RDF
35	Evelyn Duesterwald, Rajiv Gupta 0001, Mary Lou Soffa	Demand-driven Computation of Interprocedural Data Flow.	POPL	1995	DBLP DOI BibTeX RDF
34	Claus Kaldeich, Jorge Oliveira e Sá	Data Warehouse Methodology: A Process Driven Approach.	CAiSE	2004	DBLP DOI BibTeX RDF
33	Masakazu Yamanaka, Kenji Niimura, Tomio Kamada	Content publishing framework for interactive paper documents.	ACM Symposium on Document Engineering	2005	DBLP DOI BibTeX RDF	XML, multi-threading, demand-driven, data binding
33	Jorjeta G. Jetcheva, David B. Johnson 0001	Adaptive demand-driven multicast routing in multi-hop wireless ad hoc networks.	MobiHoc	2001	DBLP DOI BibTeX RDF
32	Vítor Santos Costa, Konstantinos Sagonas, Ricardo Lopes	Demand-Driven Indexing of Prolog Clauses.	ICLP	2007	DBLP DOI BibTeX RDF
30	Conal M. Elliott	Push-pull functional reactive programming.	Haskell	2009	DBLP DOI BibTeX RDF	semantics, concurrency, data-driven, functional reactive programming, demand-driven
29	Peter Nielsen, Kenn Steger-Jensen	Estimating Flexibility Requirements in a Demand-Driven Lean/JIT Environment.	IEA/AIE	2008	DBLP DOI BibTeX RDF	capacity matching, flexibility, JIT
29	Eric Stoltz, Michael Wolfe, Michael P. Gerlek	Constant propagation: a fresh, demand-driven look.	SAC	1994	DBLP DOI BibTeX RDF	compiler optimization, constant propagation, SSA, demand-driven analysis
29	Boon-Chong Seet, Yan Pan, Wen-Jing Hsu, Chiew Tong Lau	Multi-Home Region Location Service for Wireless Ad Hoc Networks: An Adaptive Demand-Driven Approach.	WONS	2005	DBLP DOI BibTeX RDF
28	Saswat Anand, Patrice Godefroid, Nikolai Tillmann	Demand-Driven Compositional Symbolic Execution.	TACAS	2008	DBLP DOI BibTeX RDF
28	Diptikalyan Saha, C. R. Ramakrishnan 0001	Incremental and demand-driven points-to analysis using logic programming.	PPDP	2005	DBLP DOI BibTeX RDF	demand-drive analysis, logic programming, pointer analysis, incremental analysis
28	Gagan Agrawal	Demand-Driven Construction of Call Graphs.	CC	2000	DBLP DOI BibTeX RDF
28	Todd A. Proebsting, Charles N. Fischer	Demand-Driven Register Allocation.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	optimizing compiler
28	Steven P. Smith, M. Ray Mercer, B. Brodk	Demand Driven Simulation: BACKSIM.	DAC	1987	DBLP DOI BibTeX RDF
27	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
27	Alan Chalmers, Kirsten Cater	Realistic Rendering in Real-Time.	Euro-Par	2002	DBLP DOI BibTeX RDF	Parallel processing, task scheduling, visual perception, demand driven, inattentional blindness
25	Marc M. Lankhorst	Towards A Service-Oriented Architecture for Demand-Driven e Government.	EDOC	2007	DBLP DOI BibTeX RDF
25	Keshav Pingali, Arvind	Efficient Demand-Driven Evaluation - Part 1.	ACM Trans. Program. Lang. Syst.	1985	DBLP DOI BibTeX RDF
25	Arvind	Demand-Driven Evaluation on Dataflow Machine.	FSTTCS	1985	DBLP DOI BibTeX RDF
24	María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva	Using Datalog and Boolean Equation Systems for Program Analysis.	FMICS	2008	DBLP DOI BibTeX RDF	boolean equation system, demand-driven evaluation, program analysis, Datalog
24	Rastislav Bodík, Rajiv Gupta 0001, Mary Lou Soffa	Complete Removal of Redundant Computations.	PLDI	1998	DBLP DOI BibTeX RDF	control flow restructuring, demand-driven frequency data-flow analysis, speculative execution, partial redundancy elimination, profile-guided optimization
24	Rastislav Bodík, Rajiv Gupta 0001, Mary Lou Soffa	Complete removal of redundant expressions (with retrospective)	Best of PLDI	1998	DBLP DOI BibTeX RDF	control flow restructuring, demand-driven frequency data-flow analysis, speculative execution, partial redundancy elimination, profile-guided optimization
24	Chen-Pin Kung, Chun-Jieh Huang, Chen-Shang Lin	Fast fault simulation for BIST applications.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	signature computation, BIST applications, combinational fault simulation, BISTSIM, demand-driven logic simulation algorithm, fault propagation methods, bit-array computation, parallel-pattern sequential simulation, speedup ratio, VLSI, VLSI, logic testing, built-in self test, integrated circuit testing, combinational circuits, digital simulation, circuit analysis computing, aliasing, test patterns, MISR
24	Jianan Li, Ichiro Suzuki, Masafumi Yamashita	A New Structural Induction Theorem for Rings of Temporal Petri Nets.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	structural induction theorem, temporal Petri nets, identical components, temporal logic formula, similar behavior, demand-driven token circulation, Petri nets, formal verification, formal verification, temporal logic, correctness, temporal reasoning, rings
23	Serguei A. Mokhov	Towards Security Hardening of Scientific Demand-Driven and Pipelined Distributed Computing Systems.	ISPDC	2008	DBLP DOI BibTeX RDF
23	Devesh Agrawal, Tamma Bheemarjuna Reddy, C. Siva Ram Murthy	Robust Demand-Driven Video Multicast over Ad hoc Wireless Networks.	BROADNETS	2006	DBLP DOI BibTeX RDF
23	Geraldo Robson Mateus, Olga Goussevskaia, Antonio Alfredo Ferreira Loureiro	Simulating Demand-Driven Server and Service Location in Third Generation Mobile Networks.	Euro-Par	2003	DBLP DOI BibTeX RDF
23	K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu	Generating Specialized Rules and Programs for Demand-Driven Analysis.	AMAST	2008	DBLP DOI BibTeX RDF
23	Wei Le, Mary Lou Soffa	Marple: a demand-driven path-sensitive buffer overflow detector.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF
23	Ronald C. Unrau, Michael Stumm, Orran Krieger	On the Scalability of Demand-Driven Parallel Systems.	Euro-Par	1995	DBLP DOI BibTeX RDF
23	Keshav Pingali, Arvind	Efficient Demand-Driven Evaluation - Part 2.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF	LD
22	Guillaume Martin	Contrôle dynamique du Demand Driven Sales and Operations Planning. (Dynamical control for the Demand Driven Sales and Operations Planning).		2020	RDF
22	Romain Miclo	Challenging the "Demand Driven MRP" Promises : a Discrete Event Simulation Approach. (Challenger les promesses du "Demand Driven MRP" : une approche basée sur la simulation à évènements discrets).		2016	RDF
20	Sven Rebhan, Andreas Richter, Julian Eggert	Demand-Driven Visual Information Acquisition.	ICVS	2009	DBLP DOI BibTeX RDF	scheduling, memory, attention, scene representation
20	Sohei Ikeda, Takakazu Nagamine, Tomio Kamada	Application framework with demand-driven mashup for selective browsing.	iiWAS	2008	DBLP DOI BibTeX RDF	web service, web, web application, mashup, Ajax
20	Shen-Tat Goh, Beng Chin Ooi, Kian-Lee Tan	Demand-Driven Caching in Multiuser Environment.	IEEE Trans. Knowl. Data Eng.	2004	DBLP DOI BibTeX RDF	Cache-on-demand, virtual cache, predictive, return on investment
19	Philip C. Treleaven	Control-driven, data-driven and demand-driven computer architecture.	Parallel Comput.	1985	DBLP DOI BibTeX RDF
18	K. Tuncay Tekle, Yanhong A. Liu	Precise complexity analysis for efficient datalog queries.	PPDP	2010	DBLP DOI BibTeX RDF	demand-driven evaluation, optimization, program transformation, datalog, tabling, complexity analysis
18	Vineet Kahlon	Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis.	PLDI	2008	DBLP DOI BibTeX RDF	steensgaard partitioning, summarization, divide and conquer, context-sensitive analysis, demand-driven analysis
18	Yijun Huang, Weiguo Wang, Jun Wu, Xue Yan, Rong Liu, Lei Dai, Tian Guo 0004, Honglin Song	Analyzing Demand Drivers of Enterprise Informatization Based on System Dynamics Method.	CONFENIS (2)	2007	DBLP DOI BibTeX RDF	Enterprise informatization, Information system, System dynamic, EIS, Demand driven
18	Manu Sridharan, Rastislav Bodík	Refinement-based context-sensitive points-to analysis for Java.	PLDI	2006	DBLP DOI BibTeX RDF	refinement, points-to analysis, context-sensitive analysis, demand-driven analysis
18	Rainer Blaser, M. Schnabel, D. Mann, P. Jancke, Klaus Kuhn 0001, Richard Lenz	Potential prevention of medical errors in casualty surgery by using information technology.	SAC	2004	DBLP DOI BibTeX RDF	Failure Mode and Effect Analysis, demand driven system evolution, electronic discharge letters, medical error prevention, structured reporting
18	Darren C. Atkinson, William G. Griswold	The Design of Whole-Program Analysis Tools.	ICSE	1996	DBLP BibTeX RDF	software architecture, compiler, program understanding, program slicing, context-sensitive, interprocedural analysis, demand-driven
18	Paul E. S. Dunne, Paul H. Leng, Gerald F. Nwana	On the Complexity of Boolean Functions Computed by Lazy Oracles.	IEEE Trans. Computers	1995	DBLP DOI BibTeX RDF	Boolean function complexity, demand-driven simulation, Circuit simulation, lazy evaluation, symmetric Boolean functions
18	Jong-Deok Choi, Ron Cytron, Jeanne Ferrante	On the Efficient Engineering of Ambitious Program Analysis.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	efficient engineering, compile-time methods, pointer references, array accesses, optimization phase, information benefit, analysis information volume, data-flow chains, reaching definitions, demand-driven computation, software engineering, compilers, optimisation, program analysis, programming environments, program compilers, data-flow analysis, program diagnostics, compact representation, static single assignment, procedure calls
18	Goetz Graefe	Volcano - An Extensible and Parallel Query Evaluation System.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	Volcano, parallel query evaluation system, dataflow query execution system, query processing operators, type-specific methods., novel meta-operators, choose-plan meta-operator, dynamic query evaluation plans, intra-operator parallelism, partitioned datasets, horizontal inter-operator parallelism, demand-driven dataflow, data-driven dataflow, parallel programming, data structures, semantics, query processing, resource allocation, resource allocation, query optimization, extensibility, predicates, data type, support functions, algebra operators, database query processing
18	David J. Duke, Malcolm Wallace, Rita Borgo, Colin Runciman	Fine-grained Visualization Pipelines and Lazy Functional Languages.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	Pipeline model, functional programming, laziness
17	Hongcheng Wang, Andy Guan Hong Chen, Xiaoqi Li 0020, Mingdong Wu, Hao Dong 0003	Find What You Want: Learning Demand-conditioned Object Attribute Space for Demand-driven Navigation.	CoRR	2023	DBLP DOI BibTeX RDF
17	Hongcheng Wang, Andy Guan Hong Chen, Xiaoqi Li 0020, Mingdong Wu, Hao Dong 0003	Find What You Want: Learning Demand-conditioned Object Attribute Space for Demand-driven Navigation.	NeurIPS	2023	DBLP BibTeX RDF
17	Huanmei Qin, Fei Zheng, Binhai Yu, Zhongfeng Wang	Analysis of the Effect of Demand-Driven Dynamic Parking Pricing on on-Street Parking Demand.	IEEE Access	2022	DBLP DOI BibTeX RDF
17	Sleiman Rita, Kim Phuc Tran, Sébastien Thomassey	Long Term Demand Forecasting System for Demand Driven Manufacturing.	APMS (1)	2021	DBLP DOI BibTeX RDF
17	Yu Cui	The Formation of Demand Chain through the demand-driven platform.	MISNC	2016	DBLP DOI BibTeX RDF
17	Keshav Pingali, Arvind	Clarification of "Feeding Inputs on Demand" in Efficient Demand-Driven Evaluation - Part 1.	ACM Trans. Program. Lang. Syst.	1986	DBLP BibTeX RDF
17	Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey	Demand-Driven Normalisation for ACD Term Rewriting.	ICLP	2009	DBLP DOI BibTeX RDF
17	Shaoyin Cheng, Fan Jiang 0005, Jiajie Wang, Tao Zhang, Xuezhi Xing	DBTG: Demand-Driven Backtracking Test Generation.	ICYCS	2008	DBLP DOI BibTeX RDF
17	Rafael del Vado Vírseda	A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees.	ICTAC	2007	DBLP DOI BibTeX RDF
17	Marcelo Zottolo, Edward J. Williams, Onur M. Ülgen	Simulation implements demand-driven workforce scheduler for service industry.	WSC	2007	DBLP DOI BibTeX RDF
17	Markus Fakler, Stefan Frenz, Michael Schöttner, Peter Schulthess	A Demand-Driven Approach for a Distributed Virtual Environment.	CCECE	2006	DBLP DOI BibTeX RDF
17	Jonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa	Jazz: A Tool for Demand-Driven Structural Testing.	CC	2005	DBLP DOI BibTeX RDF
17	Xiaoling Wang, Kun Yue, Joshua Zhexue Huang, Aoying Zhou	Service Selection in Dynamic Demand-Driven Web Services.	ICWS	2004	DBLP DOI BibTeX RDF
17	Steven Alexander Spoon, Olin Shivers	Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability.	ECOOP	2004	DBLP DOI BibTeX RDF
17	Antonia Albani, Christian Winnewisser, Klaus Turowski	Dynamic Modelling of Demand Driven Value Networks.	CoopIS/DOA/ODBASE (1)	2004	DBLP DOI BibTeX RDF
17	Tomás Plachetka	Perfect Load Balancing for Demand-Driven Parallel Ray Tracing.	Euro-Par	2002	DBLP DOI BibTeX RDF	parallel ray tracing, process farming, load balancing, cache, distributed database, antialiasing, message complexity
17	Tom Way, Ben Breech, Lori L. Pollock	Region Formation Analysis with Demand-Driven Inlining for Region-Based Optimization.	IEEE PACT	2000	DBLP DOI BibTeX RDF
17	Yuan Lin, David A. Padua	Demand-Driven Interprocedural Array Property Analysis.	LCPC	1999	DBLP DOI BibTeX RDF
17	Robert A. Ballance, Arthur B. Maccabe, Karl J. Ottenstein	The Program Dependence Web: A Representation Supporting Control, Data, and Demand-Driven Interpretation of Imperative Languages.	PLDI	1990	DBLP DOI BibTeX RDF	FORTRAN 77
15	Daniele Laucelli, Luigi Berardi, Orazio Giustolisi	Assessing climate change and asset deterioration impacts on water distribution networks: Demand-driven or pressure-driven network modeling?	Environ. Model. Softw.	2012	DBLP DOI BibTeX RDF
15	Paola Adinolfi, Mita Marra, Raffaele Adinolfi	Business Transformation: from a Supply-Driven to a Demand-Driven Approach in the Experience of Consip SPA.	MCIS	2010	DBLP BibTeX RDF
15	Edward A. Ashcroft	Dataflow and Education: Data-driven and Demand-driven Distributed Computation.	Current Trends in Concurrency	1986	DBLP DOI BibTeX RDF
15	Zahran Halim	Data-driven and demand-driven evaluation of logic programs.		1984	RDF
15	Bernhard Möller	An Algebraic Semantics for Busy (Data-Driven) and Lazy (Demand-Driven) Evaluation and its Application to a Functional Language.	ICALP	1983	DBLP DOI BibTeX RDF
15	Philip C. Treleaven, David R. Brownbridge, Richard P. Hopkins	Data-Driven and Demand-Driven Computer Architecture.	ACM Comput. Surv.	1982	DBLP DOI BibTeX RDF
15	Pavel Avgustinov, Torbjörn Ekman 0001, Julian Tibble	Modularity first: a case for mixing AOP and attribute grammars.	AOSD	2008	DBLP DOI BibTeX RDF	aspect-oriented programming, modularity, separation of concerns, extensible compilers
15	Dipti Srinivasan, Chen-Khong Tham, Chengyu Wu	Co-Evolutionary algorithms for evolving buyers' bidding strategies in an electrival power market.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
12	Tatiana Levashova, Magnus Lundqvist, Mikhail Pashkin	Moving Towards Automatic Generation of Information Demand Contexts: An Approach Based on Enterprise Models and Ontology Slicing.	OTM Conferences (1)	2006	DBLP DOI BibTeX RDF	information demand, context derivation, context, ontology engineering, enterprise model, ontology management
12	Hassnaa Moustafa, Houda Labiod	Multicast Routing in Mobile Ad Hoc Networks.	Telecommun. Syst.	2004	DBLP DOI BibTeX RDF	forwarding group concept, link state prediction, mobile ad hoc networks, energy-conserving, multicast routing, source routing
12	Ping Xuan, Subhabrata Sen, Oscar González 0002, Jesús Fernández-Conde, Krithi Ramamritham	Broadcast on Demand: Efficient and Timely Dissemination of Data in Mobile Environments.	IEEE Real Time Technology and Applications Symposium	1997	DBLP DOI BibTeX RDF
12	Nicolas Robidoux, Minglun Gong, John Cupitt, Adam Turcotte, Kirk Martinez	CPU, SMP and GPU implementations of Nohalo level 1, a fast co-convex antialiasing image resampler.	C3S2E	2009	DBLP DOI BibTeX RDF	GEGL, HLSL, abyss policy, arithmetic branching, co-convex interpolation, fast image resampling, minmod limiter, natural and not-a-knot boundary conditions, nonlinear image filtering, quantitative comparison of image enlargement methods, video upsampling, benchmark, GPU, SMP, antialiasing, zooming, edge enhancement, VIPS
12	Mangala Gowri Nanda, Saurabh Sinha	Accurate Interprocedural Null-Dereference Analysis for Java.	ICSE	2009	DBLP DOI BibTeX RDF
12	Jan Mehler, Friedhelm Meyer auf der Heide	Power-aware online file allocation in mobile ad hoc networks: [extended abstract].	SPAA	2009	DBLP DOI BibTeX RDF	mobile ad hoc networks, online algorithms, file allocation, amortized analysis
12	Mary Lou Soffa	Path Sensitive Analysis for Security Flaws.	HASE	2008	DBLP DOI BibTeX RDF