yusuke1997/dblp-id-title huggingface dataset:
On Curriculum Design & Practice of Information Technology Basic with Competence-Based Instruction at Vocational College
LCM Exploration and Practice in OOP Teaching
Efficient Algorithms for Routing and Centralized Scheduling for IEEE 802.16 Mesh Networks
A Research and Design of Ethernet Real-Time Application Bus Based on FPGA
Design of Artistic Classroom in Operating System Course
Towards Generic and Efficient Distributed Top-k Monitoring
Online System Support for Computer Organization Course
RAML: Range-Boundary Aware Mobility-Assisted Localization Scheme for Wireless Sensor Networks
Improving Teaching Quality through the Conversion of Research Production
Implementing Contourlet Transform for Medical Image Fusion on a Heterogenous Platform
A Novel Practical Teaching Reform on Web Programming Design Course
The Application and Research of Micro-workflow System Design in Computer Education
Cultivation of Innovative and Entrepreneurial Undergraduates Based on the Concept of Living Lab: Theory and Practice
Architecture of Individuation Web-Learning Based on Multi-agent
A Fuzzy RBAC Model Described by XML-Graph
A Compact Distance Labeling Scheme for Trees of Small Depths
CMP Thread Assignment Based on Group Sharing L2 Cache
Prophet: A Speculative Multi-threading Execution Model with Architectural Support Based on CMP
Design of Intelligent Monitoring and Controlling System for Foodstuff Deepfreeze
Financial Derivatives Modeling Using GPU's
A MDA-Based Approach for General Embedded Software Simulation Platform
An Effective Approach for Multicast on Multi-core Architecture
Merged Request: A New Design Pattern for Enhancing the Performance of Concurrent Access
Automatic Grading System on SQL Programming
PIL: A Method to Improve Interrupt Latency in Real-Time Kernels
Worm Containment in Peer-to-Peer Networks
A Channel Estimation Scheme for STBC-Based TDS-OFDM MIMO System
Real-Time Disk Scheduling Algorithms Based on the Two-Way SCAN Technique
Distributed Geographical Model Service Based on WSRF
International Conference on Scalable Computing and Communications / Eighth International Conference on Embedded Computing, ScalCom-EmbeddedCom 2009, Dalian, China, September 25-27, 2009
System of Ultrasonic Transducer Performance Detection Based on Virtual Instrument and USB 2.0 Interface Technology
ALR-MIN: A Replacement Strategy to Reduce Overhead during Dynamic Deployment of Applications in Grid
Rate Control for Scalable Multimedia Applications in Network-on-Chips
Energy-Efficient Architecture for Embedded Software with Hard Real-Time Requirements in Partial Reconfigurable Systems
Pedagogical Practice of E-Learning in the Course "The Principles of Computer Organization"
Design of a Novel Power-on-Reset Circuit Based on Power Supply Detector
Efficient Scratchpad Memory Management Based on Multi-thread for MPSoC Architecture
Estimating Flow Length Distributions from Double-Sampled Flow Statistics
Network Anomaly Detection Based on Traffic Prediction
The Design of Combined Platform for Web-Based Cooperative Learning
A High Spectrum Efficiency Transmission Scheme
A Novel Hierarchical Overlay for Structured Peer-to-Peer Network
Non-preemptive Fuzzy Classification Algorithm for Non-traditional Safety-Critical Systems
Practical Teaching Based on Project during the Short Semester
A TCP Congestion Control Approach over Wireless Networks
Multi-level and Modulized Experimental Teaching Architecture for Computer Engineering
Visualization Instruction on Computer Networking Courses
An Optimized Anonymous Attestation Protocol from Bilinear Pairing
Energy-Efficient Freshness Transmission Protocol in Wireless Sensor Networks
Parallelization Methods for Implementation of Discharge Simulation along Resin Insulator Surfaces
A Range Query Technology for Structured P2P Network
On Building Teaching Resources System Based on Open Source Portal
The Design and Implementation of Shooting System Simulation Platform for Police College
An Improved Algorithm to Smooth Delay Jitter in Cyber-Physical Systems
A Thread Partitioning Method for Speculative Multithreading
An Anomaly Detection and Analysis Method for Network Traffic Based on Correlation Coefficient Matrix
Implementation of Single System Image under Virtualized Environment
Optimistic Peripheral Devices Performance by Virtual Regionalized Network-on-Chip
Multi-core and VMM Based Non-interference Test Method of Embedded System Software
Automated GUI Testing for J2ME Software Based on FSM
Collision-Based Localization for Small Scale Mobile Wireless Sensor Networks
Cross Layer Hardware Demonstrator for Wireless Communication Based on a FPGA
Scalable Client Features to Handle High Volume E-mail
Evaluating Security Algorithms in the Substation Communication Architecture
A Practical Non-blocking Route Propagation Technology for Threaded BGP
IP Traceback Based on Deterministic Packet Marking and Logging
A Novel Practical Framework for Operating Systems Teaching
A Reputation Model Based on Behavior Trust in Wireless Sensor Networks
A Map-Coverage Algorithm Basing on Particle Swarm Optimization
Patterns for B: Bridging Formal and Informal Development
Graphical Design of Reactive Systems
Composition and Refinement in the B-Method
LEIRIOS Test Generator: Automated Test Generation from B Models
Introducing Dynamic Constraints in B
Interpreting Invariant Composition in the B Method Using the Spec# Ownership Relation: A Way to Explain and Relax B Restrictions
JML2B: Checking JML Specifications with B Machines
Modelling and Proof Analysis of Interrupt Driven Scheduling
Security Policy Enforcement Through Refinement Process
Formalisation of B in Isabelle/HOL
Hardware Verification and Beyond: Using B at AWE
Process Control Engineering: Contribution to a Formal Structuring Framework with the B Method
Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal Logic
Experiences in Using B and UML in Industrial Development
Cost Effectiveness of Formal Methods in the Development of Avionics Systems at AÉROSPATIALE
A Generic Flash-Based Animation Engine for ProB
Refinement of Statemachines Using Event B Semantics
A Tool for Firewall Administration
Retrenchment: An Engineering Variation on Refinement
Two Strategies to Data-Refine an Equivalence to a Forest
Time Constraint Patterns for Event B Development
E-Voting and the Need for Rigourous Software Engineering - The Past, Present and Future
The B-Method for the Construction of Microkernel-Based Systems
MÉTÉOR : An Industrial Success in Formal Development
B in Large-Scale Projects: The Canarsie Line CBTC Experience
Formal Transformation of Platform Independent Models into Platform Specific Models
Symmetry Reduction for B by Permutation Flooding
Well Defined B
B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings
The Design of Spacecraft On-Board Software
Integration of Security Policy into System Modeling
Layering Distributed Algorithms within the B-Method
B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings
Instantiation of Parameterized Data Structures for Model-Based Testing
On B
Test Case Preparation Using a Prototype
BE 4 : The B Extensible Eclipse Editing Environment
Using B Machines for Model-Based Testing of Smartcard Software
The Generalised Substitution Language Extended to Probabilistic Programs
BRAMA: A New Graphic Animation Tool for B Models
Synthesising Structure from Flat Specifications
Abstract State Machines: Designing Distributed Systems with State Machines and B
Augmenting B with Control Annotations
Designing a B Model for Safety-Critical Software Systems
Meca: A Tool for Access Control Models
Automatic Translation from Combined B and CSP Specification to Java Programs
Justifications for the Event-B Modelling Notation
Chorus Angelorum
An Object-Based Approach to the B Formal Method
Refinement of eb 3 Process Patterns into B Specifications
Plug-and-Play Nondeterminacy
Verification of LTL on B Event Systems
Constraint Solving and Language Processing, First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers
Property Grammars: A Fully Constraint-Based Theory
A Constraint-Based Model for Lexical and Syntactic Choice in Natural Language Generation
Multi-dimensional Graph Configuration for Natural Language Processing
Ontology Driven Contextual Best Fit in Embodied Construction Grammar
Problems of Inducing Large Coverage Constraint-Based Dependency Grammar for Czech
An Abductive Treatment of Long Distance Dependencies in CHR
Modelling Language, Action, and Perception in Type Theory with Records
Parsing Unrestricted German Text with Defeasible Constraints
Metagrammar Redux
An Account of Natural Language Coordination in Type Theory with Coercive Subtyping
The Other Syntax: Approaching Natural Language Semantics Through Logical Form Composition
A Speaker-Referring OT Pragmatics of Quantity Expressions
Probabilistic Grammar Induction in an Incremental Semantic Framework
Describing Music with MetaGrammars
A Predicative Operator and Underspecification by the Type Theory of Acyclic Recursion
Animacy Information in Human Sentence Processing: An Incremental Optimization of Interpretation Approach
Resolving Relative Time Expressions in Dutch Text with Constraint Handling Rules
An Exploratory Application of Constraint Optimization in Mozart to Probabilistic Natural Language Processing
The Role of Universal Constraints in Language Acquisition
Gradience, Constructions and Constraint Systems
Building and Exploiting Constraint-Based Treebanks
An Intuitive Tool for Constraint Based Grammars
Constraint Solving and Language Processing - 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
Exploiting Symmetries via Permutations for PC Board Manufacturing
A More Efficient BDD-Based QBF Solver
A New O ( n 2 log n ) Not-First/Not-Last Pruning Algorithm for Cumulative Resource Constraints
Principles and Practice of Constraint Programming - CP'95, First International Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings
Non-overlapping Constraints between Convex Polytopes
Towards a Complete Classification of Tractability in Point Algebras for Nonlinear Time
Limitations of Restricted Branching in Clause Learning
Caching in Backtracking Search
Some Experiments on Learning Soft Constraints
Resource Allocation and Constraint Satisfaction Techniques
The Expressive Power of Valued Constraints: Hierarchies and Collapses
Local Search and the Number of Solutions
First-order Definability over Constraint Databases
Principles and Practice of Constraint Programming - CP 2010 - 16th International Conference, CP 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings
A Novel Approach to String Constraint Solving
An Incomplete Constraint-Based System for Scheduling with Renewable Resources
Improving Relational Consistency Algorithms Using Dynamic Relation Partitioning
Synthesizing Filtering Algorithms for Global Chance-Constraints
An Impartial Efficiency Comparison of FD Constraint Systems
Breaking Row and Column Symmetries in Matrix Models
Interchangeability in Soft CSPs
From Linear Relaxations to Global Constraint Propagation
Improving SAT Algorithms by Using Search Pruning Techniques
Inverting Step-Reduced SHA-1 and MD5 by Parameterized SAT Solvers
Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP
Learning in Local Branching (Invited Talk)
Exploring Different Constraint-Based Modelings for Program Verification
Generating Tradeoffs for Interactive Constraint-Based Configuration
Theoretical Foundations of CP-Based Lagrangian Relaxation
Looking at Full Looking Ahead
Filtering for Subgraph Isomorphism
Improved Job Sequencing Bounds from Decision Diagrams
Learning to Bound for Maximum Common Subgraph Algorithms
Computing Super-Schedules
Verification of Infinite-State Systems by Specialization of CLP Programs
Uncertainty in Soft Constraint Problems
Optimization Models for Pickup-And-Delivery Problems with Reconfigurable Capacities
An Efficient Local Search Solver for Mixed Integer Programming
Boosting as a Metaphor for Algorithm Design
Guided Bottom-Up Interactive Constraint Acquisition
Algebraic Fault Attack on SHA Hash Functions Using Programmatic SAT Solvers
Pruning for the Minimum Constraint Family and for the Number of Distinct Values Constraint Family
On Similarity Queries for Time-Series Data: Constraint Specification and Implementation
Counting-Based Look-Ahead Schemes for Constraint Satisfaction
Where Are the Interesting Problems?
Evaluation of Search Heuristics for Embedded System Scheduling Problems
Opportunistic Specialization in Russian Doll Search
Bound-Consistent Deviation Constraint
A General Scheme for Multiple Lower Bound Computation in Constraint Optimization
Strengthening Relaxed Decision Diagrams for Maximum Independent Set Problem: Novel Variable Ordering and Merge Heuristics
The Constrainedness of Arc Consistency
Constraint Modeling in the Context of Academic Task Assignment
Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings
Treewidth-Aware Quantifier Elimination and Expansion for QCSP
Guess and Prove: A Hybrid Approach to Linear Polynomial Recovery in Circuit Verification
Memoisation for Constraint-Based Local Search
Filtering Rules for Flow Time Minimization in a Parallel Machine Scheduling Problem
Retroactive Ordering for Dynamic Backtracking
Reducing the Search Space of Resource Constrained DCOPs
Insights into Parallelism with Intensive Knowledge Sharing
Solving a Telecommunications Feature Subscription Configuration Problem
Repair-Based Methods for Quantified CSPs
Randomization for Multi-agent Constraint Optimization
Octagonal Domains for Continuous Constraints
Solving Max-SAT as Weighted CSP
CoJava: Optimization Modeling by Nondeterministic Simulation
Tightening McCormick Relaxations for Nonlinear Programs via Dynamic Multivariate Partitioning
Filtering Numerical CSPs Using Well-Constrained Subsystems
A Complete Tolerant Algebraic Side-Channel Attack for AES with CP
Interactivity in Constraint Programming
Power Capping in High Performance Computing Systems
Asynchronous Weak-commitment Search for Solving Distributed Constraint Satisfaction Problems
Constraint Programming Model for Assembly Line Balancing and Scheduling with Walking Workers and Parallel Stations
Branch-and-Price for Solving Integer Programs with a Huge Number of Variables: Methods and Applications (Abstract)
Exploiting Problem Decomposition in Multi-objective Constraint Optimization
Optimizing with Constraints: A Case Study in Scheduling Maintenance of Electric Power Units
An Empirical Study of Probabilistic Arc Consistency
Arc Consistency for Soft Constraints
Constraints in Program Analysis and Verification
Preprocessing Techniques for Distributed Constraint Optimization
Solving and Learning Soft Temporal Constraints; Ceteris Paribus Statements Represented as Soft Constraints Problems
Approximate Constrained Subgraph Matching
Forward Checking with Backmarking
Preference Constraints: New Global Soft Constraints Dedicated to Preference Binary Relations
Restricted Global Grammar Constraints
A Complete Solver for Constraint Games
Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation
Acquiring Parameters of Implied Global Constraints
Constraint Propagation in Model Generation
Multi-Objective Large Neighborhood Search
Differential Programming via OR Methods
Higher-Order Consistencies through GAC on Factor Variables
Weak Symmetries in Problem Formulations
The Bi-Objective Long-Haul Transportation Problem on a Road Network (Invited Talk)
Narrowing a Block of Sortings in Quadratic Time
Parallel SAT Solver Selection and Scheduling
A Constraint Based Agent for TAC-SCM
A View of Local Search in Constraint Programming
Integrating Constraints in an Object-Based Knowledge Representation System
Weight-Aware Core Extraction in SAT-Based MaxSAT Solving
Reducing Symmetry in Matrix Models
Value Interchangeability in Scenario Generation
Minimizing Working-Group Conflicts in Conference Session Scheduling Through Maximum Satisfiability (Short Paper)
Improved Sample Complexity Bounds for Branch-And-Cut
Solving the Car-Sequencing Problem as a Non-binary CSP
Iterative Forward Search Algorithm: Combining Local Search with Maintaining Arc Consistency and a Conflict-Based Statistics
Choosing Efficient Representations of Abstract Variables
Financial Portfolio Optimisation
A Framework for Hybrid Tractability Results in Boolean Weighted Constraint Satisfaction Problems
Intermediate (Learned) Consistencies
Constraint Generation via Automated Theory Formation
Solving Problems with CP: Four Common Pitfalls to Avoid
Inter-instance Nogood Learning in Constraint Programming
Scheduling B2B Meetings
Sampling Strategies and Variable Selection in Weighted Degree Heuristics
A Coinduction Rule for Entailment of Recursively Defined Properties
Towards an Open Finite Domain Constraint Solver
Reasoning about Optimal Collections of Solutions
A New Algorithm for Maintaining Arc Consistency After Constraint Retraction
Optimisation Modelling for Software Developers
Time-Dependent Simple Temporal Networks
Towards Robust CNF Encodings of Cardinality Constraints
Automatic Generation and Selection of Streamlined Constraint Models via Monte Carlo Search on a Model Lattice
Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques
Augmenting Stream Constraint Programming with Eventuality Conditions
A Quadratic Edge-Finding Filtering Algorithm for Cumulative Resource Constraints
Dynamic Symmetry Breaking Restarted
Optimized Q-pivot for Exact Linear Solvers
A Case for Simple SAT Solvers
Constraint Propagation for Domain Bounding in Distributed Task Scheduling
Context-Sensitive Call Control Using Constraints and Rules
Load Balancing and Almost Symmetries for RAMBO Quorum Hosting
The Dungeon Variations Problem Using Constraint Programming
A New Framework for Sharp and Efficient Resolution of NCSP with Manifolds of Solutions
Studying Interchangeability in Constraint Satisfaction Problems
Propagation Guided Large Neighborhood Search
Identifying Inconsistent CSPs by Relaxation
Stable Solutions for Dynamic Constraint Satisfaction Problems
Confidence-Based Work Stealing in Parallel Constraint Programming
On Incremental Core-Guided MaxSAT Solving
Decomposition of Multi-operator Queries on Semiring-Based Graphical Models
Components for State Restoration in Tree Search
The Effect of Constraint Representation on Structural Tractability
Bounding Linear Programs by Constraint Propagation: Application to Max-SAT
A Framework for Decision-Based Consistencies
Minimizing the Maximum Number of Open Stacks by Customer Search
A Fixpoint Definition of Dynamic Constraint Satisfaction
Partitioning a Map into Homogeneous Contiguous Regions: A Branch-And-Bound Approach Using Decision Diagrams (Short Paper)
Domain Reduction for the Circuit Constraint
Transformer-Based Feature Learning for Algorithm Selection in Combinatorial Optimisation
An Original Constraint Based Approach for Solving over Constrained Problems
Boosting Open CSPs
Real-Time Tabu Search for Video Tracking Association
Modelling Producer/Consumer Constraints
Constraint Satisfaction Differential Problems
Propagating Soft Table Constraints
A Constraint-Based Graphics Library for B-Prolog
A Tolerant Algebraic Side-Channel Attack on AES Using CP
A Detailed Algorithm Testing Guards over Feature Trees
On Computing Minimal Equivalent Subformulas
Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison
Uncertainty in Bipolar Preference Problems
Improving the Floating Point Addition and Subtraction Constraints
Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving
Tractable Fragments of Temporal Sequences of Topological Information
Generic SBDD Using Computational Group Theory
Towards Better Heuristics for Solving Bounded Model Checking Problems (Short Paper)
Max-Sur-CSP on Two Elements
Proven Optimally-Balanced Latin Rectangles with SAT (Short Paper)
Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning
An Incremental SAT-Based Approach to the Graph Colouring Problem
New Lower Bounds of Constraint Violations for Over-Constrained Problems
A Circuit Constraint for Multiple Tours Problems
A Local Simplification Scheme for cc Programs
A New Optimization Model for Multiple-Control Toffoli Quantum Circuit Design
Smallest MUS Extraction with Minimal Hitting Set Dualization
A Constraint-Based Planner Applied to Data Processing Domains
On Constraint Problems with Incompleteor Erroneous Data
Scheduling in the Face of Uncertain Resource Consumption and Utility
Efficient Represenation of Discrete Sets for Constraint Programming
Optimizing SAT Encodings for Arithmetic Constraints
A Constraint Program for Solving the Job-Shop Problem
The Design of Cryptographic S-Boxes Using CSPs
Efficient Methods for Constraint Acquisition
CP(Graph): Introducing a Graph Computation Domain in Constraint Programming
Reducing Quantum Circuit Synthesis to #SAT
Aggregation and Garbage Collection for Online Optimization
Generalized Local Propagation: A Framework for Solving Constraint Hierarchies
Solution Stability in Constraint Satisfaction Problems
Aggregating CP-nets with Unfeasible Outcomes
Computational Protein Design as a Cost Function Network Optimization Problem
On Mini-Buckets and the Min-fill Elimination Ordering
The Hybrid Flexible Flowshop with Transportation Times
Random Constraint Satisfaction: A More Accurate Picture
A Soft Constraint of Equality: Complexity and Approximability
Semi-automatic Generation of CHR Solvers for Global Constraints
Constraint Propagation and Decomposition Techniques for Highly Disjunctive and Highly Cumulative Project Scheduling Problems
Beyond QCSP for Solving Control Problems
Boosting Decision Diagram-Based Branch-And-Bound by Pre-Solving with Aggregate Dynamic Programming
Constraint Processing Techniques for Model-Based Reasoning about Dynamic Systems
From Crossing-Free Resolution to Max-SAT Resolution
Automatic Generation of Music Programs
Finding Minimal Unsatisfiable Subformulae in Satisfiability Instances
Time-Table Extended-Edge-Finding for the Cumulative Constraint
Scheduling with Uncertain Start Dates
Search Procedures and Parallelism in Constraint Programming
Analyzing Self-Stabilization of Synchronous Unison via Propositional Satisfiability
Revisiting the tree Constraint
Specific Filtering Algorithms for Over-Constrained Problems
Existential Variables and Local Consistency in Finite Domain Constraint Problems
Solving Constraint Satisfaction Problems Containing Vectors of Unknown Size
A Constraint Engine for Manufacturing Process Planning
Efficient Implementation of the Global Cardinality Constraint with Costs
Greater Efficiency for Conditional Constraint Satisfaction
Reformulating CSPs for Scalability with Application to Geospatial Reasoning
A Partially Solved Form for Heterogeneous Constraints in Disjunctive Normal Form
30th International Conference on Principles and Practice of Constraint Programming, CP 2024, Girona, Spain, September 2-6, 2024
Fast Bound Consistency for the Global Cardinality Constraint
Applying Constraint Satisfaction Techniques to 3D Camera Control
Ex-Ante Constraint Elicitation in Incomplete DCOPs
Modeling and Solving Parallel Machine Scheduling with Contamination Constraints in the Agricultural Industry
The Semigroups of Order 10
Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains
Specifying Over-Constrained Problems in Default Logic
Cargo Routing Optimization in Liner Shipping Networks
Static and Dynamic Structural Symmetry Breaking
Interpreting Sloppy Stick Figures with Constraint-Based Subgraph Matching
Ensemble Classification for Constraint Solver Configuration
Constraint Solving in Test-Data Generation
Generating Magical Performances with Constraint Programming (Short Paper)
Exponential Propagation for Set Variables
Parity (XOR) Reasoning for the Index Calculus Attack
A Filtering Algorithm for the Stretch Constraint