Search results for "Conflict"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Chung-Hsing Hsu, Ulrich Kremer	A Quantitative Analysis of Tile Size Selection Algorithms.	J. Supercomput.	2004	DBLP DOI BibTeX RDF	memory hierarchy optimization, array padding, quantitative case study, performance models, compiler optimizations, loop tiling
11	Haibin Lu, Sartaj Sahni	O(log n) Dynamic Router-Tables for Prefixes and Ranges.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF
11	James C. Hoe, Arvind	Operation-centric hardware description and synthesis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
11	Haiyun Luo, Songwu Lu, Vaduvur Bharghavan, Jerry Cheng, Gary Zhong	A Packet Scheduling Approach to QoS Support in Multihop Wireless Networks.	Mob. Networks Appl.	2004	DBLP DOI BibTeX RDF	wireless MAC, ad-hoc networks, fair queueing, wireless scheduling
11	Hui Wang 0054, Minyi Guo, Daming Wei	Effcient List Algorithms for Irregular Block Redistribution in Parallelizing Compilers.	CIT	2004	DBLP DOI BibTeX RDF
11	Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Li-C. Wang	Efficient reachability checking using sequential SAT.	ASP-DAC	2004	DBLP DOI BibTeX RDF
11	Donghyun Kim, Bonghee Hong	A Progressive Reprocessing Transaction Model for Updating Spatial Data in Mobile Computing Environments.	W2GIS	2004	DBLP DOI BibTeX RDF
11	William S. Havens, Bistra N. Dilkina	A Hybrid Schema for Systematic Local Search.	Canadian AI	2004	DBLP DOI BibTeX RDF
11	Xiaoqing Frank Liu, Chandra Sekhar Veera, Yan Sun 0008, Kunio Noguchi, Yuji Kyoya	Priority Assessment of Software Requirements from Multiple Perspectives.	COMPSAC	2004	DBLP DOI BibTeX RDF
11	Jean-Marc Seigneur, Christian Damsgaard Jensen	Trading Privacy for Trust.	iTrust	2004	DBLP DOI BibTeX RDF
11	Annika Wolff, Paul Mulholland, Zdenek Zdráhal	Scene-Driver: reusing broadcast animation content for engaging, narratively coherent games.	AVI	2004	DBLP DOI BibTeX RDF	AI planning algorithms, child directed interface, interactive narrative, interface evaluation, visual interaction, animated interfaces
11	Tobias Schubert 0001, Bernd Becker 0001	Parallel SAT Solving with Microcontrollers.	AACC	2004	DBLP DOI BibTeX RDF
11	Michal Malowiecki, Ngoc Thanh Nguyen 0001, Michal Zgrzywa	Using Consistency Measures and Attribute Dependencies for Solving Conflicts in Adaptive Systems.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
11	Natasha Alechina, Brian Logan 0001, Mark Whitsey	Modelling Communicating Agents in Timed Reasoning Logics.	JELIA	2004	DBLP DOI BibTeX RDF
11	Hoh Peter In, ChangHwa Kim, Stephen S. Yau	Q-MAR: An Adaptive QoS Management Model for Situation-Aware Middleware.	EUC	2004	DBLP DOI BibTeX RDF
11	Chiu-Man Yu, Kam-Wing Ng	A Dynamic Management Framework for Security Policies in Open Grid Computing Environments.	GCC	2004	DBLP DOI BibTeX RDF
11	Annika Wolff, Paul Mulholland, Zdenek Zdráhal, Richard W. Joiner	Scene-Driver: An Interactive Narrative Environment Using Content from an Animated Children's Television Series.	TIDSE	2004	DBLP DOI BibTeX RDF
11	Mohammad A. Al-Kahtani, Ravi S. Sandhu	Mohammad A. Al-Kahtani, Ravi Sandhu.	ACSAC	2004	DBLP DOI BibTeX RDF
11	Toshiharu Sugawara, Satoshi Kurihara, Kensuke Fukuda, Toshio Hirotsu, Shigemi Aoyagi, Toshihiro Takada	Reusing Coordination and Negotiation Strategies in Multi-Agent Systems for Ubiquitous Network Environment.	AAMAS	2004	DBLP DOI BibTeX RDF
11	Mihail F. Ionescu, Ivan Marsic	Tree-Based Concurrency Control in Distributed Groupware.	Comput. Support. Cooperative Work.	2003	DBLP DOI BibTeX RDF	distributed algorithms, groupware, concurrency control
11	Andrea Borella, Giovanni Cancellieri, Dante Mantini	Space Division Architectures for Crosstalk Reduction in Optical Interconnection Networks.	QoS-IP	2003	DBLP DOI BibTeX RDF
11	Leigh A. Davis, Daniel Flagg, Rose F. Gamble, C. Karatas	Classifying Interoperability Conflicts.	ICCBSS	2003	DBLP DOI BibTeX RDF
11	Chun Ruan, Vijay Varadharajan	Decentralized Temporal Authorization Administration.	DEXA	2003	DBLP DOI BibTeX RDF
11	P. Madhusudan	Model-checking Trace Event Structures.	LICS	2003	DBLP DOI BibTeX RDF
11	Menelaos I. Karavelas, Mariette Yvinec	The Voronoi Diagram of Planar Convex Objects.	ESA	2003	DBLP DOI BibTeX RDF
11	Xia Yang, Mong-Li Lee, Tok Wang Ling	Resolving Structural Conflicts in the Integration of XML Schemas: A Semantic Approach.	ER	2003	DBLP DOI BibTeX RDF
11	Ngoc Thanh Nguyen 0001, Janusz Sobecki	Consensus versus Conflicts - Methodology and Applications.	RSFDGrC	2003	DBLP DOI BibTeX RDF
11	Haibin Lu, Sartaj Sahni	O(log n) Dynamic Router-Tables For Ranges.	ISCC	2003	DBLP DOI BibTeX RDF	dynamic router-tables, most-specific range matching, Packet routing, ranges
11	Oliver Kullmann	The Combinatorics of Conflicts between Clauses.	SAT	2003	DBLP DOI BibTeX RDF
11	Richard Ostrowski, Bertrand Mazure, Lakhdar Sais, Éric Grégoire	Eliminating Redundancies in SAT Search Trees.	ICTAI	2003	DBLP DOI BibTeX RDF	Davis and Putnam´s algorithm, Boolean search and satisfiability, SAT
11	Rob J. van Glabbeek, Frits W. Vaandrager	Bundle Event Structures and CCSP.	CONCUR	2003	DBLP DOI BibTeX RDF
11	Arosha K. Bandara, Emil Lupu, Alessandra Russo	Using Event Calculus to Formalise Policy Specification and Analysis.	POLICY	2003	DBLP DOI BibTeX RDF
11	Cristiana Amza, Alan L. Cox, Willy Zwaenepoel	Distributed Versioning: Consistent Replication for Scaling Back-End Databases of Dynamic Content Web Sites.	Middleware	2003	DBLP DOI BibTeX RDF
11	An-Chow Lai, Babak Falsafi	Optimizing Traffic in DSM Clusters: Fine-Grain Memory Caching versus Page Migration/Replication.	Theory Comput. Syst.	2002	DBLP DOI BibTeX RDF
11	Chun Ruan, Vijay Varadharajan, Yan Zhang 0003	Logic-Based Reasoning on Delegatable Authorizations.	ISMIS	2002	DBLP DOI BibTeX RDF
11	Mikhail Smirnow	Internet Middleware (Tutorial).	IDMS/PROMS	2002	DBLP DOI BibTeX RDF
11	Gary W. King, Brent Heeringa, David L. Westbrook, Joe Catalano, Paul R. Cohen	Agent modeling: models of defeat.	WSC	2002	DBLP DOI BibTeX RDF
11	Chun Ruan, Vijay Varadharajan	Resolving Conflicts in Authorization Delegations.	ACISP	2002	DBLP DOI BibTeX RDF
11	Maozhen Li 0001, Sheng Zhou, Christopher B. Jones	Multi-agent Systems for Web-Based Map Information Retrieval.	GIScience	2002	DBLP DOI BibTeX RDF
11	Wafa Elgarah, James F. Courtney, John D. Haynes	A Dialectical Methodology for Decision Support Systems Design.	HICSS	2002	DBLP DOI BibTeX RDF	inquiring systems, urban infrastructure, design, decision support systems, dialectics
11	Wen-Tsong Shiue	Low Power Memory Design.	ASAP	2002	DBLP DOI BibTeX RDF
11	Lintao Zhang, Sharad Malik	Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation.	CP	2002	DBLP DOI BibTeX RDF
11	Martin Charles Golumbic, Assaf Siani	Coloring Algorithms for Tolerance Graphs: Reasoning and Scheduling with Interval Constraints.	AISC	2002	DBLP DOI BibTeX RDF
11	Vijayalakshmi Atluri, Soon Ae Chun, Pietro Mazzoleni	A Chinese wall security model for decentralized workflow systems.	CCS	2001	DBLP DOI BibTeX RDF	decentralized workflow execution, self-describing workflow, Chinese wall security policy
11	Andrei State, Jeremy Ackerman, Gentaro Hirota, Joohi Lee, Henry Fuchs	Dynamic Virtual Convergence for Video See-through Head-Mounted Displays: Maintaining Maximum Stereo Overlap throughout a Close-Range Work Space.	ISAR	2001	DBLP DOI BibTeX RDF
11	Jan M. Broersen, Mehdi Dastani, Leendert W. N. van der Torre	Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires.	ECSQARU	2001	DBLP DOI BibTeX RDF
11	Michael Baldamus, Klaus Schneider 0001	The BDD Space Complexity of Different Forms of Concurrency.	ACSD	2001	DBLP DOI BibTeX RDF
11	Norman Ramsey, Elöd Csirmaz	An algebraic approach to file synchronization.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF
11	Junaid A. Khan, Sadiq M. Sait, Salman A. Khan	A fast constructive algorithm for fixed channel assignment problem.	ISCAS (5)	2001	DBLP DOI BibTeX RDF
11	Hyuckchul Jung	Distributed Constraint Satisfaction as a Computational Model of Negotiation via Argumentation.	CP	2001	DBLP DOI BibTeX RDF
11	Dong Xiang, Yi Xu	Partial Reset for Synchronous Sequential Circuits Using Almost Independent Reset Signals.	VTS	2001	DBLP DOI BibTeX RDF
11	Luís Brito, Paulo Novais, José Neves 0001	On the Logical Aspects of Argument-Based Negotiation among Agents.	CIA	2001	DBLP DOI BibTeX RDF	formal specification, agents, logic, argument-based negotiation
11	Jan Chomicki, Jorge Lobo 0001	Monitors for History-Based Policies.	POLICY	2001	DBLP DOI BibTeX RDF
11	Ian W. Marshall, Paul McKee	A Policy Based Management Architecture for Large Scale Active Communication Systems.	POLICY	2001	DBLP DOI BibTeX RDF
11	Ngoc Thanh Nguyen 0001	Reconciling of Disagreeing Data in Web-Based Distributed Systems Using Consensus Methods.	Web Intelligence	2001	DBLP DOI BibTeX RDF
11	Hsu-Chun Yen	Analysis of Self-Stabilization for Infinite-State Systems.	ICECCS	2001	DBLP DOI BibTeX RDF	Petri net, self-stabilization, Decidability, infinite-state system
11	Yan Zhang 0003	The Complexity of Logic Program Updates.	Australian Joint Conference on Artificial Intelligence	2001	DBLP DOI BibTeX RDF
11	Azzedine Boukerche, Terry Tuck	T3C: A Temporally Correct Concurrency Control Algorithm for Distributed Databases.	MASCOTS	2000	DBLP DOI BibTeX RDF
11	Liwei He, Jonathan Grudin, Anoop Gupta	Designing presentations for on-demand viewing.	CSCW	2000	DBLP DOI BibTeX RDF	digital library, video on-demand, streaming media
11	Haiyun Luo, Songwu Lu, Vaduvur Bharghavan	A new model for packet scheduling in multihop wireless networks.	MobiCom	2000	DBLP DOI BibTeX RDF
11	María de los Angeles Constantino-González, Daniel D. Suthers	A Coached Collaborative Learning Environment for Entity-Relationship Modeling.	Intelligent Tutoring Systems	2000	DBLP DOI BibTeX RDF
11	Kristof Beyls, Erik H. D'Hollander	Cache Remapping to Improve the Performance of Tiled Algorithms.	Euro-Par	2000	DBLP DOI BibTeX RDF
11	Ronald G. Ross	Expressing Business Rules.	SIGMOD Conference	2000	DBLP DOI BibTeX RDF
11	Alain Darte, Robert Schreiber, B. Ramakrishna Rau, Frédéric Vivien	A Constructive Solution to the Juggling Problem in Processor Array Synthesis.	IPDPS	2000	DBLP DOI BibTeX RDF	Systolic array synthesis, Affine scheduling
11	Eladio Gutiérrez, Oscar G. Plata, Emilio L. Zapata	A compiler method for the parallel execution of irregular reductions in scalable shared memory multiprocessors.	ICS	2000	DBLP DOI BibTeX RDF
11	Dongyan Xu, Klara Nahrstedt, Arun Viswanathan, Duangdao Wichadakul	QoS and Contention-Aware Multi-Resource Reservation.	HPDC	2000	DBLP DOI BibTeX RDF
11	Ngoc Thanh Nguyen 0001	Using Consensus Methods for Solving Conflicts of Data in Distributed Systems.	SOFSEM	2000	DBLP DOI BibTeX RDF
11	An-Chow Lai, Babak Falsafi	Comparing the effectiveness of fine-grain memory caching against page migration/replication in reducing traffic in DSM clusters.	SPAA	2000	DBLP DOI BibTeX RDF
11	Linda A. Macaulay	Seven-Layer Model of the Role of the Facilitator in Requirements Engineering.	Requir. Eng.	1999	DBLP DOI BibTeX RDF	Distributed teamwork, Requirements capture, CSCW, Groupware, Facilitation, Facilitator
11	Srilatha Manne, Artur Klauser, Dirk Grunwald	Branch Prediction Using Selective Branch Inversion.	IEEE PACT	1999	DBLP DOI BibTeX RDF
11	Kyu-Woong Lee, Myung-Joon Kim, Seog Park	Site-Locking Protocol for Global Concurrency Control in Multidatabase Systems.	IDEAS	1999	DBLP DOI BibTeX RDF
11	Alan J. Broder	Data Mining, the Internet, and Privacy.	WEBKDD	1999	DBLP DOI BibTeX RDF
11	Ming Xiong, Krithi Ramamritham, Jayant R. Haritsa, John A. Stankovic	MIRROR: A State-Conscious Concurrency Control Protocol for Replicated Real-Time Databases.	IEEE Real Time Technology and Applications Symposium	1999	DBLP DOI BibTeX RDF
11	Michael Berger 0001	History-Based Reintegration of Replicated Shared Workspaces.	WETICE	1999	DBLP DOI BibTeX RDF
11	Ming Xiong, Krithi Ramamritham, Jayant R. Haritsa, John A. Stankovic	Mirror: A State-Conscious Concurrency Control Protocol for Replicated Real-Time Databases.	WECWIS	1999	DBLP DOI BibTeX RDF
11	Matthias Menge	Sprungvorhersage in Fließbandprozessoren.	Inform. Spektrum	1998	DBLP DOI BibTeX RDF	Sprungvorhersage, Sprungzielpuffer, Rücksprung-Stack, Fließbandverarbeitung
11	Nobuo Funabiki, Junji Kitamichi	A gradual neural-network algorithm for jointly time-slot/code assignment problems in packet radio networks.	IEEE Trans. Neural Networks	1998	DBLP DOI BibTeX RDF
11	Sen-Tarng Lai, Chien-Chiao Yang	A Software Metric Combination Model for Software Reuse.	APSEC	1998	DBLP DOI BibTeX RDF	RSC, software metrics, Software reuse
11	Takuya Kojima, Atsushi Yoshikawa 0002	A Two-Step Model of Pattern Acquisition: Application to Tsume-Go.	Computers and Games	1998	DBLP DOI BibTeX RDF	pattern acquisition, Tsume-Go, knowledge acquisition, evolutionary learning, Go
11	Pedro Barahona	Defeasible Constraint Solving over the Booleans.	IBERAMIA	1998	DBLP DOI BibTeX RDF
11	Bengt Carlsson, Stefan J. Johansson	An Iterated Hawk-and-Dove Game.	Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications	1997	DBLP DOI BibTeX RDF
11	João P. Marques Silva, Karem A. Sakallah	GRASP - a new search algorithm for satisfiability.	ICCAD	1996	DBLP DOI BibTeX RDF	Non-chronological Backtracking, Automatic Test Pattern Generation, Backtracking, Search Algorithms, Propositional Satisfiability, Electronic Design Automation
11	Michaela Huhn	Action Refinement and Property Inheritance in Systems of Sequential Agents.	CONCUR	1996	DBLP DOI BibTeX RDF
11	Georg Gottlob, Guido Moerkotte, V. S. Subrahmanian	The PARK Semantics for Active Rules.	EDBT	1996	DBLP DOI BibTeX RDF
11	Dean M. Tullsen, Susan J. Eggers	Effective Cache Prefetching on Bus-Based Multiprocessors	ACM Trans. Comput. Syst.	1995	DBLP DOI BibTeX RDF	bus-based multiprocessors, memory latency hiding, false sharing, cache prefetching
11	Gopi K. Attaluri, Jacob Slonim, Per-Åke Larson	Concurrency control with lock preemption and restoration.	CASCON	1995	DBLP BibTeX RDF	non-traditional database applications, concurrency control, locking, transaction management
11	Yoji Yamada, John C. Gyllenhaal, Grant E. Haab, Wen-mei W. Hwu	Data relocation and prefetching for programs with large data sets.	MICRO	1994	DBLP DOI BibTeX RDF	data copying, data relocation, program optimization, software prefetching, cache conflicts
11	Martin R. Frank, James D. Foley	A Pure Reasoning Engine for Programming by Demonstration.	ACM Symposium on User Interface Software and Technology	1994	DBLP DOI BibTeX RDF	programming by demonstration
11	Crispin Cowan	Optimistic replication in HOPE.	CASCON	1992	DBLP BibTeX RDF
11	Yuzo Takamatsu, Kozo Kinoshita	Extended selection of switching target faults in CONT algorithm for test generation.	J. Electron. Test.	1990	DBLP DOI BibTeX RDF	fault target switching, fault simulation, D-algorithm
11	Partha Dasgupta, Zvi M. Kedem	The Five Color Concurrency Control Protocol: Non-Two-Phase Locking in General Databases.	ACM Trans. Database Syst.	1990	DBLP DOI BibTeX RDF
11	Divyakant Agrawal, Amr El Abbadi	Locks with Constrained Sharing.	PODS	1990	DBLP DOI BibTeX RDF
11	Chuen-Liang Chen, Chung-Kai Liao	Analysis of Vector Access Performance on Skewed Interleaved Memory.	ISCA	1989	DBLP DOI BibTeX RDF
11	Margaret H. Eich	Graph Directed Locking.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	lock conversion, database flow graph locking, non-two-phase methods, distributed databases, distributed databases, directed graphs, database theory, directed acyclic graph, system recovery, deadlock-free, database concurrency control
11	Dennis E. Shasha, Marc Snir	Efficient and Correct Execution of Parallel Programs that Share Memory.	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
11	Sanjay R. Radia	Autonomy, local autonomy, and coherence in naming in distributed computer systems.	ACM SIGOPS European Workshop	1988	DBLP DOI BibTeX RDF
11	James R. Larus, Paul N. Hilfinger	Detecting Conflicts Between Structure Accesses.	PLDI	1988	DBLP DOI BibTeX RDF
11	Z. Meral Özsoyoglu, Li-Yan Yuan	A New Normal Form for Nested Relations.	ACM Trans. Database Syst.	1987	DBLP DOI BibTeX RDF
11	Pierre Jouvelot	Semantic parallelization (abstract only): a non-standard denotational approach for imperative programs parallelization.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
11	J. D. Myers	The background of INTERNIST I and QMR.	History of Medical Informatics	1987	DBLP DOI BibTeX RDF