|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3953 occurrences of 2136 keywords
|
|
|
Results
Found 7966 publication records. Showing 7966 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Barbara Mirel |
Product, process, and profit: the politics of usability in a software venture. |
ACM J. Comput. Documentation |
2000 |
DBLP DOI BibTeX RDF |
goal conflict, political support, usability, sociology |
12 | Tuomas Sandholm, Yunhong Zhou |
Surplus Equivalence of Leveled Commitment Contracts. |
ICMAS |
2000 |
DBLP DOI BibTeX RDF |
Foundations (game-theory, economics), Agents in electronic commerce, Mechanism design, Conflict resolution and negotiation |
12 | Toramatsu Shintani, Takayuki Ito 0001, Katia P. Sycara |
Multiple Negotiations among Agents for a Distributed Meeting Scheduler. |
ICMAS |
2000 |
DBLP DOI BibTeX RDF |
Cooperative Information Systems and Teamwork and Cooperation, Conflict Resolution and Negotiation |
12 | Heejun Han, Seog Park, Chanjung Park |
A concurrency control protocol for read-only transactions in real-time secure database systems. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
real-time secure database systems, data conflict resolution, ROT-FREEZE, freezing method, legacy protocols, serializability guarantee, performance evaluations, real-time systems, query processing, concurrency control, database management systems, queries, transaction processing, security of data, software performance evaluation, deadline, access protocols, security requirements, transaction scheduling, read-only transactions, real-time requirements, concurrency control protocol, update transactions |
12 | Chih-Yung Chang, Jang-Ping Sheu, Hsi-Chiuen Chen |
Reducing Cache Conflicts by Multi-Level Cache Partitioning and Array Elements Mapping. |
ICPADS |
2000 |
DBLP DOI BibTeX RDF |
array padding, multi-level cache, cache partitioning, loop tiling, direct mapping, cache conflict |
12 | Yun-Wu Huang, Philip S. Yu |
Lightweight Version Vectors for Pervasive Computing Devices. |
ICPP Workshops |
2000 |
DBLP DOI BibTeX RDF |
Distributed Systems, Pervasive Computing, Conflict Resolution, Data Synchronization |
12 | Guohua Liu, Wenyun Ji, Zijun Chen |
A Graph-Theoretic Approach for Recognizing the User Interpretation without Conflicts. |
TOOLS (36) |
2000 |
DBLP DOI BibTeX RDF |
user interpretation, object-oriented database, normalization, conflict |
12 | Jenn-Yang Ke, Jong-Chuang Tsay |
An Approach to Checking Link Conflicts in the Mapping of Uniform Dependence Algorithms into Lower Dimensional Processor Arrays. |
IEEE Trans. Computers |
1999 |
DBLP DOI BibTeX RDF |
Uniform dependence algorithms, lower dimensional arrays, link conflict, mixed integer linear programming, space-time mapping, Smith normal form, Hermite normal form |
12 | William N. Robinson, Suzanne D. Pawlowski |
Managing Requirements Inconsistency with Development Goal Monitors. |
IEEE Trans. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
inconsistency and conflict management, process modeling and monitoring, Requirements engineering, meta-modeling, CASE |
12 | Jaideep Srivastava, Ping-Yao Chen |
Warehouse Creation - A Potential Roadblock to Data Warehousing. |
IEEE Trans. Knowl. Data Eng. |
1999 |
DBLP DOI BibTeX RDF |
entity identification, attribute value conflict, data mining, data integration, Data warehouse |
12 | Gi-Joon Nam, Karem A. Sakallah, Rob A. Rutenbar |
Satisfiability-Based Layout Revisited: Detailed Routing of Complex FPGAs vis Search-Based Boolean SAT. |
FPGA |
1999 |
DBLP DOI BibTeX RDF |
conflict-directed search, Boolean satisfiability, FPGA routing |
12 | Ninghui Li, Joan Feigenbaum, Benjamin N. Grosof |
A Logic-based Knowledge Representation for Authorization with Delegation. |
CSFW |
1999 |
DBLP DOI BibTeX RDF |
non-monotonicity, conflict handling, knowledge representation, logic programs, Authorization, security policy, trust management, delegation |
12 | Michael Schroeder 0001, Daniela Alina Plewe, Andreas Raab |
ULTIMA RATIO - A Visual Language for Argumentation. |
IV |
1999 |
DBLP DOI BibTeX RDF |
Argumentation, Reasoning, Visualisation, Conflict Resolution |
12 | S. Misbah Deen |
Resolution of Preferential Conflicts in Agent Based Cooperative Processes. |
ICPP Workshops |
1999 |
DBLP DOI BibTeX RDF |
Conflict Resolution, Preferences, Cooperation Model |
12 | Gagan Hasteer, Prithviraj Banerjee |
A Parallel Algorithm for State Assignment of Finite State Machines. |
IEEE Trans. Computers |
1998 |
DBLP DOI BibTeX RDF |
linear speedup, Encoding, portable, conflict resolution, state assignment |
12 | Pen-Yuang Chang, Jong-Chuang Tsay |
An Approach to Designing Modular Extensible Linear Arrays for Regular Algorithms. |
IEEE Trans. Computers |
1998 |
DBLP DOI BibTeX RDF |
conflict-free mapping, modular extensible, optimal spacetime mapping, regular algorithm, unimodular matrix, VLSI, systolic array, data dependency, linear array, Algorithm transformation |
12 | Elena Rocco |
Trust Breaks Down in Electronic Contexts But Can Be Repaired by Some Initial Face-to-Face Contact. |
CHI |
1998 |
DBLP DOI BibTeX RDF |
cooperation and conflict, CSCW, trust, teamwork |
12 | Kenji Suehiro, Hitoshi Murai, Yoshiki Seo |
Integer Sorting on Shared-Memory Vector Parallel Computers. |
International Conference on Supercomputing |
1998 |
DBLP DOI BibTeX RDF |
particle pusher, store conflict, parallelization, vectorization, integer sorting |
12 | Thomas Butler, Brian Fitzgerald 0001 |
A case study of user participation in the information systems development process. |
ICIS |
1997 |
DBLP BibTeX RDF |
IS development strategies, participative policies and structures, political conflict, user representation, change management, user involvement, user participation, organizational culture, systems implementation |
12 | Justus Klingemann, Thomas Tesch, Jürgen Wäsch |
Enabling Cooperation among Disconnected Mobile Users. |
CoopIS |
1997 |
DBLP DOI BibTeX RDF |
disconnected mobile users, workgroup computing, temporary disconnection, COACT cooperative transaction model, cooperative activity model, parallel disconnected activities, resolvable simultaneous work, merge algorithm, conflict reduction, consistent operation sequences, mobile computing, groupware, operational semantics, data sharing, cooperative work, mobile environments, disconnected operation, limited bandwidth |
12 | Nur A. Touba |
Obtaining High Fault Coverage with Circular BIST Via State Skipping. |
VTS |
1997 |
DBLP DOI BibTeX RDF |
Circular BIST, Circular Self-Test Path, Conflict Matrix, Column Covering, Built-In Self-Test (BIST), Linear Feedback Shift Register, Pseudo-Random Testing, Digital Testing |
12 | William N. Robinson, Vecheslav Volkov |
A Meta-Model for Restructuring Stakeholder Requirements. |
ICSE |
1997 |
DBLP DOI BibTeX RDF |
stakeholder conflict analysis, negotiation, meta-modeling, requirements/specification |
12 | Meng-chou Chang, Feipei Lai |
Efficient Exploitation of Instruction-Level Parallelism for Superscalar Processors by the Conjugate Register File Scheme. |
IEEE Trans. Computers |
1996 |
DBLP DOI BibTeX RDF |
multilevel boosting, shadow register file, conjugate register file, scheduling-conflict graph, Instruction-level parallelism, speculative execution, superscalar processors |
12 | Mohamed-Lyes Benalycherif, Claude Girault |
Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Colored FIFO Nets. |
Application and Theory of Petri Nets |
1996 |
DBLP DOI BibTeX RDF |
blocking relation, colored FIFO nets, equal conflict, freeing relation, synchronization medium, synchronization, state machine, compositionality, liveness |
12 | Leslie Klieb |
Distributed disconnected databases. |
SAC |
1996 |
DBLP DOI BibTeX RDF |
optimistic peer-to peer synchronization, mobile computing, databases, conflict resolution |
12 | Xiaojun Shen |
An Optimal O(NlgN) Algorithm for Permutation Admissibility to Extra-Stage Cube-Type Networks. |
IEEE Trans. Computers |
1995 |
DBLP DOI BibTeX RDF |
extra-stage cube-type network, permutation admissibility, lower bound, graph coloring, Conflict graph |
12 | S. W. Thomas, Elke A. Rundensteiner, Amy J. Lee |
Visualization and database tools for YAC and cosmid contig construction. |
HICSS (5) |
1995 |
DBLP DOI BibTeX RDF |
gene map visualization tools, database tools, YAC, cosmid contig construction, YAC-Cosmid contig tool, fine-scale ordering inference, gene searches, editing tool, Physical Map Assembler, a rule-based interval-ordering approach, active object-oriented database, ambiguity identification, usability, query processing, object-oriented databases, conflict resolution, data visualisation, active databases, genetics, biology computing, large data sets, user query, experimental data |
12 | Wen-mei W. Hwu, Thomas M. Conte |
The Susceptibility of Programs to Context Switching. |
IEEE Trans. Computers |
1994 |
DBLP DOI BibTeX RDF |
program susceptibility, memory system performance degradation, single-pass method, recurrence/conflict model, voluntary context switches, involuntary context switches, length distribution, address referencing, cache flushing, SPEC89 benchmarks, simulation, performance evaluation, performance analysis, memory hierarchy, cache memories, memory architecture, buffer storage, multiprogramming, multiprogramming, design space, context switching |
12 | Myung K. Yang, Chita R. Das |
Evaluation of a Parallel Branch-and-Bound Algorithm on a Class of Multiprocessors. |
IEEE Trans. Parallel Distributed Syst. |
1994 |
DBLP DOI BibTeX RDF |
parallel branch-and-bound algorithm, MIN-based multiprocessorsystems, serial best-first search, conflict-free mapping scheme, performance evaluation, parallel algorithms, multiprocessor interconnection networks, multiprocessing systems, probabilistic model, communication overheads, computation overheads |
12 | Philip J. Bernhard, Daniel J. Rosenkrantz |
Partitioning Message Patterns for Bundled Omega Networks. |
IEEE Trans. Parallel Distributed Syst. |
1994 |
DBLP DOI BibTeX RDF |
bundled omega networks, communication conflict, conflicting messages, interconnection links, on-line heuristics, computational complexity, interconnection network, heuristic, multiprocessor, partitioning, NP-complete, multiprocessor interconnection networks, communication complexity, telecommunication network routing, message routing, message patterns, performance ratio |
12 | S. Manivannan, S. A. Guthrie |
A Knowledge-Based Fatal Incident Decision Model. |
IEEE Trans. Knowl. Data Eng. |
1994 |
DBLP DOI BibTeX RDF |
emergency services, knowledge-based fatal incident decision model, remains identification, mass disaster, FINDM, forensic scientists, skeletal ID process, network flow algorithm, observation advisor, assignment advisor, antemortem data, postmortem analysis, forensic anthropology, trait evaluations, regression equations, contradiction factor, pattern recognition, knowledge representation, knowledge representation, decision support systems, expert systems, knowledge acquisition, knowledge acquisition, decision support, knowledge base, conflict resolution, domain knowledge, IBM PC, disasters, anthropology |
12 | Stefano Spaccapietra, Christine Parent |
View Integration: A Step Forward in Solving Structural Conflicts. |
IEEE Trans. Knowl. Data Eng. |
1994 |
DBLP DOI BibTeX RDF |
structural conflict resolution, schema integration techniques, schema representations, schema modification, formal declarative approach, inter-view correspondences, structural mappings, operational mappings, integrated schema, data structures, data structures, distributed databases, database management systems, data models, database theory, database design, user satisfaction, database integration, entity-relationship modelling, entity-relationship modelling, user involvement, view integration, database administrator, federated systems, real-world objects |
12 | Kan-Sheng Shi, Hong-Jun Lu |
View generation based on equivalence framework in object-oriented multidatabase systems. |
SAC |
1994 |
DBLP DOI BibTeX RDF |
object-oriented view, visualization, conflict resolution, schema integration, multidatabase |
12 | Philip J. Bernhard |
Bounds on the Performance of Message Routing Heuristics. |
IEEE Trans. Computers |
1993 |
DBLP DOI BibTeX RDF |
message routing heuristics, communication conflicts, minimum round partitioning problem, performance evaluation, performance, computational complexity, heuristics, lower bounds, message passing, multiprocessor interconnection networks, upper bounds, network routing, omega network, message patterns, conflict-free |
12 | Nobuo Funabiki, Yoshiyasu Takefuji, Kuo Chun Lee |
Comparisons of Seven Neural Network Models on Traffic Control Problems in Multistage Interconnection Networks. |
IEEE Trans. Computers |
1993 |
DBLP DOI BibTeX RDF |
traffic control problems, decay term, conflict-free switching configurations, hysteresis McCullock-Pitts neuron model, parallel algorithms, heuristics, multiprocessor interconnection networks, neural nets, multistage interconnection networks, simulation results, neural network models, neuron models |
12 | Thomas F. Keefe, Wei-Tek Tsai, Jaideep Srivastava |
Database Concurrency Control in Multilevel Secure Database Management Systems. |
IEEE Trans. Knowl. Data Eng. |
1993 |
DBLP DOI BibTeX RDF |
multilevel secure database management systems, concurrent transaction execution, multilevel secure DBMS, MLS/DBMS, data conflict security, output-state-equivalent, DC-security, scheduling, distributed databases, concurrency control, transaction processing, security of data, contention, covert channels, rollback, database concurrency control, security issues, scheduling protocols |
12 | Derek L. Nazareth |
Investigating the Applicability of Petri Nets for Rule-Based System Verification. |
IEEE Trans. Knowl. Data Eng. |
1993 |
DBLP DOI BibTeX RDF |
rule-based system verification, errors of redundancy, Petri nets, Petri nets, knowledge based systems, error detection, knowledge bases, conflict, domain knowledge, circularity |
12 | Kazuo Okamura |
Combining local negotiation and global planning in cooperative software development projects. |
COOCS |
1993 |
DBLP DOI BibTeX RDF |
version and configuration management, planning, negotiation, conflict resolution, change management, software project management |
12 | Atul Prakash 0001, Michael J. Knister |
Undoing Actions in Collaborative Work. |
CSCW |
1992 |
DBLP DOI BibTeX RDF |
conflict analysis, collaboration, groupware, undo |
12 | J. Richard Burke, Chienhua Chen, Tsung-Ying Lee, Dharma P. Agrawal |
Performance Analysis of Single Stage Interconnection Networks. |
IEEE Trans. Computers |
1991 |
DBLP DOI BibTeX RDF |
single stage interconnection networks, recirculation, analytical probability model, simulation, performance evaluation, routing, performance analysis, multiprocessor interconnection networks, queueing theory, conflict resolution, buffers, switches, processors, loading, CPU time |
12 | Tzong-An Su, Gultekin Özsoyoglu |
Controlling FD and MVD Inferences in Multilevel Relational Database Systems. |
IEEE Trans. Knowl. Data Eng. |
1991 |
DBLP DOI BibTeX RDF |
FD inferences, attribute classification, MVD inferences, multilevel relational database, record classification, FD-compromises, minimum information loss, MVD-compromises, conflict-free MVDs, computational complexity, relational databases, database theory, inference mechanisms, functional dependencies, NP-complete problem, exact algorithm, necessary and sufficient conditions, multivalued dependencies |
12 | Louis-François Pau |
Artificial Intelligence and Financial Services. |
IEEE Trans. Knowl. Data Eng. |
1991 |
DBLP DOI BibTeX RDF |
conflict resolution strategies, specific design techniques, decision technology, delivery environments, generic domain utilities, customized systems, object-oriented features, revealed beliefs, investment decision criteria, currency risk management, knowledge-based techniques, financial information retrieval, artificial intelligence, data structures, data structures, knowledge representation, knowledge representation, knowledge based systems, decision support systems, formal analysis, financial data processing, financial services, preference aggregation, logic programming environments |
12 | Israel Cidon, Moshe Sidi |
Distributed Assignment Algorithms for Multihop Packet Radio Networks. |
IEEE Trans. Computers |
1989 |
DBLP DOI BibTeX RDF |
multihop packet radio networks, distributed dynamic channel assignment, conflict-free transmissions, control segment, transmission segment, packet switching, time-division multiple access, radio networks |
12 | Harry A. G. Wijshoff, Jan van Leeuwen |
On Linear Skewing Schemes and d-Ordered Vectors. |
IEEE Trans. Computers |
1987 |
DBLP DOI BibTeX RDF |
d-ordered vectors, linear skewing schemes, SIMD machines, Conflict-free access, parallel memories, two-dimensional arrays |
12 | Kostas O. Siomalas, B. Archie Bowen |
Performance of Cross-Bar Multiprocessor Systems. |
IEEE Trans. Computers |
1983 |
DBLP DOI BibTeX RDF |
C/P ratio, Markov chains, multiprocessors, Cost, performance bottleneck, memory conflict |
12 | Duncan H. Lawrie, Chandra R. Vora |
The Prime Memory System for Array Access. |
IEEE Trans. Computers |
1982 |
DBLP DOI BibTeX RDF |
SIMD computer memory, Array access, Burroughs Scientific Processor (BSP) conflict-free array memory, memory system, parallel computer system |
12 | Joseph A. Fisher |
Trace Scheduling: A Technique for Global Microcode Compaction. |
IEEE Trans. Computers |
1981 |
DBLP DOI BibTeX RDF |
global microcode optimization, microcode compaction, parallel instruction scheduling, parallel processing, Data dependency, resource conflict |
12 | Chuan-lin Wu, Tse-Yun Feng |
On a Class of Multistage Interconnection Networks. |
IEEE Trans. Computers |
1980 |
DBLP DOI BibTeX RDF |
routing techniques, parallel processing, interconnection networks, computer architecture, conflict resolution, network configurations, SIMD machine, Array processing, multiple- processor systems, MIMD machine |
12 | Philip A. Bernstein, David W. Shipman, James B. Rothnie Jr. |
Concurrency Control in a System for Distributed Databases (SDD-1). |
ACM Trans. Database Syst. |
1980 |
DBLP DOI BibTeX RDF |
synchronization, concurrency control, serializability, timestamps, distributed database system, conflict graph |
12 | Philip A. Bernstein, David W. Shipman |
The Correctness of Concurrency Control Mechanisms in a System for Distributed Databases (SDD-1). |
ACM Trans. Database Syst. |
1980 |
DBLP DOI BibTeX RDF |
correctness of concurrency control, serializability theory, distributed database system, conflict graph |
12 | Kwok-Tung Fung, Hwa C. Torng |
On the Analysis of Memory Conflicts and Bus Contentions in a Multiple-Microprocessor System. |
IEEE Trans. Computers |
1979 |
DBLP DOI BibTeX RDF |
multiple-microprocessor system, interference, memory mapping, memory conflict, Bus contention |
11 | Justin Emile Gottschlich, Manish Vachharajani, Jeremy G. Siek |
An efficient software transactional memory using commit-time invalidation. |
CGO |
2010 |
DBLP DOI BibTeX RDF |
commit-time invalidation, software transactional memory |
11 | Eric Koskinen, Matthew J. Parkinson, Maurice Herlihy |
Coarse-grained transactions. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
coarse-grained transactions, movers, transactional boosting, transactional memory, abstract data-types, commutativity |
11 | Yue Xu, Chris Chu |
A matching based decomposer for double patterning lithography. |
ISPD |
2010 |
DBLP DOI BibTeX RDF |
doubel patterning lithography, planar graph, matching algorithm |
11 | Kai Lu, Ruibo Wang, Xicheng Lu |
Brief announcement: NUMA-aware transactional memory. |
PODC |
2010 |
DBLP DOI BibTeX RDF |
transactional memory, numa |
11 | Matei Zaharia, Dhruba Borthakur, Joydeep Sen Sarma, Khaled Elmeleegy, Scott Shenker, Ion Stoica |
Delay scheduling: a simple technique for achieving locality and fairness in cluster scheduling. |
EuroSys |
2010 |
DBLP DOI BibTeX RDF |
scheduling, cluster computing, mapreduce, fair sharing |
11 | Ferad Zyulkyarov, Tim Harris 0001, Osman S. Unsal, Adrián Cristal, Mateo Valero |
Debugging programs that use atomic blocks and transactional memory. |
PPoPP |
2010 |
DBLP DOI BibTeX RDF |
debugging, transactional memory |
11 | Petar Djukic, Shahrokh Valaee |
Delay aware link scheduling for multi-hop TDMA wireless networks. |
IEEE/ACM Trans. Netw. |
2009 |
DBLP DOI BibTeX RDF |
TDMA scheduling algorithms, scheduling delay, stop-and-go queueing |
11 | Germano Resconi, Boris Kovalerchuk |
Agents' model of uncertainty. |
Knowl. Inf. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Uncertainty logic, Conflicting agents, Fuzzy logic, Rough sets, Intuitionistic fuzzy sets, Evidence theory, Contradiction, Ignorance |
11 | Haiyan Xu 0001, Keith W. Hipel, D. Marc Kilgour |
Matrix Representation of Solution Concepts in Multiple-Decision-Maker Graph Models. |
IEEE Trans. Syst. Man Cybern. Part A |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Praveen Danturi, Mikhail Nesterenko, Sébastien Tixeuil |
Self-stabilizing philosophers with generic conflicts. |
ACM Trans. Auton. Adapt. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Self-stabilization, dining philosophers |
11 | Rami Al-Motlak, Jerzy W. Rozenblit, Faisal Momen |
A Distributed Computing Framework for Parallelization of Coevolution in Multi-sided Conflicts. |
ECBS |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Frédéric Dehais, Stéphane Mercier, Catherine Tessier |
Conflicts in Human Operator - Unmanned Vehicles Interactions. |
HCI (17) |
2009 |
DBLP DOI BibTeX RDF |
human automation conflits, adaptive autonomy, authority sharing |
11 | Colleen L. Phillips, Norman D. Geddes, Justin T. Simms |
A Visualization Approach for Group Behaviors, Beliefs and Intentions to Support Critical Decisions. |
HCI (12) |
2009 |
DBLP DOI BibTeX RDF |
stratagemical behaviors, data visualization, beliefs, group modeling |
11 | Michael D. Ekstrand, John Riedl |
rv you're dumb: identifying discarded work in Wiki article history. |
Int. Sym. Wikis |
2009 |
DBLP DOI BibTeX RDF |
article history, visualization, Wiki, Wikipedia |
11 | Chun Ruan, Vijay Varadharajan |
Reasoning on Weighted Delegatable Authorizations. |
DEXA |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Martin Gebser, Max Ostrowski, Torsten Schaub |
Constraint Answer Set Solving. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Ed H. Chi |
Augmented social cognition: using social web technology to enhance the ability of groups to remember, think, and reason. |
SIGMOD Conference |
2009 |
DBLP DOI BibTeX RDF |
augmented social cognition, modeling, hci, wikipedia, cscw, social tagging, research methods, characterization, social web, overview, summary, social system, delicious |
11 | Kuang-Yao Lee, Shing-Tung Lin, Ting-Chi Wang |
Redundant via insertion with wire bending. |
ISPD |
2009 |
DBLP DOI BibTeX RDF |
redundant via, wire bending, integer linear program |
11 | Tamas Györfi, Octavian Cret, Alin Suciu |
High performance true random number generator based on FPGA block RAMs. |
IPDPS |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Aleksandar Dragojevic, Rachid Guerraoui, Michal Kapalka |
Stretching transactional memory. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
benchmarks, software transactional memories |
11 | Bas Schaafsma, Marijn Heule, Hans van Maaren |
Dynamic Symmetry Breaking by Simulating Zykov Contraction. |
SAT |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Jingyu Hua, Mingchu Li, Kouichi Sakurai, Yizhi Ren |
Efficient Intrusion Detection Based on Static Analysis and Stack Walks. |
IWSEC |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Weihan Wang, Cristiana Amza |
On Optimal Concurrency Control for Optimistic Replication. |
ICDCS |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Mei-Fang Chiang, Takumi Okamoto, Takeshi Yoshimura |
Lagrangian relaxation based register placement for high-performance circuits. |
ISQED |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Salem Fawaz Adra, Peter J. Fleming |
A Diversity Management Operator for Evolutionary Many-Objective Optimisation. |
EMO |
2009 |
DBLP DOI BibTeX RDF |
Evolutionary Multiobjective optimisation, Diversity requirement |
11 | Alexander Felfernig, Markus Mairitsch, Monika Mandl, Monika Schubert, Erich Teppan |
Utility-Based Repair of Inconsistent Requirements. |
IEA/AIE |
2009 |
DBLP DOI BibTeX RDF |
Utility-based Repair, Diagnosis, Knowledge-based Recommenders |
11 | Kun Yuan, Katrina Lu, David Z. Pan |
Double patterning lithography friendly detailed routing with redundant via consideration. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
double patterning, redundant via, detailed routing |
11 | Adriaan ter Mors, Jeroen van Belle, Cees Witteveen |
Context-aware multi-stage routing. |
AAMAS (1) |
2009 |
DBLP BibTeX RDF |
multi-stage routing, agents |
11 | Natsumi Kitajima, Yuichi Goto, Jingde Cheng |
Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control. |
HAIS |
2009 |
DBLP DOI BibTeX RDF |
Terminal radar control, Anticipatory reasoning-reacting system, Decision-making, Reasoning about actions |
11 | Yi-Sheng Su, Szu-Lin Su, Jung-Shian Li |
Topology-Independent Link Activation Scheduling Schemes for Mobile CDMA Ad Hoc Networks. |
IEEE Trans. Mob. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Medium access control (MAC) protocols, Topology-independent scheduling, Link activation scheduling, Group divisible (GD) designs, Quality-of-service (QoS), Ad hoc networks, Code-division multiple-access (CDMA) |
11 | Zhonghai Lu, Axel Jantsch |
TDM Virtual-Circuit Configuration for Network-on-Chip. |
IEEE Trans. Very Large Scale Integr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Aditya Karnik, Aravind Iyer, Catherine Rosenberg |
Throughput-optimal configuration of fixed wireless networks. |
IEEE/ACM Trans. Netw. |
2008 |
DBLP DOI BibTeX RDF |
fixed wireless networks, optimal scheduling and routing, capacity, mesh networks, IEEE 802.16 |
11 | Stijn B. J. Van Dam, Max Mulder, M. M. van Paassen |
Ecological Interface Design of a Tactical Airborne Separation Assistance Tool. |
IEEE Trans. Syst. Man Cybern. Part A |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Asadollah Shahbahrami, Ben H. H. Juurlink, Stamatis Vassiliadis |
Implementing the 2-D Wavelet Transform on SIMD-Enhanced General-Purpose Processors. |
IEEE Trans. Multim. |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Susan K. Numrich |
Culture, Models, and Games: Incorporating Warfare's Human Dimension. |
IEEE Intell. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Hans A. R. Manhaeve |
The Quest for Test: Will Redundancy Cover All? |
DDECS |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Jaehoon Kim, Kangsoo Jung, Seog Park |
An RDF triple based access authorization specification considering subsumption relationships. |
ICDE Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Hany E. Ramadan, Christopher J. Rossbach, Emmett Witchel |
Dependence-aware transactional memory for increased concurrency. |
MICRO |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Martín Abadi, Andrew Birrell, Tim Harris 0001, Michael Isard |
Semantics of transactional memory and automatic mutual exclusion. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
STM, transactional memory, operational semantics |
11 | Behram Khan, Matthew Horsnell, Ian Rogers, Mikel Luján, Andrew Dinn, Ian Watson |
An Object-Aware Hardware Transactional Memory System. |
HPCC |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Jui-Feng Weng, Shian-Shyong Tseng, Jun-Ming Su |
An Ontology Crystallization Approach to Designing Performance-Based Testing Scenario. |
WSKS (2) |
2008 |
DBLP DOI BibTeX RDF |
modified Delphi Method, ontology crystallization, wiki, Collaborative design |
11 | Xiaoqiang Zhang, Lin Peng, Lunguo Xie |
A Lightweight Snapshot-based Algorithm for Software Transactional Memory. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Stefan D. Bruda, Yuanqiao Zhang |
Why shared memory matters to VLSI design: The BSR is as powerful as reconfiguration. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Jin Xiong, Jianyu Li, Rongfeng Tang, Yiming Hu |
Improving data availability for a cluster file system through replication. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Dehai Liu |
Terrorism Root Cause Analysis Based on Subjective Game Model. |
WKDD |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Wen Jiang, An Zhang 0002, Qi Yang |
A New Method to Determine Evidence Discounting Coefficient. |
ICIC (1) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Yong Ding 0002, Yi Huang, Guo-Kai Zeng, Li Xiao 0001 |
Channel assignment with partially overlapping channels in wireless mesh networks. |
WICON |
2008 |
DBLP DOI BibTeX RDF |
partially overlapping channel, genetic algorithm, wireless mesh networks, channel assignment |
11 | Utomo Sarjono Putro, Manahan Siallagan, Santi Novani, Dhanan Sarwo Utomo |
Managing Collaboration Using Agent Based Simulation. |
PRIMA |
2008 |
DBLP DOI BibTeX RDF |
Dilemma, Drama Theory, Emotion, Negotiation, Agent based Simulation |
11 | Rong-Lei Sun |
Study on the Non-expandability of DNF and Its Application to Incremental Induction. |
ICIRA (1) |
2008 |
DBLP DOI BibTeX RDF |
Incremental induction, Machine learning, Artificial intelligence, Boolean algebra |
|
|