Search results for "dependence"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Iffat H. Kazi, David J. Lilja	JavaSpMT: A Speculative Thread Pipelining Parallelization Model for Java Programs.	IPDPS	2000	DBLP DOI BibTeX RDF	run-time dependence checking, shared-memory multprocessors, Java, multithreading, speculative execution, Parallelization model
16	Mangala Gowri Nanda, S. Ramesh 0001	Slicing concurrent programs.	ISSTA	2000	DBLP DOI BibTeX RDF	Static program slicing, concurrency, data dependence
16	Andrew Stone, Elias S. Manolakos	Minimal Complexity Hierarchical Loop Representations of SFG Processors for Optimal High Level Synthesis.	ASAP	2000	DBLP DOI BibTeX RDF	Optimal VHDL, DG2VHDL, Hierarchical CDFG, High Level Synthesis, Dependence Graph, Signal Flow Graph, Design Complexity
16	Yanhong A. Liu, Scott D. Stoller	Loop Optimization for Aggregate Array Computations.	ICCL	1998	DBLP DOI BibTeX RDF	asymptotic performance improvement, array dependence analysis, caching intermediate results, program transformation, incremental computation, loop optimization, aggregate computation
16	Kumar N. Ganapathy, Benjamin W. Wah, Chien-Wei Li	Designing a Scalable Processor Array for Recurrent Computations.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	Access unit, affine dependencies, area index, clock-rate reduction, multimesh graph, uniform dependencies, scheduling, partitioning, memory bandwidth, processor array, dependence graph
16	Franz J. Kurfess, Mrinalini Lankala, Ashok Vantipalli, Lonnie R. Welch	A toolset for the reengineering of complex computer systems.	ECBS	1997	DBLP DOI BibTeX RDF	reengineering toolset, complex computer systems, abstract intermediate representation, system software architecture, program level, task level, package/object instance level, subprogram level, statement level, rendezvous graph, call-rendezvous graph, call-data-rendezvous graph, software architecture, graphical user interface, software design, granularity, systems re-engineering, dependence graphs, control flow graph, interaction analysis, call graph, computer-based systems, software transformation
16	Thierry Martin, Jérôme Idier	A FEM-Based Nonlinear MAP Estimator in Electrical Impedance Tomography.	ICIP (2)	1997	DBLP DOI BibTeX RDF	electric impedance, FEM-based nonlinear MAP estimator, closed conductive media, ill-posed inverse problem, nonlinear dependence, observation set, conductivity distribution, linear inverse imaging problems, nonlinear inverse problem, edge-preserving Markov model, maximum a posteriori reconstruction, noisy measurements, finite elements method, resolution, MAP estimator, Bayesian approach, electrical impedance tomography
16	Xinan Tang, Rakesh Ghiya, Laurie J. Hendren, Guang R. Gao	Heap Analysis and Optimizations for Threaded Programs.	IEEE PACT	1997	DBLP DOI BibTeX RDF	threaded programs, traditional compiler optimizations, loop invariant removal, common sub-expression elimination, dynamically allocated data structures, heap pointer analyses, dependence testing, high quality code generation, EARTH-C compiler, generated multithreaded code, dynamic measurements, performance tradeoffs, optimizations, parallel programming, optimizing compilers, multithreaded architectures, multithreaded programs, heap analysis
16	Gary S. Tyson, Todd M. Austin	Improving the Accuracy and Performance of Memory Communication Through Renaming.	MICRO	1997	DBLP DOI BibTeX RDF	data fetching, data value speculation, heap segment, instruction loading, memory access latency, memory communication, memory references, memory renaming, memory segments, processor pipeline, register access techniques, stores, performance, delays, accuracy, instruction-level parallelism, execution time, storage allocation, data dependence speculation, address calculation
16	Nectarios Koziris, George K. Papakonstantinou, Panayotis Tsanakas	Mapping nested loops onto distributed memory multiprocessors.	ICPADS	1997	DBLP DOI BibTeX RDF	Chain grouping, low complexity method, index space partitioning, intercommunication requirements, distributed mesh connected architectures, minimum time displacement, discrete groups, optimal makespan, uniform chain, dependence vector, optimal hyperplane scheduling, intragroup computations, partitioned groups, processor utilisation, optimal hyperplane time schedule, distributed memory systems, communication delays, nested loops, distributed memory multiprocessors, loop iterations, space mapping, hyperplane method
16	Edwin Rijpkema, Gerben J. Hekstra, Ed F. Deprettere, Jun Ma 0011	A strategy for determining a Jacobi specific dataflow processor.	ASAP	1997	DBLP DOI BibTeX RDF	Jacobi specific dataflow processor, Jacobi algorithms, real-lime adaptive signal processing applications, quasi regularity property, dependence graph representations, exploration iteration, processor template, mapper, hierarchical exploration method, mapping efficiency, lookahead techniques, pipelining, retiming, adaptive signal processing, application domain, array processing
16	Jordi Torres, Eduard Ayguadé, Jesús Labarta, Mateo Valero	Loop Parallelization: Revisiting Framework of Unimodular Transformations.	PDP	1996	DBLP DOI BibTeX RDF	linear loop transformations, nonlinear step, transformation process, maximum loop parallelism, perfect nested loops, tight recurrences, MIMD system, parallel algorithms, parallelizing algorithm, parallel programming, graph theory, dependence graph, loop parallelization, optimising compilers, coarse grain parallelism, unimodular transformations
16	Sung-Kwan Kim, Sang Lyul Min, Rhan Ha	Efficient worst case timing analysis of data caching.	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	efficient worst case timing analysis, accurate timing analysis, pipelined execution, multiple memory locations, pointer based references, dynamic load/store instructions, WCET overestimation, global data flow analysis, benchmark programs, real-time systems, computational complexity, data caching, cache storage, instruction sets, reduced instruction set computing, data dependence analysis, cache block
16	Zhaoqing Zhang, Gao Nianshu, Ruliang Qiao, Qiang Liu	Advanced compilation techniques used in PORT system.	ISPAN	1996	DBLP DOI BibTeX RDF	optimization, parallelization, compilation, software tools, visual programming, data flow analysis, flow analysis, visualization tools, PORT, parallelising compilers, data dependence analysis, optimising compilers
16	Gérard Pavillon	Knowledge Discovery from Epidemiological Databases.	EDBT	1996	DBLP DOI BibTeX RDF	Dependence and Causal Relationships, Knowledge Discovery, Induction
16	Madalene Spezialetti, Rajiv Gupta 0001	Loop Monotonic Statements.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Access anomalies (data races), run-time dependence checking, static analysis, array bound checking, induction variables
16	Rong-Yuh Hwang	Synchronization Migration for Performance Enhancement in a DOACROSS Loop.	Euro-Par	1995	DBLP DOI BibTeX RDF	LBD, LFD, Synchronization region, Synchronization, Data dependence, Code migration
16	J. Ramanujam, S. Vasanthakumar	Statement-level independent partitioning of uniform recurrences.	IPPS	1995	DBLP DOI BibTeX RDF	statement-level independent partitioning, uniform recurrences, constant dependence distance vectors, statement-level affine schedules, multiple nested loops, parallel programming, linear programming, linear programming, multiprocessor, code generation, synchronisation
16	Lawrence Rauchwerger, David A. Padua	Parallelizing while loops for multiprocessor systems.	IPPS	1995	DBLP DOI BibTeX RDF	parallelizing while loops, do loops, conditional exits, sequential constructs, data dependence relations, sparse matrix packages, multiprocessing systems, multiprocessor systems, program compilers, parallelizing compilers, parallelising compilers, linked lists, iteration space, sparse matrix computations
16	Aniello Cimitile, Andrea De Lucia, Malcolm Munro	Identifying reusable functions using specification driven program slicing: a case study.	ICSM	1995	DBLP DOI BibTeX RDF	reusable function identification, specification driven program slicing, code fragment isolation, functional abstractions, program statement execution, program predicate execution, entry points, exit points, algorithms, formal specification, software maintenance, software reusability, data flow analysis, symbolic execution, precondition, program diagnostics, dependence graphs, symbol manipulation, control flow graphs, program control structures, C programs, postcondition
16	Kristen Maria Summers	Near-wordless document structure classification.	ICDAR	1995	DBLP DOI BibTeX RDF	logical document structure, document structure classification, electronic document manipulation tools, segmentation of text, language-dependence, prototype format, pattern recognition, OCR, document image processing, document handling
16	Norman Ramsey	Literate Programming Simplified.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	literate programming tools, code extraction, source file, language-dependence, feature complexity, tool acceptance, software tools, programming, programming environments, documentation, system documentation, literate programming
16	Shlomit S. Pinter, Ron Y. Pinter	Program Optimization and Parallelization Using Idioms.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	array data flow analysis, computational idioms, intermediate program representation, parallelism, reduction, dependence analysis, graph rewriting, parallel prefix, scan operations
16	Roderic Guigó, Temple F. Smith	Inferring Correlation Between Database Queries: Analysis of Protein Sequence Patterns.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	correlation inference, annotation query, protein sequence pattern analysis, stochastic dependence measurement, set similarity measure, protein sequence database, first-order language, query space, set algebra, query processing, query language, database theory, set theory, algebra, biology computing, proteins, database queries, correlation coefficient, asymptotic approximation
16	Augustus K. Uht	Requirements for Optimal Execution of Loops with Tests.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	loops with tests, branch intensive code, dynamic branches, Booleanrecurrence, order one, dependence cycle, time cycle, imperative code, parallelprogramming, loop iterations
16	Michael E. Wolf, Monica S. Lam	A Loop Transformation Theory and an Algorithm to Maximize Parallelism.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	loop transformation theory, general loops, dependence vectors, lexicographically positive, compound transformations, coarsest fully permutable loop nests, fully permutable nests, parallel algorithm, parallel algorithms, parallel programming, heuristics, program compilers, precedence constraints, legality, code transformation, fine-grain parallelism, canonical form, wavefront, coarse grain parallelism, loop iterations, maximum degree
16	Paul Havlak, Ken Kennedy	An Implementation of Interprocedural Bounded Regular Section Analysis.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	interprocedural bounded regular section analysis, subarrays, production compiler, high-level language constructs, programmingsupport systems, LINPACK library, linear algebra subroutines, RiceCompiler Evaluation Program Suite, RiCEPS, application codes, scientific disciplines, modular programming style, parallel programming, program testing, program compilers, dependence analysis, optimizing compilers, procedure calls
16	Chung-Ta King, Wen-Hwa Chou, Lionel M. Ni	Pipelined Data Parallel Algorithms-II: Design.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	loop-carried dependencies, pipelined execution patterns, dependence relationships, performance evaluation, parallel algorithms, parallel program, parallelism, partitioning, grouping, nested loop, sequential algorithm, data parallel algorithms
16	Zhiyi Hwang, Shouren Hu	A Compliling Approach for Exploiting And-parallelism in Parallel Logic Programming Systems.	PARLE (2)	1989	DBLP DOI BibTeX RDF	Compiling, Logic programming, Prolog, Data-dependence, Parallel execution, And-parallelism
16	Bogdan Korel	PELAS - Program Error-Locating Assistant System.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	PELAS, program error-locating assistant system, error localization assistant, Pascal programs, knowledge representation, knowledge representation, software tools, knowledge based system, knowledge based systems, program verification, reasoning, Pascal, interactive systems, program debugging, program debugging, program structure, dependence network
15	Patricia R. Trawinski, D. Scott Mackay	Spatial autocorrelation of West Nile virus vector mosquito abundance in a seasonally wet suburban environment.	J. Geogr. Syst.	2009	DBLP DOI BibTeX RDF	JEL Classification C, C21
15	Yong Dou, Fei Xia, Jingfei Jiang	Fine-grained parallel application specific computing for RNA secondary structure prediction using SCFGS on FPGA.	CASES	2009	DBLP DOI BibTeX RDF	SCFGS, reconfigurable algorithm accelerator, secondary structure prediction, FPGA, RNA
15	Muhammad Umar Farooq 0003, Lizy Kurian John, Margarida F. Jacome	Compiler Controlled Speculation for Power Aware ILP Extraction in Dataflow Architectures.	HiPEAC	2009	DBLP DOI BibTeX RDF	Tiled dataflow architectures, predication, power-performance trade-offs
15	Sejong Oh, Tag Gon Kim, Jeonghun Cho, Elaheh Bozorgzadeh	Speculative Loop-Pipelining in Binary Translation for Hardware Acceleration.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
15	Sébastien Labbé 0002, Jean-Pierre Gallois	Slicing communicating automata specifications: polynomial algorithms for model reduction.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Communicating automata, Specifications, Static analysis, Slicing, Dataflow analysis, Model reduction, Polynomial algorithms
15	George Nagy, Sriharsha Veeramachaneni	Adaptive and Interactive Approaches to Document Analysis.	Machine Learning in Document Analysis and Recognition	2008	DBLP DOI BibTeX RDF
15	Orhan Bulan, Gaurav Sharma 0001, Vishal Monga	Adaptive decoding for halftone orientation-based data hiding.	ICIP	2008	DBLP DOI BibTeX RDF
15	Jorge Fernandez Villena, Luís Miguel Silveira	SPARE - a Scalable algorithm for passive, structure preserving, Parameter-Aware model order REduction.	DATE	2008	DBLP DOI BibTeX RDF
15	Jan Peter Patist	Fast Online Estimation of the Joint Probability Distribution.	PAKDD	2008	DBLP DOI BibTeX RDF
15	Fan Ding, Bin Wang 0004	An Axiomatic Approach to Exploit Term Dependencies in Language Model.	AIRS	2008	DBLP DOI BibTeX RDF	Language Model, Term Dependency, Axiomatic Approach, Retrieval Heuristics
15	Dowming Yeh, Pei-Chen Sun, William C. Chu, Chien-Lung Lin, Hongji Yang	An empirical study of a reverse engineering method for the aggregation relationship based on operation propagation.	Empir. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Aggregation relationship, Reverse engineering, Object-oriented, Empirical method, Software reengineering
15	Diego R. Llanos Ferraris, David Orden, Belén Palop	New Scheduling Strategies for Randomized Incremental Algorithms in the Context of Speculative Parallelization.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	geometrical problems and computations, scheduling and task partitioning, load balancing and task assignment, Parallelism and concurrency
15	Ja Chun Ku, Yehea I. Ismail	On the Scaling of Temperature-Dependent Effects.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
15	Milan Nikolic, Zvonko Sajfert, Milivoj Klarin	Impact of the degree of a company's success on the importance of the criteria for selecting a new product.	Oper. Res.	2007	DBLP DOI BibTeX RDF	selection of a new product, multi-criteria decision analysis, criteria importance, food industry, fuzzy sets
15	Agnes Sarolta Nagy, Alicia Polanco, Manuel Alvarez	Contributions to improve design accuracy of bipolar ics via physical effects.	SBCCI	2007	DBLP DOI BibTeX RDF	base-emitter capacitance model, emission coefficient, physical effects
15	Karim Mohammed Rezaul, Vic Grout	CoLoRaDe: A Novel Algorithm for Controlling Long-Range Dependent Network Traffic.	ICN	2007	DBLP DOI BibTeX RDF	HEAF(2), CoLoRaDe, Self-similarity, LRD, ACF
15	Keke Cai, Chun Chen 0001, Kangmiao Liu, Jiajun Bu, Peng Huang	MRF based approach for sentence retrieval.	SIGIR	2007	DBLP DOI BibTeX RDF	Markov random field, term dependency, sentence retrieval
15	Yang Xiang, J. Lee	Learning decomposable markov networks in pseudo-independent domains with local evaluation.	Mach. Learn.	2006	DBLP DOI BibTeX RDF	Learning graphical models, Decomposable Markov networks, Knowledge discovery, Probabilistic reasoning, Local computation
15	Katerina Goseva-Popstojanova, Fengbin Li, Xuan Wang, Amit Sangle	A Contribution Towards Solving the Web Workload Puzzle.	DSN	2006	DBLP DOI BibTeX RDF
15	Michelle Mills Strout, Paul D. Hovland	Linearity Analysis for Automatic Differentiation.	International Conference on Computational Science (4)	2006	DBLP DOI BibTeX RDF
15	Nasrullah Memon, Henrik Legind Larsen	Practical Algorithms for Destabilizing Terrorist Networks.	ISI	2006	DBLP DOI BibTeX RDF
15	Heng Lu 0001, W. K. Chan 0001, T. H. Tse	Static Slicing for Pervasive Programs.	QSIC	2006	DBLP DOI BibTeX RDF	Pervasive concurrent program, static slicing
15	Hiroki Kurashige, Yutaka Sakai	BCM-Type Synaptic Plasticity Model Using a Linear Summation of Calcium Elevations as a Sliding Threshold.	ICONIP (1)	2006	DBLP DOI BibTeX RDF
15	Jacek Swiderski	Approximate performance analysis of heavily loaded slotted downlink channel in a wireless CDMA system supporting integrated voice/data services.	IEEE Trans. Wirel. Commun.	2005	DBLP DOI BibTeX RDF
15	Dongming Peng, Mi Lu	Non-RAM-based architectural designs of wavelet-based digital systems based on novel nonlinear I/O data space transformations.	IEEE Trans. Very Large Scale Integr. Syst.	2005	DBLP DOI BibTeX RDF
15	Dowming Yeh, Pei-Chen Sun, William Cheng-Chung Chu, Chien-Lung Lin, Hongji Yang	An Empirical Study of a Reverse Engineering Method for Aggregation Relationship Based on Operation Propagation.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF
15	Fernando Castro, Daniel Chaver, Luis Piñuel, Manuel Prieto 0001, Francisco Tirado, Michael C. Huang 0001	Load-Store Queue Management: an Energy-Efficient Design Based on a State-Filtering Mechanism..	ICCD	2005	DBLP DOI BibTeX RDF
15	Marcial Jesús Rodríguez-Irago, Juan J. Rodríguez-Andina, Fabian Vargas 0001, Marcelino B. Santos, Isabel C. Teixeira, João Paulo Teixeira 0001	Dynamic Fault Test and Diagnosis in Digital Systems Using Multiple Clock Schemes and Multi-VDD Test.	IOLTS	2005	DBLP DOI BibTeX RDF
15	Francesco Masulli, Giorgio Valentini	Effectiveness of error correcting output coding methods in ensemble and monolithic learning machines.	Pattern Anal. Appl.	2004	DBLP DOI BibTeX RDF	ECOC ensemble, Ensemble of learning machines, Error correcting output, Coding, Classification problems
15	Ilhyun Kim, Mikko H. Lipasti	Understanding Scheduling Replay Schemes.	HPCA	2004	DBLP DOI BibTeX RDF
15	Sam Jin Jeong	Maximizing Parallelism for Nested Loops with Non-uniform Dependences.	ICCSA (4)	2004	DBLP DOI BibTeX RDF
15	Keith B. Gallagher	Some Notes on Interprocedural Program Slicing.	SCAM	2004	DBLP DOI BibTeX RDF
15	Belén Díaz-Agudo, Pablo Gervás, Pedro A. González-Calero	Adaptation Guided Retrieval Based on Formal Concept Analysis.	ICCBR	2003	DBLP DOI BibTeX RDF
15	Cathy H. Xia, Zhen Liu 0001	Queueing systems with long-range dependent input process and subexponential service times.	SIGMETRICS	2003	DBLP DOI BibTeX RDF	FGN, M/G/8, asymptotic queueing analysis, long-range dependency, subexponential distributions
15	Calin Cascaval, David A. Padua	Estimating cache misses and locality using stack distances.	ICS	2003	DBLP DOI BibTeX RDF	stack algorithms, cache modeling, compiler algorithms
15	Aldar C.-F. Chan	A graph-theoretical analysis of multicast authentication.	ICDCS	2003	DBLP DOI BibTeX RDF
15	Mark C. Johnson, Dinesh Somasekhar, Lih-Yih Chiou, Kaushik Roy 0001	Leakage control with efficient use of transistor stacks in single threshold CMOS.	IEEE Trans. Very Large Scale Integr. Syst.	2002	DBLP DOI BibTeX RDF
15	Francis H. Dang, Hao Yu 0008, Lawrence Rauchwerger	The R-LRPD Test: Speculative Parallelization of Partially Parallel Loops.	IPDPS	2002	DBLP DOI BibTeX RDF
15	Sriram V. Pemmaraju	Equitable Coloring Extends Chernoff-Hoeffding Bounds.	RANDOM-APPROX	2001	DBLP DOI BibTeX RDF
15	Peng Wu 0001, Albert Cohen 0001, David A. Padua	Induction Variable Analysis without Idiom Recognition: Beyond Monotonicity.	LCPC	2001	DBLP DOI BibTeX RDF
15	Renato J. O. Figueiredo, José A. B. Fortes	Hardware Support for Extracting Coarse-Grain Speculative Parallelism in Distributed Shared-Memory Multiprocessors.	ICPP	2001	DBLP DOI BibTeX RDF
15	Jianjun Zhao 0001, Jingde Cheng, Kazuo Ushijima	Computing Executable Slices for Concurrent Logic Programs.	APAQS	2001	DBLP DOI BibTeX RDF
15	Shu-Heng Chen, Chih-Chi Ni	Simulating the Ecology of Oligopolistic Competition with Genetic Algorithms.	Knowl. Inf. Syst.	2000	DBLP DOI BibTeX RDF	Market-share-first strategy, Predatory pricing, State-dependent Markov chain, Genetic algorithms, Coevolution, Oligopoly
15	Alain Darte, Georges-André Silber	Temporary Arrays for Distribution of Loops with Control Dependences.	Euro-Par	2000	DBLP DOI BibTeX RDF
15	Francis H. Dang, Lawrence Rauchwerger	Speculative Parallelization of Partially Parallel Loops.	LCR	2000	DBLP DOI BibTeX RDF
15	Yoshiyuki Ashida, Fumiaki Ohata, Katsuro Inoue	Slicing Methods Using Static and Dynamic Analysis Information.	APSEC	1999	DBLP DOI BibTeX RDF
15	Jay P. Hoeflinger, Yunheung Paek	The Access Region Test.	LCPC	1999	DBLP DOI BibTeX RDF
15	Brad Calder, Glenn Reinman, Dean M. Tullsen	Selective Value Prediction.	ISCA	1999	DBLP DOI BibTeX RDF
15	Kathryn S. McKinley	A Compiler Optimization Algorithm for Shared-Memory Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	parallelization techniques, performance evaluation, data locality, program optimization, Program parallelization, restructuring compilers
15	Pierre-Yves Calland, Alain Darte, Yves Robert	Circuit Retiming Applied to Decomposed Software Pipelining.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	circuit retiming, Software pipelining, list scheduling, modulo scheduling, cyclic scheduling
15	Jean-Claude Sogno	Analysis of Multidimensional Loops with Non-Uniform Dependences.	APDC	1997	DBLP DOI BibTeX RDF
15	Steve Carr 0001, Yiping Guan	Unroll-and-Jam Using Uniformly Generated Sets.	MICRO	1997	DBLP DOI BibTeX RDF	Instruction-Level Parallelism, Loop Optimization
15	Chang-Mo Yang, Hyeongseok Joo, Weon-Hee Yoo	Separation Set Partitioning: Algorithm to Partition Nonstrict Programs into Sequential Threads.	HICSS (1)	1997	DBLP DOI BibTeX RDF
15	Jean-Claude Sogno	The Janus Test: A Hierarchical Algorithm for Computing Direction and Distance Vectors.	HICSS (1)	1996	DBLP DOI BibTeX RDF
15	Mark W. Garrett, Walter Willinger	Analysis, Modeling and Generation of Self-Similar VBR Video Traffic.	SIGCOMM	1994	DBLP DOI BibTeX RDF
15	Dror E. Maydan, Saman P. Amarasinghe, Monica S. Lam	Array Data-Flow Analysis and its Use in Array Privatization.	POPL	1993	DBLP DOI BibTeX RDF
15	Margaret C. Thompson, Debra J. Richardson, Lori A. Clarke	An Information Flow Model of Fault Detection.	ISSTA	1993	DBLP DOI BibTeX RDF
15	Michael D. Smith 0001, Mark Horowitz, Monica S. Lam	Efficient Superscalar Performance Through Boosting.	ASPLOS	1992	DBLP DOI BibTeX RDF
15	Hiralal Agrawal, Joseph Robert Horgan	Dynamic Program Slicing.	PLDI	1990	DBLP DOI BibTeX RDF
15	Weijia Shang, José A. B. Fortes	On the optimality of linear schedules.	J. VLSI Signal Process.	1989	DBLP DOI BibTeX RDF
15	Sanjay R. Radia	Autonomy, local autonomy, and coherence in naming in distributed computer systems.	ACM SIGOPS European Workshop	1988	DBLP DOI BibTeX RDF
15	Jong-Shi Pang, David E. Stewart	Solution dependence on initial conditions in differential variational inequalities.	Math. Program.	2009	DBLP DOI BibTeX RDF
15	Gilad Asharov, Yehuda Lindell	Utility Dependence in Correct and Fair Rational Secret Sharing.	CRYPTO	2009	DBLP DOI BibTeX RDF
15	Guido Boella, Jan M. Broersen, Leendert W. N. van der Torre, Serena Villata	Representing Excuses in Social Dependence Networks.	AI*IA	2009	DBLP DOI BibTeX RDF
15	Joris M. Mooij, Dominik Janzing, Jonas Peters, Bernhard Schölkopf	Regression by dependence minimization and its application to causal inference in additive noise models.	ICML	2009	DBLP DOI BibTeX RDF
15	Vineeth Veetil, Dennis Sylvester, David T. Blaauw, Saumil Shah, Steffen Rochel	Efficient smart sampling based full-chip leakage analysis for intra-die variation considering state dependence.	DAC	2009	DBLP DOI BibTeX RDF	statistical leakage, Monte Carlo, variance reduction
15	Gang Xiao, Zhizhong Li 0003	Estimation of Dependability Measures and Parameter Sensitivities of a Consecutive-k-out-of-n: F Repairable System With (k-1)-Step Markov Dependence by Simulation.	IEEE Trans. Reliab.	2008	DBLP DOI BibTeX RDF
15	Roberto Andreani, Ernesto G. Birgin, José Mario Martínez, María Laura Schuverdt	Augmented Lagrangian methods under the constant positive linear dependence constraint qualification.	Math. Program.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 65K05, 65K10
15	Sung Hyun Kim, PooGyeon Park	H∞ State-Feedback Control Design for Fuzzy Systems Using Lyapunov Functions With Quadratic Dependence on Fuzzy Weighting Functions.	IEEE Trans. Fuzzy Syst.	2008	DBLP DOI BibTeX RDF
15	Daniel Wasserrab, Andreas Lochbihler	Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL.	TPHOLs	2008	DBLP DOI BibTeX RDF