Search results for "ECP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
121	Yanming Jia, Yici Cai, Xianlong Hong	Full-chip routing system for reducing Cu CMP & ECP variation.	SBCCI	2008	DBLP DOI BibTeX RDF	electroplating, routing, chemical mechanical polishing
103	Stuart E. Schechter, Gabriel H. Loh, Karin Strauss, Doug Burger	Use ECP, not ECC, for hard failures in resistive memories.	ISCA	2010	DBLP DOI BibTeX RDF	hard failures, resistive memories, memory, error correction, phase change memory
95	Yin Shen, Yici Cai, Qiang Zhou 0001, Xianlong Hong	DFM Based Detailed Routing Algorithm for ECP and CMP.	ISQED	2008	DBLP DOI BibTeX RDF	ECP, CMP, DFM, detailed routing
75	Subarna Sinha, Jianfeng Luo, Charles C. Chiang	Model Based Layout Pattern Dependent Metal Filling Algorithm for Improved Chip Surface Uniformity in the Copper Process.	ASP-DAC	2007	DBLP DOI BibTeX RDF
75	Jiro Tanaka, Makoto Kishishita	Compiling Extended Concurrent Prolog - Single Queue Compilation.	ESOP	1986	DBLP DOI BibTeX RDF
68	Robert Bossy	An Edition Control Policy Model for Scientific Collaborative Databases.	WISE (1)	2001	DBLP DOI BibTeX RDF	collaborative databases, edition control policy, ECP, data traceability, collaboration model
56	A. Allirani, M. Suganthi	An Efficient Clustering Protocol with Reduced Energy and Latency for Wireless Sensor Networks.	ICCSA (1)	2009	DBLP DOI BibTeX RDF	Energy Sorting Protocol, cluster formation, Energy Latency, Sensor Networks, Data processing
56	Lubomir Stanchev, Grant E. Weddell	Index selection for compiled database applications in embedded control programs.	CASCON	2002	DBLP BibTeX RDF
56	Horacio L. Arló-Costa	Epistemic Context, Defeasible Inference and Conversational Implicature.	CONTEXT	1999	DBLP DOI BibTeX RDF
56	Juan-Carlos Amengual, Enrique Vidal 0001	Efficient Error-Correcting Viterbi Parsing.	IEEE Trans. Pattern Anal. Mach. Intell.	1998	DBLP DOI BibTeX RDF	Error-correcting parsing, depth-first topological sort, bucketsort, priority queues, sequence alignment, shape recognition, Viterbi algorithm, language processing, beam search
53	Susanne Biundo, Maria Fox 0001 (eds.)	Recent Advances in AI Planning, 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, Proceedings	ECP	2000	DBLP DOI BibTeX RDF
53	Rosy Barruffi, Evelina Lamma, Paola Mello, Michela Milano	Least Commitment on Variable Binding in Presence of Incomplete Knowledge.	ECP	1999	DBLP DOI BibTeX RDF
53	Ulrich Scholz	Action Constraints for Planning.	ECP	1999	DBLP DOI BibTeX RDF
53	Bernhard Nebel	What Is the Expressive Power of Disjunctive Preconditions?	ECP	1999	DBLP DOI BibTeX RDF
53	Patrik Haslum, Peter Jonsson	Some Results on the Complexity of Planning with Incomplete Information.	ECP	1999	DBLP DOI BibTeX RDF
53	Yong Wang, Qiang Yang 0001, Zhong Zhang	Real-Time Scheduling for Multi-agent Call Center Automation.	ECP	1999	DBLP DOI BibTeX RDF
53	Amol Dattatraya Mali	Hierarchical Task Network Planning as Satisfiability.	ECP	1999	DBLP DOI BibTeX RDF
53	Amol Dattatraya Mali	Plan Merging & Plan Reuse as Satisfiability.	ECP	1999	DBLP DOI BibTeX RDF
53	Biplav Srivastava, Subbarao Kambhampati	Scaling up Planning by Teasing out Resource Scheduling.	ECP	1999	DBLP DOI BibTeX RDF
53	Amedeo Cesta, Angelo Oddi, Stephen F. Smith	Greedy Algorithms for the Multi-capacitated Metric Scheduling Problem.	ECP	1999	DBLP DOI BibTeX RDF
53	Marco Daniele, Paolo Traverso, Moshe Y. Vardi	Strong Cyclic Planning Revisited.	ECP	1999	DBLP DOI BibTeX RDF
53	Alessandro Armando, Claudio Castellini, Enrico Giunchiglia	SAT-Based Procedures for Temporal Reasoning.	ECP	1999	DBLP DOI BibTeX RDF
53	Larry D. Pyeatt, Adele E. Howe	A Parallel Algorithm for POMDP Solution.	ECP	1999	DBLP DOI BibTeX RDF
53	Blai Bonet, Hector Geffner	Planning as Heuristic Search: New Results.	ECP	1999	DBLP DOI BibTeX RDF
53	Alexander Bockmayr, Yannis Dimopoulos	Integer Programs and Valid Inequalities for Planning Problems.	ECP	1999	DBLP DOI BibTeX RDF
53	Ioannis Refanidis, Ioannis P. Vlahavas	GRT: A Domain Independent Heuristic for STRIPS Worlds Based on Greedy Regression Tables.	ECP	1999	DBLP DOI BibTeX RDF
53	Olivier Despouys, François Felix Ingrand	Propice-Plan: Toward a Unified Framework for Planning and Execution.	ECP	1999	DBLP DOI BibTeX RDF
53	Sven Koenig, Yaxin Liu	Sensor Planning with Non-linear Utility Functions.	ECP	1999	DBLP DOI BibTeX RDF
53	Giuseppe De Giacomo, Moshe Y. Vardi	Automata-Theoretic Approach to Planning for Temporally Extended Goals.	ECP	1999	DBLP DOI BibTeX RDF
53	Stephen Cresswell, Alan Smaill, Julian Richardson	Deductive Synthesis of Recursive Plans in Linear Logic.	ECP	1999	DBLP DOI BibTeX RDF
53	Eric Parker	Making Graphplan Goal-Directed.	ECP	1999	DBLP DOI BibTeX RDF
53	Avrim Blum, John Langford 0001	Probabilistic Planning in the Graphplan Framework.	ECP	1999	DBLP DOI BibTeX RDF
53	Vassilis Liatsos, Barry Richards	Scaleability in Planning.	ECP	1999	DBLP DOI BibTeX RDF
53	Alessandro Cimatti, Marco Roveri	Conformant Planning via Model Checking.	ECP	1999	DBLP DOI BibTeX RDF
53	Stefan Edelkamp, Malte Helmert	Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length.	ECP	1999	DBLP DOI BibTeX RDF
53	Fausto Giunchiglia, Paolo Traverso	Planning as Model Checking.	ECP	1999	DBLP DOI BibTeX RDF
53	Brian Drabble	Task Decomposition Support to Reactive Scheduling.	ECP	1999	DBLP DOI BibTeX RDF
53	Adele E. Howe, Eric Dahlman, Christoper Hansen, Michael Scheetz, Anneliese von Mayrhauser	Exploiting Competitive Planner Performance.	ECP	1999	DBLP DOI BibTeX RDF
53	Jussi Rintanen, Hartmut Jungholt	Numeric State Variables in Constraint-Based Planning.	ECP	1999	DBLP DOI BibTeX RDF
53	Sam Steel, Rachid Alami (eds.)	Recent Advances in AI Planning, 4th European Conference on Planning, ECP'97, Toulouse, France, September 24-26, 1997, Proceedings	ECP	1997	DBLP DOI BibTeX RDF
53	Ruth Aylett, Gary J. Petley, Paul W. H. Chung, James K. Soutter, Andrew G. Rushton	Planning and Chemical Plant Operating Procedure Synthesis: A Case Study.	ECP	1997	DBLP DOI BibTeX RDF
53	Jana Koehler, Bernhard Nebel, Jörg Hoffmann 0001, Yannis Dimopoulos	Extending Planning Graphs to an ADL Subset.	ECP	1997	DBLP DOI BibTeX RDF
53	B. Cenk Gazen, Craig A. Knoblock	Combining the Expressivity of UCPOP with the Efficiency of Graphplan.	ECP	1997	DBLP DOI BibTeX RDF
53	Subbarao Kambhampati, Eric Parker, Eric Lambrecht	Understanding and Extending Graphplan.	ECP	1997	DBLP DOI BibTeX RDF
53	Fabio Massacci	Breaking Security Protocols as an AI Planning Problem.	ECP	1997	DBLP DOI BibTeX RDF
53	Marco Baioletti, Stefano Marcugini, Alfredo Milani	Task Planning and Partial Order Planning: A Domain Transformation Approach.	ECP	1997	DBLP DOI BibTeX RDF
53	J. E. Spragg, G. Fozzard, D. J. Tyler	Constraint-Based Reactive Rescheduling in a Stochastic Environment.	ECP	1997	DBLP DOI BibTeX RDF
53	Marcus Vinicius Santos, Marcio Rillo	Approaching the Plans are Programs Paradigm Using Transaction Logic.	ECP	1997	DBLP DOI BibTeX RDF
53	Ion Muslea	SINERGY: A Linear Planner Based on Genetic Programming.	ECP	1997	DBLP DOI BibTeX RDF
53	Tara A. Estlin, Steve A. Chien, Xuemei Wang	An Argument for a Hybrid HTN/Operator-Based Approach to Planning.	ECP	1997	DBLP DOI BibTeX RDF
53	Richard Washington	BI-POMDP: Bounded, Incremental, Partially-Observable Markov-Model Planning.	ECP	1997	DBLP DOI BibTeX RDF
53	Andrew Burgess, Sam Steel	Quantification in Generative Refinement Planning.	ECP	1997	DBLP DOI BibTeX RDF
53	Silvia Miksch, Yuval Shahar, Werner Horn, Christian Popow, Franz Paky, Peter D. Johnson 0001	Time-Oriented Skeletal Plans: Support to Design and Execution.	ECP	1997	DBLP DOI BibTeX RDF
53	Nilufer Onder, Martha E. Pollack	Contingency Selection in Plan Generation.	ECP	1997	DBLP DOI BibTeX RDF
53	Angelo Oddi, Amedeo Cesta	A Tabu Search Strategy to Solve Scheduling Problems with Deadlines and Complex Metric Constraints.	ECP	1997	DBLP DOI BibTeX RDF
53	Patrick Albers, Malik Ghallab	Context Dependent Effects in Temporal Planning.	ECP	1997	DBLP DOI BibTeX RDF
53	Ruth Aylett, Alexandra M. Coddington, David P. Barnes, Robert A. Ghanea-Hercock	What Does a Planner Need to Know About Execution?	ECP	1997	DBLP DOI BibTeX RDF
53	Maria Fox 0001	Natural Hierarchical Planning Using Operator Decomposition.	ECP	1997	DBLP DOI BibTeX RDF
53	Ramón García-Martínez, Daniel Borrajo	Planning, Learning, and Executing in Autonomous Systems.	ECP	1997	DBLP DOI BibTeX RDF
53	Célia da Costa Pereira, Frédérick Garçia, Jérôme Lang, Roger Martin-Clouaire	Possibilistic Planning: Representation and Complexity.	ECP	1997	DBLP DOI BibTeX RDF
53	Naveen Ashish, Craig A. Knoblock, Alon Y. Levy	Information Gathering Plans With Sensing Actions.	ECP	1997	DBLP DOI BibTeX RDF
53	Reiko Tsuneto, Dana S. Nau, James A. Hendler	Plan-Refinement Strategies and Search-Space Size.	ECP	1997	DBLP DOI BibTeX RDF
53	Michael Beetz, Drew V. McDermott	Fast Probabilistic Plan Debugging.	ECP	1997	DBLP DOI BibTeX RDF
53	Marcos A. Castilho, Olivier Gasquet, Andreas Herzig	Modal Tableaux for Reasoning About Actions and Plans.	ECP	1997	DBLP DOI BibTeX RDF
53	Alessandro Cimatti, Fausto Giunchiglia, Enrico Giunchiglia, Paolo Traverso	Planning via Model Checking: A Decision Procedure for AR.	ECP	1997	DBLP DOI BibTeX RDF
53	Hector Muñoz-Avila, Frank Weberskirch	A Case Study on the Mergeability of Cases with a Partial-Order Planner.	ECP	1997	DBLP DOI BibTeX RDF
53	Xuemei Wang, Steve A. Chien	Replanning Using Hierarchical Task Network and Operator-Based Planning.	ECP	1997	DBLP DOI BibTeX RDF
53	Bernhard Nebel, Yannis Dimopoulos, Jana Koehler	Ignoring Irrelevant Facts and Operators in Plan Generation.	ECP	1997	DBLP DOI BibTeX RDF
53	Murray Shanahan	Event Calculus Planning Revisited.	ECP	1997	DBLP DOI BibTeX RDF
53	Michael Beetz, Drew V. McDermott	Expressing Transformations of Structured Reactive Plans.	ECP	1997	DBLP DOI BibTeX RDF
53	Amedeo Cesta, Cristiano Stella	A Time and Resource Problem for Planning Architectures.	ECP	1997	DBLP DOI BibTeX RDF
53	Robert Givan, Sonia M. Leach, Thomas L. Dean	Bounded Parameter Markov Decision Processes.	ECP	1997	DBLP DOI BibTeX RDF
53	Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati 0001	Planning with Sensing for a Mobile Robot.	ECP	1997	DBLP DOI BibTeX RDF
53	Yannis Dimopoulos, Bernhard Nebel, Jana Koehler	Encoding Planning Problems in Nonmonotonic Logic Programs.	ECP	1997	DBLP DOI BibTeX RDF
53	Richard T. Hepplewhite, Jeremy W. Baxter	Planning and Search Techniques for Intelligent Behaviour of Battlefield Entities.	ECP	1997	DBLP DOI BibTeX RDF
38	Ben Goertzel	The Embodied Communication Prior: A characterization of general intelligence in the context of Embodied social interaction.	IEEE ICCI	2009	DBLP DOI BibTeX RDF
38	Jongmin Lee 0002, Soontae Kim	An energy-delay efficient 2-level data cache architecture for embedded system.	ISLPED	2009	DBLP DOI BibTeX RDF	2-level data cache, early cache hit predictor, one-way write
38	Leong Hou U, Nikos Mamoulis, Man Lung Yiu	Computation and Monitoring of Exclusive Closest Pairs.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF
38	Michele Berlingerio, Francesco Bonchi, Fosca Giannotti, Franco Turini	Mining Clinical Data with a Temporal Dimension: A Case Study.	BIBM	2007	DBLP DOI BibTeX RDF
38	Leong Hou U, Nikos Mamoulis, Man Lung Yiu	Continuous Monitoring of Exclusive Closest Pairs.	SSTD	2007	DBLP DOI BibTeX RDF
38	Mohammed Benaissa, Wei Ming Lim	Design of flexible GF(2m) elliptic curve cryptography processors.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
38	Zhaozhong Ni, Zhong Shao	Certified assembly programming with embedded code pointers.	POPL	2006	DBLP DOI BibTeX RDF	embedded code pointers, hoare logic, proof-carrying code, higher-order functions
38	Nobukazu Yoshioka, Shinichi Honiden, Anthony Finkelstein	Security Patterns: A Method for Constructing Secure and Efficient Inter-Company Coordination Systems.	EDOC	2004	DBLP DOI BibTeX RDF
38	Rob Gerth, Andy Boucher 0001	A Timed Failures Model for Extended Communicating Processes.	ICALP	1987	DBLP DOI BibTeX RDF
38	Jiro Tanaka, Takashi Yokomori, Makoto Kishishita	AND-OR Queuing in Extended Concurrent Prolog.	LP	1985	DBLP DOI BibTeX RDF
29	Shin-Yee Lu, King-sun Fu	Stochastic Error-Correcting Syntax Analysis for Recognition of Noisy Patterns.	IEEE Trans. Computers	1977	DBLP DOI BibTeX RDF	Error-correcting parsing (ECP), maximum-likelihood criterion, sequential error-correcting parser, syntactic decoding, syntactic pattern recognition
29	Lai-Wo Fung, King-sun Fu	Stochastic Syntactic Decoding for Pattern Classification.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	Error-correcting parsing (ECP), maximum-likelihood criterion, minimum-distance criterion, syntactic decoding, syntactic pattern recognition
27	Andrew Myers 0001, Weiqun Zhang, Ann S. Almgren, Thierry Antoun, John B. Bell, Axel Huebl, Alexander Sinn	AMReX and pyAMReX: Looking Beyond ECP.	CoRR	2024	DBLP DOI BibTeX RDF
27	Gregory R. Watson, Addi Malviya-Thakur, Daniel S. Katz, Elaine M. Raybourn, Bill Hoffman, Dana Robinson, John Kellerman, Clark Roundy	Transitioning ECP Software Technology into a Foundation for Sustainable Research Software.	CoRR	2023	DBLP DOI BibTeX RDF
27	Michael A. Heroux	Scalable Delivery of Scalable Libraries and Tools: How ECP Delivered a Software Ecosystem for Exascale and Beyond.	CoRR	2023	DBLP DOI BibTeX RDF
27	K. Nimmi, B. Janet	PLE-MobileBERT: enhancing call content classification during emergencies using the ECP dataset.	Soc. Netw. Anal. Min.	2023	DBLP DOI BibTeX RDF
27	Yong-Woon Hwang, Taehoon Kim, Daehee Seo, Im-Yeong Lee	A Study on Data Sharing Scheme using ECP-ABSC that Provides Data User Traceability in the Cloud.	KSII Trans. Internet Inf. Syst.	2022	DBLP DOI BibTeX RDF
27	Thomas Huber, Swaroop Pophale, Nolan Baker, Michael Carr, Nikhil Rao, Jaydon Reap, Kristina Holsapple, Joshua Hoke Davis, Tobias Burnus, Seyong Lee, David E. Bernholdt, Sunita Chandrasekaran	ECP SOLLVE: Validation and Verification Testsuite Status Update and Compiler Insight for OpenMP.	CoRR	2022	DBLP DOI BibTeX RDF
27	Thomas Huber, Swaroop Pophale, Nolan Baker, Michael Carr, Nikhil Rao, Jaydon Reap, Kristina Holsapple, Joshua Hoke Davis, Tobias Burnus, Seyong Lee, David E. Bernholdt, Sunita Chandrasekaran	ECP SOLLVE: Validation and Verification Testsuite Status Update and Compiler Insight for OpenMP.	P3HPC@SC	2022	DBLP DOI BibTeX RDF
27	Xingfu Wu, Valerie E. Taylor, Zhiling Lan	Performance and Energy Improvement of ECP Proxy App SW4lite under Various Workloads.	MCHPC@SC	2021	DBLP DOI BibTeX RDF
27	Kathlyn Boudwin, Douglas Collins, Cathleen Lavelle, Julia White 0002	Navigating the Road to Successfully Manage a Large-Scale Research and Development Project: The Exascale Computing Project (ECP) Experience.	SMC	2020	DBLP DOI BibTeX RDF
27	Chun Tian 0003, Benfeng Zhang	Study on Longitudinal Impulse Law under Braking Condition for Heavy Haul Train with ECP Brake System.	ICITE	2020	DBLP DOI BibTeX RDF
27	Xin-Wei Yao 0001, De-Bao Ma, Chong Han	ECP: A Probing-Based Error Control Strategy for THz-Based Nanonetworks With Energy Harvesting.	IEEE Access	2019	DBLP DOI BibTeX RDF
27	Ravuri Daniel, Kuda Nageswara Rao	MCRO-ECP: Mutation Chemical Reaction Optimization based Energy Efficient Clustering Protocol for Wireless Sensor Networks.	KSII Trans. Internet Inf. Syst.	2019	DBLP DOI BibTeX RDF
27	Ashish Kumar Maurya, Anil Kumar Tripathi	ECP: a novel clustering-based technique to schedule precedence constrained tasks on multiprocessor computing systems.	Computing	2019	DBLP DOI BibTeX RDF