PALMINI—fast Boolean minimizer for personal computers
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
PSB graphs for simulating cooperative and distributed program behavior
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
ACM Computing Surveys (CSUR)
Load/store range analysis for global register allocation
PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
Speculative query evaluation over databases of plans
CIKM '93 Proceedings of the second international conference on Information and knowledge management
RE2C: a more versatile scanner generator
ACM Letters on Programming Languages and Systems (LOPLAS)
Interface definition language conversions: recursive types
IDL '94 Proceedings of the workshop on Interface definition languages
A tool for the deterministic scheduling of real-time programs implemented as periodic Ada tasks
SETA2 Proceedings of the second international symposium on Environments and tools for Ada
Computational Issues in Secure Interoperation
IEEE Transactions on Software Engineering
Fault-Tolerance Through Scheduling of Aperiodic Tasks in Hard Real-Time Multiprocessor Systems
IEEE Transactions on Parallel and Distributed Systems
A parallel two-list algorithm for the knapsack problem
Parallel Computing
Using name-based mappings to increase hit rates
IEEE/ACM Transactions on Networking (TON)
On the Removal of Anti- and Output-Dependences
International Journal of Parallel Programming
Approximation algorithms for directed Steiner problems
Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms
Trade-offs between speed and processor in hard-deadline scheduling
Proceedings of the tenth annual ACM-SIAM symposium on Discrete algorithms
Equivalences Among Relational Expressions with the Union and Difference Operators
Journal of the ACM (JACM)
A Theory of Safe Locking Policies in Database Systems
Journal of the ACM (JACM)
A parallel algorithm for mapping a special class of task graphs onto linear array multiprocessors
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Simultaneous shield insertion and net ordering for capacitive and inductive coupling minimization
ISPD '00 Proceedings of the 2000 international symposium on Physical design
Data management in hierarchical bus networks
Proceedings of the twelfth annual ACM symposium on Parallel algorithms and architectures
Cryptanalysis of the Matsumoto and Imai Public Key Schemeof Eurocrypt‘98
Designs, Codes and Cryptography
Thread partitioning method for hardware compiler bach
ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference
A Dynamic Programming Approach to Optimal Integrated Code Generation
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
A physicist's approach to number partitioning
Theoretical Computer Science - Phase transitions in combinatorial problems
Matrix Multiplication on Heterogeneous Platforms
IEEE Transactions on Parallel and Distributed Systems
A Proposal for a Heterogeneous Cluster ScaLAPACK (Dense Linear Solvers)
IEEE Transactions on Computers
Capacitated vertex covering with applications
SODA '02 Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms
A data model and algebra for probabilistic complex values
Annals of Mathematics and Artificial Intelligence
Machine Learning on the Basis of Formal Concept Analysis
Automation and Remote Control
Using intersection matrices to identify graphical structure
Statistics and Computing
Improved load distribution in parallel sparse cholesky factorization
Proceedings of the 1994 ACM/IEEE conference on Supercomputing
Effective Data Placement for Wireless Broadcast
Distributed and Parallel Databases
Synthesis of Scan Chains for Netlist Descriptions at RT-Level
Journal of Electronic Testing: Theory and Applications
Dense linear algebra kernels on heterogeneous platforms: redistribution issues
Parallel Computing - Parallel matrix algorithms and applications
A Characterization of Binary Decision Diagrams
IEEE Transactions on Computers
Data Allocation on Wireless Broadcast Channels for Efficient Query Processing
IEEE Transactions on Computers
Efficient Join-Index-Based Spatial-Join Processing: A Clustering Approach
IEEE Transactions on Knowledge and Data Engineering
General partitioning on random graphs
Journal of Algorithms
Estimating the Work in Integer Partitioning
Computing in Science and Engineering
A Realistic Model and an Efficient Heuristic for Scheduling with Heterogeneous Processors
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
A Web-Based Parallel PDE Solver Generation System for Distributed Memory Computing Environments
COMPSAC '00 24th International Computer Software and Applications Conference
RSES and RSESlib - A Collection of Tools for Rough Set Computations
RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
A New Version of Rough Set Exploration System
TSCTC '02 Proceedings of the Third International Conference on Rough Sets and Current Trends in Computing
A Proposal of DNA Computing on Beads with Application to SAT Problems
DNA 7 Revised Papers from the 7th International Workshop on DNA-Based Computers: DNA Computing
Shortening the Computational Time of the Fluorescent DNA Computing
DNA8 Revised Papers from the 8th International Workshop on DNA Based Computers: DNA Computing
A Fast and Secure Implementation of Sflash
PKC '03 Proceedings of the 6th International Workshop on Theory and Practice in Public Key Cryptography: Public Key Cryptography
Generic Attacks and the Security of Quartz
PKC '03 Proceedings of the 6th International Workshop on Theory and Practice in Public Key Cryptography: Public Key Cryptography
Constraint Driven Pin Mapping for Concurrent SOC Testing
ASP-DAC '02 Proceedings of the 2002 Asia and South Pacific Design Automation Conference
ISSS '96 Proceedings of the 9th international symposium on System synthesis
On Detecting Global Predicates in Distributed Computations
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Energy-aware data-centric routing in microsensor networks
MSWIM '03 Proceedings of the 6th ACM international workshop on Modeling analysis and simulation of wireless and mobile systems
Sharc: Managing CPU and Network Bandwidth in Shared Clusters
IEEE Transactions on Parallel and Distributed Systems
Scheduling divisible workloads on heterogeneous platforms
Parallel Computing - Parallel matrix algorithms and applications (PMAA '02)
Computer Networks: The International Journal of Computer and Telecommunications Networking
Algorithms for Colouring Random k-colourable Graphs
Combinatorics, Probability and Computing
Scheduling Strategies for Master-Slave Tasking on Heterogeneous Processor Platforms
IEEE Transactions on Parallel and Distributed Systems
The Steiner Problem in Graphs: Topological Methods of Solution
Automation and Remote Control
A General Scheme for Solving an NP-hard Problem in the Strong Sense of the Scheduling Theory
Automation and Remote Control
A Probabilistic Approach to Metasearching with Adaptive Probing
ICDE '04 Proceedings of the 20th International Conference on Data Engineering
The complexity of recognition of linguistically adequate dependency grammars
ACL '98 Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics and Eighth Conference of the European Chapter of the Association for Computational Linguistics
Mapping and Load-Balancing Iterative Computations
IEEE Transactions on Parallel and Distributed Systems
Machine Learning
Local Optimization in the Steiner Problem on the Euclidean Plane
Automation and Remote Control
Automation and Remote Control
Joint Application Mapping/Interconnect Synthesis Techniques for Embedded Chip-Scale Multiprocessors
IEEE Transactions on Parallel and Distributed Systems
Why Order Matters: Turing Equivalence in Automated Systems Administration
LISA '02 Proceedings of the 16th USENIX conference on System administration
Detachments of Complete Graphs
Combinatorics, Probability and Computing
Resolution cannot polynomially simulate compressed-BFS
Annals of Mathematics and Artificial Intelligence
Journal of Global Optimization
Minimum power configuration in wireless sensor networks
Proceedings of the 6th ACM international symposium on Mobile ad hoc networking and computing
Computing in Science and Engineering
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Choice of an Optimal Set of Geotechnical Jobs at Oil Fields: Models and Algorithms
Automation and Remote Control
Building k-edge-connected neighborhood graph for distance-based data projection
Pattern Recognition Letters
Threshold values of random K-SAT from the cavity method
Random Structures & Algorithms
Fast timing closure by interconnect criticality driven delay relaxation
ICCAD '05 Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Hard and soft constraints for reasoning about qualitative conditional preferences
Journal of Heuristics
A combined gate replacement and input vector control approach for leakage current reduction
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Achieving anonymity via clustering
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Efficient query processing on unstructured tetrahedral meshes
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Analysis and optimization of distributed real-time embedded systems
Proceedings of the 41st annual Design Automation Conference
Utilization and fairness in spectrum assignment for opportunistic spectrum access
Mobile Networks and Applications
Optimal path selection for minimizing the differential delay in ethernet-over-SONET
Computer Networks: The International Journal of Computer and Telecommunications Networking
Visual style: Qualitative and context-dependent categorization
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Proceedings of the 5th international conference on Generative programming and component engineering
FPGA-friendly code compression for horizontal microcoded custom IPs
Proceedings of the 2007 ACM/SIGDA 15th international symposium on Field programmable gate arrays
Genetic algorithm for the personnel assignment problem with multiple objectives
Information Sciences: an International Journal
Efficient index and data allocation for wireless broadcast services
Data & Knowledge Engineering
Complexity of reachability problems for finite discrete dynamical systems
Journal of Computer and System Sciences
Using genetic algorithms to solve quality-related bin packing problem
Robotics and Computer-Integrated Manufacturing
Area-preserving approximations of polygonal paths
Journal of Discrete Algorithms
Exact algorithms and applications for Tree-like Weighted Set Cover
Journal of Discrete Algorithms
Finding biclusters by random projections
Theoretical Computer Science
TAP: Traffic-aware topology control in on-demand ad hoc networks
Computer Communications
Effective query aggregation for data services in sensor networks
Computer Communications
A non-preemptive scheduling algorithm for soft real-time systems
Computers and Electrical Engineering
Boundary labeling: Models and efficient algorithms for rectangular maps
Computational Geometry: Theory and Applications
Dynamic multicast routing algorithm for delay and delay variation-bounded Steiner tree problem
Knowledge-Based Systems
The strong metric dimension of graphs and digraphs
Discrete Applied Mathematics
Solution techniques for the Large Set Covering Problem
Discrete Applied Mathematics
Polynomial time approximation schemes and parameterized complexity
Discrete Applied Mathematics
An optimal parallel solution for the path cover problem on P4-sparse graphs
Journal of Parallel and Distributed Computing
An improved exact algorithm for the domatic number problem
Information Processing Letters
Computational approaches to a combinatorial optimization problem arising from text classification
Computers and Operations Research
Single machine scheduling problems with resource dependent release times
Computers and Operations Research
Solving a large-scale precedence constrained scheduling problem with elastic jobs using tabu search
Computers and Operations Research
The constrained compartmentalised knapsack problem
Computers and Operations Research
Parallel image restoration using surrogate constraint methods
Journal of Parallel and Distributed Computing
Frontiers of tractability for typechecking simple XML transformations
Journal of Computer and System Sciences
Maximum transversal in partial Latin squares and rainbow matchings
Discrete Applied Mathematics
Simulating combinatorial auctions with dominance requirement and loll bids through automated agents
Decision Support Systems
Syndicating Web Services: A QoS and user-driven approach
Decision Support Systems
Computers and Operations Research
A heuristic approach for the continuous error localization problem in data cleaning
Computers and Operations Research
Designing cost-effective content distribution networks
Computers and Operations Research
An improved algorithm for the p-center problem on interval graphs with unit lengths
Computers and Operations Research
On the relationship between ATSP and the cycle cover problem
Theoretical Computer Science
Maximum integer multiflow and minimum multicut problems in two-sided uniform grid graphs
Journal of Discrete Algorithms
Fast algorithms for robust classification with Bayesian nets
International Journal of Approximate Reasoning
International Journal of Approximate Reasoning
Reduction strategies and exact algorithms for the disjunctively constrained knapsack problem
Computers and Operations Research
A branch-and-cut algorithm for the continuous error localization problem in data cleaning
Computers and Operations Research
Reliable overlay multicast trees for private Internet broadcasting with multiple sessions
Computers and Operations Research
Efficient scheduling algorithm for component-based networks
Future Generation Computer Systems
Algorithmic Verification of Noninterference Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
The quadratic knapsack problem-a survey
Discrete Applied Mathematics
Accepting networks of splicing processors: Complexity results
Theoretical Computer Science
Restricting SBH ambiguity via restriction enzymes
Discrete Applied Mathematics
The inverse protein folding problem on 2D and 3D lattices
Discrete Applied Mathematics
Haplotyping with missing data via perfect path phylogenies
Discrete Applied Mathematics
A new construction technique of a triangle-free 3-colored K16's
Information Sciences: an International Journal
Learning action models from plan examples using weighted MAX-SAT
Artificial Intelligence
An improved degree based condition for Hamiltonian cycles
Information Processing Letters
Managing the power resources of sensor networks with performance considerations
Computer Communications
Three "quantum" algorithms to solve 3-SAT
Theoretical Computer Science
Understanding optimal data gathering in the energy and latency domains of a wireless sensor network
Computer Networks: The International Journal of Computer and Telecommunications Networking
A GRASP algorithm to solve the unicost set covering problem
Computers and Operations Research
A decomposition approach to multi-vehicle cooperative control
Robotics and Autonomous Systems
Permutative rewriting and unification
Information and Computation
Cooperative mobile guards in grids
Computational Geometry: Theory and Applications
Computer Networks: The International Journal of Computer and Telecommunications Networking
Approximating the maximum clique minor and some subgraph homeomorphism problems
Theoretical Computer Science
Hardness of approximating the Minimum Solutions of Linear Diophantine Equations
Theoretical Computer Science
Minimizing broadcast latency in ad hoc wireless networks
ACM-SE 45 Proceedings of the 45th annual southeast regional conference
Multiple voltage synthesis scheme for low power design under timing and resource constraints
Integrated Computer-Aided Engineering
Minimum power configuration for wireless communication in sensor networks
ACM Transactions on Sensor Networks (TOSN)
Coverage breach problems in bandwidth-constrained sensor networks
ACM Transactions on Sensor Networks (TOSN)
Bounded-distance multi-coverage backbones in wireless sensor networks
Proceedings of the 2007 ACM symposium on Applied computing
Image and Vision Computing
A Unified Continuous Optimization Framework for Center-Based Clustering Methods
The Journal of Machine Learning Research
Clearing algorithms for barter exchange markets: enabling nationwide kidney exchanges
Proceedings of the 8th ACM conference on Electronic commerce
Component Updates as a Boolean Optimization Problem
Electronic Notes in Theoretical Computer Science (ENTCS)
Retrieval for decision support resources by structured models
Decision Support Systems
A code-generator generator for multi-output instructions
CODES+ISSS '07 Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis
Path constraints in semistructured data
Theoretical Computer Science
JAVeLEN - An ultra-low energy ad hoc wireless network
Ad Hoc Networks
FireFly: a cross-layer platform for real-time embedded wireless networks
Real-Time Systems
Algorithms for compact letter displays: Comparison and evaluation
Computational Statistics & Data Analysis
Dynamic multi-resolution data dissemination in storage-centric wireless sensor networks
Proceedings of the 10th ACM Symposium on Modeling, analysis, and simulation of wireless and mobile systems
The complexity of fixed point models of trust in distributed networks
Theoretical Computer Science
Graphically structured value-function compilation
Artificial Intelligence
Optimal reachability for multi-priced timed automata
Theoretical Computer Science
Constructing invariants for hybrid systems
Formal Methods in System Design
Optimal traversal planning in road networks with navigational constraints
Proceedings of the 15th annual ACM international symposium on Advances in geographic information systems
Pattern Recognition Letters
Journal of Systems and Software
On two coloring problems in mixed graphs
European Journal of Combinatorics
Establishing overlapped multihop clusters in wireless sensor networks
International Journal of Sensor Networks
TTS: a two-tiered scheduling mechanism for energy conservation in wireless sensor networks
International Journal of Sensor Networks
EURASIP Journal on Wireless Communications and Networking
Power optimization for simultaneous scheduling and partitioning with multiple voltages
MMACTE'05 Proceedings of the 7th WSEAS International Conference on Mathematical Methods and Computational Techniques In Electrical Engineering
Optimization of markers in clothing industry
Engineering Applications of Artificial Intelligence
A decentralized strategy for cooperative robot exploration
Proceedings of the 1st international conference on Robot communication and coordination
A Tabu history driven crossover operator design for memetic algorithm applied to Max-2SAT-problems
Proceedings of the 10th annual conference on Genetic and evolutionary computation
Pattern identification in pareto-set approximations
Proceedings of the 10th annual conference on Genetic and evolutionary computation
On single-machine scheduling without intermediate delays
Discrete Applied Mathematics
Minimizing the stretch when scheduling flows of divisible requests
Journal of Scheduling
Quality-of-service oriented web service composition algorithm and planning architecture
Journal of Systems and Software
Battery-aware scheduling inwireless mesh networks
Mobile Networks and Applications
A search agent for a Max-2sat memetic algorithm approach
ACACOS'08 Proceedings of the 7th WSEAS International Conference on Applied Computer and Applied Computational Science
An Improved Simplex-Genetic Method to Solve Hard Linear Programming Problems
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007
Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Maximum Margin Active Learning for Sequence Labeling with Different Length
ICDM '08 Proceedings of the 8th industrial conference on Advances in Data Mining: Medical Applications, E-Commerce, Marketing, and Theoretical Aspects
Approximating the Generalized Capacitated Tree-Routing Problem
COCOON '08 Proceedings of the 14th annual international conference on Computing and Combinatorics
Memetic Algorithm Based on a Constraint Satisfaction Technique for VRPTW
ICAISC '08 Proceedings of the 9th international conference on Artificial Intelligence and Soft Computing
Placement Inference for a Client-Server Calculus
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Fault-Tolerant Partial Replication in Large-Scale Database Systems
Euro-Par '08 Proceedings of the 14th international Euro-Par conference on Parallel Processing
Data Partitioning in Data Warehouses: Hardness Study, Heuristics and ORACLE Validation
DaWaK '08 Proceedings of the 10th international conference on Data Warehousing and Knowledge Discovery
Query Dissemination with Predictable Reachability and Energy Usage in Sensor Networks
ADHOC-NOW '08 Proceedings of the 7th international conference on Ad-hoc, Mobile and Wireless Networks
One-dimensional partitioning for heterogeneous systems: Theory and practice
Journal of Parallel and Distributed Computing
Competitive analysis of online traffic grooming in WDM rings
IEEE/ACM Transactions on Networking (TON)
Taming verification hardness: an efficient algorithm for testing subgraph isomorphism
Proceedings of the VLDB Endowment
Throughput-driven synthesis of embedded software for pipelined execution on multicore architectures
ACM Transactions on Embedded Computing Systems (TECS)
A dynamical systems approach to weighted graph matching
Automatica (Journal of IFAC)
Understanding the power of distributed coordination for dynamic spectrum management
Mobile Networks and Applications
Multicast routing for delay variation bound using a modified ant colony algorithm
Journal of Network and Computer Applications
Local Monotonicity in Probabilistic Networks
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching
Applications of Graph Transformations with Industrial Relevance
Grouping algorithms for scalable self-monitoring distributed systems
Autonomics '08 Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems
Improved bounds for performability evaluation algorithms using state generation
Performance Evaluation
Journal of Experimental Algorithmics (JEA)
A 5+epsilon (Porson)-approximation algorithm for minimum weighted dominating set in unit disk graph
Theoretical Computer Science
On the Road to $\mathcal{PLS}$-Completeness: 8 Agents in a Singleton Congestion Game
WINE '08 Proceedings of the 4th International Workshop on Internet and Network Economics
Impact on Genetic Algorithm of Different Parameters
ISICA '08 Proceedings of the 3rd International Symposium on Advances in Computation and Intelligence
A Unified Framework for Certificate and Compilation for QBF
ICLA '09 Proceedings of the 3rd Indian Conference on Logic and Its Applications
$\mathcal{NP}$-Hardness of Pure Nash Equilibrium in Scheduling and Connection Games
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Proof of the local REM conjecture for number partitioning. I: Constant energy scales
Random Structures & Algorithms
Using audio in secure device pairing
International Journal of Security and Networks
Robustness of complex communication networks under link attacks
ICAIT '08 Proceedings of the 2008 International Conference on Advanced Infocomm Technology
Measuring the effectiveness of the s-metric to produce better network models
Proceedings of the 40th Conference on Winter Simulation
Enhanced Approximation Algorithms for Maximum Weight Matchings of Graphs
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
New Graph Calculi for Planar Non-3-Colorable Graphs
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Resource assignment and scheduling based on a two-phase metaheuristic for cropping system
Computers and Electronics in Agriculture
Expert Systems with Applications: An International Journal
Parameterized complexity of finding regular induced subgraphs
Journal of Discrete Algorithms
Clustering of wireless sensor and actor networks based on sensor distribution and connectivity
Journal of Parallel and Distributed Computing
Objective reduction in evolutionary multiobjective optimization: Theory and applications
Evolutionary Computation
Computers and Industrial Engineering
Heuristic approaches for the inventory-routing problem with backlogging
Computers and Industrial Engineering
A mini-max spanning forest approach to the political districting problem
International Journal of Systems Science
International Journal of Computational Intelligence Studies
Some Computational Problems Related to Pseudo-intents
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
Genetical programming evolving algorithms
MAMECTIS'08 Proceedings of the 10th WSEAS international conference on Mathematical methods, computational techniques and intelligent systems
Coalition Structures in Weighted Voting Games
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Foundations and Trends® in Networking
High-Performance Buffer Mapping to Exploit DRAM Concurrency in Multiprocessor DSP Systems
RSP '09 Proceedings of the 2009 IEEE/IFIP International Symposium on Rapid System Prototyping
Tele-immersion for wireless networks
Proceedings of the 2nd International Conference on Immersive Telecommunications
Detecting multiple facets of an event using graph-based unsupervised methods
COLING '08 Proceedings of the 22nd International Conference on Computational Linguistics - Volume 1
Poster abstract: Energy management in wireless healthcare systems
IPSN '09 Proceedings of the 2009 International Conference on Information Processing in Sensor Networks
Query Optimization in Encrypted Relational Databases by Vertical Schema Partitioning
SDM '09 Proceedings of the 6th VLDB Workshop on Secure Data Management
Computational complexity of weighted threshold games
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Optimal testing of structured knowledge
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Graph abstraction in real-time heuristic search
Journal of Artificial Intelligence Research
Local search for balanced submodular clusterings
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Automatic bus planner for dense PCBs
Proceedings of the 46th Annual Design Automation Conference
Simultaneous clock buffer sizing and polarity assignment for power/ground noise minimization
Proceedings of the 46th Annual Design Automation Conference
How hard is it to find extreme Nash equilibria in network congestion games?
Theoretical Computer Science
Optimal block-tridiagonalization of matrices for coherent charge transport
Journal of Computational Physics
Preserving Privacy in Social Networks: A Structure-Aware Approach
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
PTAS for connected vertex cover in unit disk graphs
Theoretical Computer Science
Traffic scheduling for frame length minimization in OFDMA based systems
Proceedings of the 12th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems
A new local algorithm for backbone formation in ad hoc networks
Proceedings of the 6th ACM symposium on Performance evaluation of wireless ad hoc, sensor, and ubiquitous networks
Identifying conflicts in overconstrained temporal problems
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
The complexity of theory revision
Artificial Intelligence
Methods for task allocation via agent coalition formation
Artificial Intelligence
Constraints, consistency and closure
Artificial Intelligence
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
A method of network programming in problems of nonlinear optimization
Automation and Remote Control
Iterated variable neighborhood descent algorithm for the capacitated vehicle routing problem
Expert Systems with Applications: An International Journal
Efficient algorithms for approximate member extraction using signature-based inverted lists
Proceedings of the 18th ACM conference on Information and knowledge management
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Simple coalitional games with beliefs
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Metaheurísticas aplicadas à geraçao de carrossel no sistema brasileiro de TV Digital
Proceedings of the 14th Brazilian Symposium on Multimedia and the Web
Research issues in data provenance for streaming environments
Proceedings of the 2nd SIGSPATIAL ACM GIS 2009 International Workshop on Security and Privacy in GIS and LBS
Hypergraph Cuts & Unsupervised Representation for Image Segmentation
Fundamenta Informaticae
Comparing stars: on approximating graph edit distance
Proceedings of the VLDB Endowment
Aproximating size of maximal clique in a node's neighbourhood in the ad hoc networks
WCNC'09 Proceedings of the 2009 IEEE conference on Wireless Communications & Networking Conference
Single Pattern Generating Heuristics for Pixel Advertisements
WISE '09 Proceedings of the 10th International Conference on Web Information Systems Engineering
Graph-Based Ontology Construction from Heterogenous Evidences
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Optimum Broadcasting in Complete Weighted-Vertex Graphs
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Adaptive configuration of pervasive computing system with QoS consideration
CCNC'09 Proceedings of the 6th IEEE Conference on Consumer Communications and Networking Conference
Evaluating performance advantages of grouping genetic algorithms
Engineering Applications of Artificial Intelligence
A comparison of machine-learning algorithms for dynamic scheduling of flexible manufacturing systems
Engineering Applications of Artificial Intelligence
Two-phase sub population genetic algorithm for parallel machine-scheduling problem
Expert Systems with Applications: An International Journal
Minimum node disjoint path covering for circular-arc graphs
Information Processing Letters
Note on the Homogeneous Set Sandwich Problem
Information Processing Letters
NP-Completeness of st-orientations for plane graphs
Theoretical Computer Science
High-throughput bayesian computing machine with reconfigurable hardware
Proceedings of the 18th annual ACM/SIGDA international symposium on Field programmable gate arrays
On the computational complexity of weighted voting games
Annals of Mathematics and Artificial Intelligence
An open framework for rapid prototyping of signal processing applications
EURASIP Journal on Embedded Systems - Special issue on design and architectures for signal and image processing
Communication: Robust network optimization under polyhedral demand uncertainty is NP-hard
Discrete Applied Mathematics
A distributed algorithm for hexagonal topology formation in wireless sensor networks
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Efficient management of transportation logistics related to animal disease outbreaks
Computers and Electronics in Agriculture
EUROCRYPT'96 Proceedings of the 15th annual international conference on Theory and application of cryptographic techniques
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
The troubles of interior design: a complexity analysis of the game Heyawake
FUN'07 Proceedings of the 4th international conference on Fun with algorithms
Higher order correlation attacks, XL algorithm and cryptanalysis of Toyocrypt
ICISC'02 Proceedings of the 5th international conference on Information security and cryptology
Evolutionary computing for the satisfiability problem
EvoWorkshops'03 Proceedings of the 2003 international conference on Applications of evolutionary computing
Efficient GF(pm) arithmetic architectures for cryptographic applications
CT-RSA'03 Proceedings of the 2003 RSA conference on The cryptographers' track
On exact complexity of subgraph homeomorphism
TAMC'07 Proceedings of the 4th international conference on Theory and applications of models of computation
A bound for non-subgraph isomorphism
GbRPR'07 Proceedings of the 6th IAPR-TC-15 international conference on Graph-based representations in pattern recognition
An algorithm portfolio for the sub-graph isomorphism problem
SLS'07 Proceedings of the 2007 international conference on Engineering stochastic local search algorithms: designing, implementing and analyzing effective heuristics
Self-organization properties of CSMA/CA systems and their consequences on fairness
IEEE Transactions on Information Theory
A framework for testing DBMS features
The VLDB Journal — The International Journal on Very Large Data Bases
Deterministic solutions to QSAT and Q3SAT by spiking neural P systems with pre-computed resources
Theoretical Computer Science
Managing resources in constrained environments with autonomous agents
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
ESA'07 Proceedings of the 15th annual European conference on Algorithms
Minimizing the area for planar straight-line grid drawings
GD'07 Proceedings of the 15th international conference on Graph drawing
Collaborative scheduling of DAG structured computations on multicore processors
Proceedings of the 7th ACM international conference on Computing frontiers
NP-completeness of st-orientations for plane graphs
FCT'09 Proceedings of the 17th international conference on Fundamentals of computation theory
Determining whether a simplicial 3-complex collapses to a 1-complex is NP-complete
DGCI'08 Proceedings of the 14th IAPR international conference on Discrete geometry for computer imagery
A local search algorithm for a SAT representation of scheduling problems
ICCSA'07 Proceedings of the 2007 international conference on Computational science and its applications - Volume Part III
Achieving anonymity via clustering
ACM Transactions on Algorithms (TALG)
Efficient algorithms for node disjoint subgraph homeomorphism determination
DASFAA'08 Proceedings of the 13th international conference on Database systems for advanced applications
K-isomorphism: privacy preserving network publication against structural attacks
Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
Centralized inter-network spectrum sharing with opportunistic frequency reuse
GLOBECOM'09 Proceedings of the 28th IEEE conference on Global telecommunications
Network flow interdiction on planar graphs
Discrete Applied Mathematics
Approximated matching-based spectrum access algorithm for heterogenous cognitive networks
ICC'09 Proceedings of the 2009 IEEE international conference on Communications
Robust PIM-SM multicasting using anycast RP in wireless ad hoc networks
ICC'09 Proceedings of the 2009 IEEE international conference on Communications
Malware detection based on dependency graph using hybrid genetic algorithm
Proceedings of the 12th annual conference on Genetic and evolutionary computation
Design and optimization of a tiered wireless access network
INFOCOM'10 Proceedings of the 29th conference on Information communications
Discrete Applied Mathematics
The continuous Skolem-Pisot problem
Theoretical Computer Science
Betweenness parameterized above tight lower bound
Journal of Computer and System Sciences
Provenance-based trustworthiness assessment in sensor networks
Proceedings of the Seventh International Workshop on Data Management for Sensor Networks
Data preservation under spatial failures in sensor networks
Proceedings of the eleventh ACM international symposium on Mobile ad hoc networking and computing
Efficient algorithms based on relational queries to mine frequent graphs
PIKM '10 Proceedings of the 3rd workshop on Ph.D. students in information and knowledge management
A spectral approach to clustering numerical vectors as nodes in a network
Pattern Recognition
The computational complexity of the KAKURO puzzle, revisited
FUN'10 Proceedings of the 5th international conference on Fun with algorithms
On the complexity of local search for weighted standard set problems
CiE'10 Proceedings of the Programs, proofs, process and 6th international conference on Computability in Europe
Hardware/software optimization of error detection implementation for real-time embedded systems
CODES/ISSS '10 Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Local search: simple, successful, but sometimes sluggish
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming
Measuring protein structural similarity by maximum common edge subgraphs
ICIC'10 Proceedings of the Advanced intelligent computing theories and applications, and 6th international conference on Intelligent computing
Coalition structure generation with GRASP
AIMSA'10 Proceedings of the 14th international conference on Artificial intelligence: methodology, systems, and applications
Approximated distributed minimum vertex cover algorithms for bounded degree graphs
COCOON'10 Proceedings of the 16th annual international conference on Computing and combinatorics
Assuring data trustworthiness: concepts and research challenges
SDM'10 Proceedings of the 7th VLDB conference on Secure data management
Pagerank optimization in polynomial time by stochastic shortest path reformulation
ALT'10 Proceedings of the 21st international conference on Algorithmic learning theory
On one problem of construction of energy-saving schedules
Programming and Computing Software
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
On graph query optimization in large networks
Proceedings of the VLDB Endowment
Generating databases for query workloads
Proceedings of the VLDB Endowment
Graph partitioning strategies for efficient BFS in shared-nothing parallel systems
WAIM'10 Proceedings of the 2010 international conference on Web-age information management
JSSPP'10 Proceedings of the 15th international conference on Job scheduling strategies for parallel processing
A competitive analysis for balanced transactional memory workloads
OPODIS'10 Proceedings of the 14th international conference on Principles of distributed systems
On the complexity of enumerating pseudo-intents
Discrete Applied Mathematics
Maximizing revenue with allocation of multiple advertisements on a Web banner
Computers and Operations Research
A tester-assisted methodology for test redundancy detection
Advances in Software Engineering - Special issue on software test automation
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Cooperative games with overlapping coalitions
Journal of Artificial Intelligence Research
A provably good approximation algorithm for rectangle escape problem with application to PCB routing
Proceedings of the 16th Asia and South Pacific Design Automation Conference
The external constraint 4 nonempty part sandwich problem
Discrete Applied Mathematics
Human-assisted graph search: it's okay to ask questions
Proceedings of the VLDB Endowment
Optimized traffic flow assignment in multi-homed, multi-radio mobile hosts
Computer Networks: The International Journal of Computer and Telecommunications Networking
An aspect-oriented approach for implementing evolutionary computation applications
Proceedings of the tenth international conference on Aspect-oriented software development
The complexity of acyclic subhypergraph problems
WALCOM'11 Proceedings of the 5th international conference on WALCOM: algorithms and computation
Bee colony intelligence in zone constrained two-sided assembly line balancing problem
Expert Systems with Applications: An International Journal
Applying AI and incomplete solution principles to solve NP-hard problems in the real-time systems
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
Self-organizing approach to graph vertex colouring in the applications of ad hoc networks
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
Comparing the best maximum clique finding algorithms, which are using heuristic vertex colouring
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
Proceedings of the 2011 ACM Symposium on Applied Computing
Genetic algorithm with forced diversity for the university timetabling problem
ICS'06 Proceedings of the 10th WSEAS international conference on Systems
Index-based model clone detection
Proceedings of the 5th International Workshop on Software Clones
Fast object detection using steiner tree
Machine Graphics & Vision International Journal
A structural approach to the temporal modeling of networks
Winter Simulation Conference
ICANNGA'11 Proceedings of the 10th international conference on Adaptive and natural computing algorithms - Volume Part I
An efficient hierarchical parallel genetic algorithm for graph coloring problem
Proceedings of the 13th annual conference on Genetic and evolutionary computation
A parameter-less genetic algorithm with customized crossover and mutation operators
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Policy matrix evolution for generation of heuristics
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Too fast unbiased black-box algorithms
Proceedings of the 13th annual conference on Genetic and evolutionary computation
MAX-SNP hardness of MIN-PC and MASC-GP(n) problems
Pattern Recognition and Image Analysis
Improved automated reaction mapping
SEA'11 Proceedings of the 10th international conference on Experimental algorithms
Algorithmic feasibility of entity recognition in artificial life
ECAL'09 Proceedings of the 10th European conference on Advances in artificial life: Darwin meets von Neumann - Volume Part II
Towards a complexity theory of randomized search heuristics: ranking-based black-box complexity
CSR'11 Proceedings of the 6th international conference on Computer science: theory and applications
Leveraging collaborative tagging for web item design
Proceedings of the 17th ACM SIGKDD international conference on Knowledge discovery and data mining
The nearest neighbor spearman footrule distance for bucket, interval, and partial orders
FAW-AAIM'11 Proceedings of the 5th joint international frontiers in algorithmics, and 7th international conference on Algorithmic aspects in information and management
Complexity and approximation for scheduling problem for a torpedo
Computers and Industrial Engineering
Technical communique: String execution time for finite languages: Max is easy, min is hard
Automatica (Journal of IFAC)
Distribution of assignments among participants under conditions of constraints
Automation and Remote Control
Three-Index linear programs with nested structure
Automation and Remote Control
Indexing in-network trajectory flows
The VLDB Journal — The International Journal on Very Large Data Bases
Tractable reasoning in a fragment of separation logic
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
A practical complexity-theoretic analysis of mix systems
ESORICS'11 Proceedings of the 16th European conference on Research in computer security
Brief paper: Quantized consensus in Hamiltonian graphs
Automatica (Journal of IFAC)
The K-observer problem in computer networks
SSS'11 Proceedings of the 13th international conference on Stabilization, safety, and security of distributed systems
Ring signature scheme based on multivariate public key cryptosystems
Computers & Mathematics with Applications
Purlieus: locality-aware resource allocation for MapReduce in a cloud
Proceedings of 2011 International Conference for High Performance Computing, Networking, Storage and Analysis
End-to-end network QoS via scheduling of flexible resource reservation requests
Proceedings of 2011 International Conference for High Performance Computing, Networking, Storage and Analysis
SISP: a new framework for searching the informative subgraph based on PSO
Proceedings of the 20th ACM international conference on Information and knowledge management
Optimized processing of multiple aggregate continuous queries
Proceedings of the 20th ACM international conference on Information and knowledge management
Center-based clustering under perturbation stability
Information Processing Letters
Peer-assisted texture streaming in metaverses
MM '11 Proceedings of the 19th ACM international conference on Multimedia
Survey: Covering problems in facility location: A review
Computers and Industrial Engineering
Boundary-labeling algorithms for panorama images
Proceedings of the 19th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems
A distributed greedy algorithm for connected sensor cover in dense sensor networks
DCOSS'05 Proceedings of the First IEEE international conference on Distributed Computing in Sensor Systems
Optimal online pricing with network externalities
Information Processing Letters
Computational complexity of relay placement in sensor networks
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
Investigating the performance of an adiabatic quantum optimization processor
Quantum Information Processing
On regular realizability problems
Problems of Information Transmission
A hyper-heuristic for the Longest Common Subsequence problem
Computational Biology and Chemistry
Optimal conditional reachability for multi-priced timed automata
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Privacy aware publishing of successive location information in sensor networks
Future Generation Computer Systems
GrGen: a fast SPO-based graph rewriting tool
ICGT'06 Proceedings of the Third international conference on Graph Transformations
The edge-orientation problem and some of its variants on weighted graphs
Information Sciences: an International Journal
The class cover problem with boxes
Computational Geometry: Theory and Applications
An exact algorithm for connected red-blue dominating set
CIAC'10 Proceedings of the 7th international conference on Algorithms and Complexity
Pruning adaptive boosting ensembles by means of a genetic algorithm
IDEAL'06 Proceedings of the 7th international conference on Intelligent Data Engineering and Automated Learning
a.SCatch: semantic structure for architectural floor plan retrieval
ICCBR'10 Proceedings of the 18th international conference on Case-Based Reasoning Research and Development
Characterizations of deque and queue graphs
WG'11 Proceedings of the 37th international conference on Graph-Theoretic Concepts in Computer Science
Engineering Applications of Artificial Intelligence
Comparing and aggregating partial orders with kendall tau distances
WALCOM'12 Proceedings of the 6th international conference on Algorithms and computation
Drawing unordered trees on k-grids
WALCOM'12 Proceedings of the 6th international conference on Algorithms and computation
A new look at the automatic synthesis of linear ranking functions
Information and Computation
Minimum multiple characterization of biological data using partially defined boolean formulas
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Efficient multicast tree algorithm in ATM networks
Computer Communications
A methodology for comparing the execution time of metaheuristics running on different hardware
EvoCOP'12 Proceedings of the 12th European conference on Evolutionary Computation in Combinatorial Optimization
On the data complexity of consistent query answering
Proceedings of the 15th International Conference on Database Theory
Minimum search to establish worst-case guarantees in coalition structure generation
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Survey: DNA-inspired information concealing: A survey
Computer Science Review
Discrete Optimization
Approximability results for the maximum and minimum maximal induced matching problems
Discrete Optimization
Design of human-centric adaptive multimodal interfaces
International Journal of Human-Computer Studies
On new approaches of assessing network vulnerability: hardness and approximation
IEEE/ACM Transactions on Networking (TON)
LIEGE:: link entities in web lists with knowledge base
Proceedings of the 18th ACM SIGKDD international conference on Knowledge discovery and data mining
Logic and Program Semantics
Finishing flows quickly with preemptive scheduling
Proceedings of the ACM SIGCOMM 2012 conference on Applications, technologies, architectures, and protocols for computer communication
A mixed integer programming model for the parsimonious loss of heterozygosity problem
ISBRA'12 Proceedings of the 8th international conference on Bioinformatics Research and Applications
Leading ad hoc agents in joint action settings with multiple teammates
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Kernelization --- preprocessing with a guarantee
The Multivariate Algorithmic Revolution and Beyond
On the Prevention of Fraud and Privacy Exposure in Process Information Flow
INFORMS Journal on Computing
ESWC'12 Proceedings of the 9th international conference on The Semantic Web: research and applications
Improving broadcast efficiency in wireless sensor network time synchronization protocols
Proceedings of the International Workshop on System Level Interconnect Prediction
Energy-balanced sampling workload allocation in wireless sensor networks
Computers & Mathematics with Applications
CoPAn: exploring recurring patterns in conflict analysis of CDCL SAT solvers
SAT'12 Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing
Theoretical Computer Science
A decomposition approach for solving critical clique detection problems
SEA'12 Proceedings of the 11th international conference on Experimental Algorithms
To satisfy impatient web surfers is hard
FUN'12 Proceedings of the 6th international conference on Fun with Algorithms
Diagrams'12 Proceedings of the 7th international conference on Diagrammatic Representation and Inference
Distributed resource allocation based on queue balancing in multihop cognitive radio networks
IEEE/ACM Transactions on Networking (TON)
Adaptive application offloading using distributed abstract class graphs in mobile environments
Journal of Systems and Software
Journal of Combinatorial Optimization
Toward optimizing latency under throughput constraints for application workflows on clusters
Euro-Par'07 Proceedings of the 13th international Euro-Par conference on Parallel Processing
Multi-objective optimal path selection in electric vehicles
Artificial Life and Robotics
Job scheduling using successive linear programming approximations of a sparse model
Euro-Par'12 Proceedings of the 18th international conference on Parallel Processing
Reliable noc mapping based on scatter search
ICICA'12 Proceedings of the Third international conference on Information Computing and Applications
Energy-Aware Scheduling Algorithm with Duplication on Heterogeneous Computing Systems
GRID '12 Proceedings of the 2012 ACM/IEEE 13th International Conference on Grid Computing
Capacitated network design games
SAGT'12 Proceedings of the 5th international conference on Algorithmic Game Theory
On graph-associated matrices and their eigenvalues for optical character recognition
ANNPR'12 Proceedings of the 5th INNS IAPR TC 3 GIRPR conference on Artificial Neural Networks in Pattern Recognition
Top-k Similar Graph Matching Using TraM in Biological Networks
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Maximal profit service task partition and distribution in computer grid
Computers and Industrial Engineering
Generating graphs that approach a prescribed modularity
Computer Communications
Modeling affiliations in networks
Proceedings of the Winter Simulation Conference
A Novel Particle Swarm Optimization Algorithm for Multi-Objective Combinatorial Optimization Problem
International Journal of Applied Metaheuristic Computing
NSS'12 Proceedings of the 6th international conference on Network and System Security
High-performance and low-energy buffer mapping method for multiprocessor DSP systems
ACM Transactions on Embedded Computing Systems (TECS)
Note: Strongly rigid tensegrity graphs on the line
Discrete Applied Mathematics
Evolving non-intrusive load monitoring
EvoApplications'13 Proceedings of the 16th European conference on Applications of Evolutionary Computation
Evolving role definitions through permission invocation patterns
Proceedings of the 18th ACM symposium on Access control models and technologies
Towards optimal neuronal wiring through estimation of distribution algorithms
Proceedings of the 15th annual conference companion on Genetic and evolutionary computation
Green data centers: Using hierarchies for scalable energy efficiency in large web clusters
Information Processing Letters
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Provable configuration planning for wireless sensor networks
Proceedings of the 8th International Conference on Network and Service Management
Energy efficient navigation management for hybrid electric vehicles on highways
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems
Journal of Parallel and Distributed Computing
The maximum flow problem with disjunctive constraints
Journal of Combinatorial Optimization
Constraint-aware interior layout exploration for pre-cast concrete-based buildings
The Visual Computer: International Journal of Computer Graphics
Abstracting images into continuous-line artistic styles
The Visual Computer: International Journal of Computer Graphics
Disinformation techniques for entity resolution
Proceedings of the 22nd ACM international conference on Conference on information & knowledge management
Dealing with hardware heterogeneity: a new parallel search model
Natural Computing: an international journal
Stable Feature Selection with Minimal Independent Dominating Sets
Proceedings of the International Conference on Bioinformatics, Computational Biology and Biomedical Informatics
Cell-graph coloring for cancerous tissue modelling and classification
Multimedia Tools and Applications
The nearest neighbor Spearman footrule distance for bucket, interval, and partial orders
Journal of Combinatorial Optimization
Online algorithms for 1-space bounded multi dimensional bin packing and hypercube packing
Journal of Combinatorial Optimization
An efficient parallel algorithm for the longest path problem in meshes
The Journal of Supercomputing
A novel scheduling model for computational grid using quantum genetic algorithm
The Journal of Supercomputing
Three-dimensional Route Planning for Unmanned Aerial Vehicles in a Risk Environment
Journal of Intelligent and Robotic Systems
Clustering and outlier detection using isoperimetric number of trees
Pattern Recognition
Efficient and adaptive resource scheduling in IEEE 802.16j transparent relay networks
Computer Networks: The International Journal of Computer and Telecommunications Networking
Bounded-degree minimum-radius spanning trees in wireless sensor networks
Theoretical Computer Science
Similarity in languages and programs
Theoretical Computer Science
A Graph-Theoretical Approach to the Selection of the Minimum Tiling Path from a Physical Map
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
A formal model for sustainable vehicle-to-grid management
Proceedings of the first ACM workshop on Smart energy grid security
The password allocation problem: strategies for reusing passwords effectively
Proceedings of the 12th ACM workshop on Workshop on privacy in the electronic society
Similar or not similar: this is a parameter question
HCI International'13 Proceedings of the 15th international conference on Human Interface and the Management of Information: information and interaction design - Volume Part I
Approximation algorithms for the antenna orientation problem
FCT'13 Proceedings of the 19th international conference on Fundamentals of Computation Theory
Quasi-optimal scheduling algorithm for area coverage in multi-functional sensor networks
International Journal of Ad Hoc and Ubiquitous Computing
Faster reaction mapping through improved naming techniques
Journal of Experimental Algorithmics (JEA)
An effective Parallel Multistart Tabu Search for Quadratic Assignment Problem on CUDA platform
Journal of Parallel and Distributed Computing
Reliable workflow scheduling with less resource redundancy
Parallel Computing
SEC'13 Proceedings of the 22nd USENIX conference on Security
Efficient querying of inconsistent databases with binary integer programming
Proceedings of the VLDB Endowment
Making queries tractable on big data with preprocessing: through the eyes of complexity theory
Proceedings of the VLDB Endowment
Computational Geometry: Theory and Applications
Stochastic DAG scheduling using a Monte Carlo approach
Journal of Parallel and Distributed Computing
On minimizing the resource consumption of cloud applications using process migrations
Journal of Parallel and Distributed Computing
Computing cooperative solution concepts in coalitional skill games
Artificial Intelligence
Design principles for packet parsers
ANCS '13 Proceedings of the ninth ACM/IEEE symposium on Architectures for networking and communications systems
Another disjoint compression algorithm for odd cycle transversal
Information Processing Letters
Algorithmic aspect of stratified domination in graphs
Information Processing Letters
A divide-and-conquer approach for content replication in WMNs
Computer Networks: The International Journal of Computer and Telecommunications Networking
Theoretical Computer Science
Proceedings of the International Conference on Computer-Aided Design
Towards provably secure proxy signature scheme based on Isomorphisms of Polynomials
Future Generation Computer Systems
Reprint of: Grid representations and the chromatic number
Computational Geometry: Theory and Applications
Algorithms for scheduling of chemotherapy plans
Computers in Biology and Medicine
Microprocessors & Microsystems
Cybernetics and Systems Analysis
Fast semantic object search and detection for vegetable trading information using Steiner tree
Artificial Intelligence Review
Accurate sub-swarms particle swarm optimization algorithm for service composition
Journal of Systems and Software
Using community structure to control information sharing in online social networks
Computer Communications
Logical synthesis of the control algorithm in a system with Boolean variables
Automation and Remote Control
Hi-index | 0.11 |