yusuke1997/dblp-id-title huggingface dataset:
An Evolutionary Video Assignment Optimization Technique for VOD System in Heterogeneous Environment
Efficient Execution of Service Composition for Content Adaptation in Pervasive Computing
A Secure and Stable Multicast Overlay Network with Load Balancing for Scalable IPTV Services
Cloud Computing and Dynamic Resource Allocation for Multimedia Applications
Advances in 3DTV: Theory and Practice
On the Feasibility of Unlicensed Communications in the TV White Space: Field Measurements in the UHF Band
The Implementation of a 2/4/8 Antennas Configurable Diversity OFDM Receiver for Mobile HDTV Application
Communications and Networking for Smart Grid: Technology and Practice
P2P and MPEG FGS Encoding: A Good Recipe for Multipoint Video Transmission on the Internet
A Model for Video Quality Assessment Considering Packet Loss for Broadcast Digital Television Coded in H.264
Real-Time QoE Monitoring System for Video Streaming Services with Adaptive Media Playout
Development and Implementation of an FPGA-Embedded Multimedia Remote Monitoring System for Information Technology Server Room Management
Backpropagation-Based Cooperative Localization of Primary User for Avoiding Hidden-Node Problem in Cognitive Networks
The Influence of Transformational Tutor Style on Postgraduate Students' Innovative Behavior: The Mediating Role of Creative Self-Efficacy
Adapting Content Delivery to Limited Resources and Inferred User Interest
Converged Digital TV Services: The Role of Middleware and Future Directions of Interactive Television
A Low-Complexity Resource Allocation Algorithm for MIMO-OFDMA Multicast Systems with Spectrum-Guarantee Provisioning
Sofa-TV: The New Digital Landscape
Video Quality Prediction Models Based on Video Content Dynamics for H.264 Video over UMTS Networks
Performance Evaluation of Concurrent Multipath Video Streaming in Multihomed Mobile Networks
Fast Detection Method in Cooperative Cognitive Radio Networks
Channel Estimation for OFDM-Based Amplify-and-Forward Cooperative System Using Relay-Superimposed Pilots
LDPC FEC Code Extension for Unequal Error Protection in DVB-T2 System: Design and Evaluation
3G Long Term Evolution Baseband Processing with Application-Specific Processors
Flexible Human Behavior Analysis Framework for Video Surveillance Applications
PAPR Reduction of OFDM Signals by Novel Global Harmony Search in PTS Scheme
Subjective Evaluation of Music Compressed with the ACER Codec Compared to AAC, MP3, and Uncompressed PCM
Galois Field Instructions in the Sandblaster 2.0 Architectrue
Multiple Description Coding Using Data Hiding and Regions of Interest for Broadcasting Applications
Generative Adversarial Network-Based Edge-Preserving Superresolution Reconstruction of Infrared Images
The Sandblaster Software-Defined Radio Platform for Mobile 4G Wireless Communications
Iterative Mean Removal Superimposed Training for SISO and MIMO Channel Estimation
Adaptive Error Resilience for Video Streaming
Projection Analysis Optimization for Human Transition Motion Estimation
MBMS - IP Multicast/Broadcast in 3G Networks
A New QIM-Based Watermarking Method Robust to Gain Attack
Small Object Detection with Multiscale Features
A Novel Approach to Reduce the Unicast Bandwidth of an IPTV System in a High-Speed Access Network
Region-Based Watermarking of Biometric Images: Case Study in Fingerprint Images
BEP/SEP and Outage Performance Analysis of L-Branch Maximal-Ratio Combiner for κ-μ Fading
A Novel Method of Complexity Metric for Object-Oriented Software
Multicell Cooperation and MIMO Technologies for Broadcasting and Broadband Communications
QoS Prediction for Neighbor Selection via Deep Transfer Collaborative Filtering in Video Streaming P2P Networks
Exploring the Development of a Game-Based Education: History Learning for Elementary School Students
A Cognitive Radio Spectrum Sensing Method for an OFDM Signal Based on Deep Learning and Cycle Spectrum
2D Spatiotemporal Hypergraph Convolution Network for Dynamic OD Traffic Flow Prediction
Cross-Layer Throughput Optimization in Cognitive Radio Networks with SINR Constraints
Statistical Skimming of Feature Films
Efficient Time-Frequency Localization of a Signal
Two-Level Automatic Adaptation of a Distributed User Profile for Personalized News Content Delivery
Multimodal Indexing of Multilingual News Video
A Survey of Cognitive Radio Access to TV White Spaces
Cross-Layer Optimization of DVB-T2 System for Mobile Services
Near Optimum Power Control and Precoding under Fairness Constraints in Network MIMO Systems
Transmission of 3D Scenes over Lossy Channels
Design of an IPTV Multicast System for Internet Backbone Networks
Stereo 3D Mouse Cursor: A Method for Interaction with 3D Objects in a Stereoscopic Virtual 3D Space
Cyber Security for Smart Grid, Cryptography, and Privacy
Convergence of Digital TV Systems and Services
The Influence of Stress Perception on Academic Procrastination in Postgraduate Students: The Role of Self-Efficacy for Self-Regulated Learning and Self-Control
Vehicle Reidentification via Multifeature Hypergraph Fusion
Secure P2P Data Storage and Maintenance
Modeling and Performance Analyses of Hybrid Cellular and Broadcasting Networks
Emergent Techniques and Applications for Big Visual Data
An Improved Artificial Bee Colony Algorithm in LoRa Wireless Communication System for Efficient Multimedia Transmission
Hybrid Terrestrial-Satellite DVB/IP Infrastructure in Overlay Constellations for Triple-Play Services Access in Rural Areas
A Software-Defined Radio System for Intravehicular Wireless Sensor Networks
Intercell Interference Coordination through Limited Feedback
Image Quality Evaluation Based on Gradient, Visual Saliency, and Color Information
Turbo Decoder for Low-Power Ultrawideband Communication Systems
Parameter Sensitivity Test and Audio Encryption Scheme Design for Multimedia Information Security
Peer-Assisted Content Delivery to Reduce the Bandwidth of TSTV Service in IPTV System
A Scheduling Method of Cross-Layers Optimization of Polling Weight for AOS Multiplexing
Performance Evaluation of Triple Play Services Delivery with E2E QoS Provisioning
Frequency-Based Optimization Design for Fractional Delay FIR Filters with Software-Defined Radio Applications
A Compact Representation for 3D Animation Using Octrees and Affine Transformations
Network Performance Evaluation of Abis Interface over DVB-S2 in the GSM over Satellite Network
A Gain-Computation Enhancements Resource Allocation for Heterogeneous Service Flows in IEEE 802.16 m Mobile Networks
Location Discovery Based on Fuzzy Geometry in Passive Sensor Networks
A Seamless Broadcasting Scheme with Live Video Support
Crowd Motion Editing Based on Mesh Deformation
Low-Cost Transceiver Architectures for 60 GHz Ultra Wideband WLANs
Application of Multimodal Multimedia Information and Big Data Technology in Teaching Chinese as a Foreign Language Course
Theoretical Models for Video on Demand Services on Peer-to-Peer Networks
A Survey of Linear Network Coding and Network Error Correction Code Constructions and Algorithms
Background Traffic-Based Retransmission Algorithm for Multimedia Streaming Transfer over Concurrent Multipaths
Hybrid Beamforming Grouping Sum-Rate Maximization Algorithm for Multiuser mmWave Massive MIMO Systems
Providing Adapted Contextual Information in an Overlay Vehicular Network
Exploiting Redundancy in an OFDM SDR Receiver
Video Classification and Adaptive QoP/QoS Control for Multiresolution Video Applications on IPTV
Opportunistic Communication (Cognitive Radio) over Primary Discarded Subchannels by Applying a Double Power Distribution
Improving Streaming Capacity in Multi-Channel P2P VoD Systems via Intra-Channel and Cross-Channel Resource Allocation
On the Efficient Broadcasting of Heterogeneous Services over Band-Limited Channels: Unequal Power Allocation for Wavelet Packet Division Multiplexing
System Level Evaluation of Innovative Coded MIMO-OFDM Systems for Broadcasting Digital TV
Hancock: A language for analyzing transactional data streams
Denali: A practical algorithm for generating optimal code
Information flow vs. resource access in the asynchronous pi-calculus
A deterministic logical semantics for pure Esterel
AspectML: A polymorphic aspect-oriented functional programming language
Domain specific language implementation via compile-time meta-programming
Practical extraction techniques for Java
Type Checking Concurrent I/O
Determining the Extent of Lookahead in Syntactic Error Repair
Containerless Plurals: Separating Number from Type in Object-Oriented Programming
Traits: A mechanism for fine-grained reuse
Efficient and precise array access analysis
Context-sensitive synchronization-sensitive analysis is undecidable
Using Symbolic Execution for Verification of Ada Tasking Programs
JR: Flexible distributed programming in an extended Java
Normalize, transpose, and distribute: An automatic approach for handling nonscalars
Execution suppression: An automated iterative technique for locating memory errors
Automatic program specialization for Java
Profile-based pretenuring
Incremental Context-Dependent Analysis for Language-Based Editors
A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust
Contextual Linear Types for Differential Privacy
The Systematic Design of Responsibility Analysis by Abstract Interpretation
A Verified Optimizer for Quantum Circuits
The Impact of Interprocedural Analysis and Optimization in the Rn Programming Environment
Axiomatic Bootstrapping: A Guide for Compiler Hackers
Types for Complexity of Parallel Computation in Pi-calculus
Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions
Towards Porting Operating Systems with Program Synthesis
Two-dimensional bidirectional object layout
Mixin modules in a call-by-value setting
Towards a Compiler for Reals
An Example of Stepwise Refinement of Distributed Programs: Quiescence Detection
A Widening Approach to Multithreaded Program Verification
Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms
A Behavioral Notion of Subtyping
The ML Approach to the Readable All-Purpose Language
Cost and precision tradeoffs of dynamic data slicing algorithms
Communicating Sequential Processes for Centralized and Distributed Operating System Design
Mathematical Foundations of Time Warp Systems
Environmental Bisimulations for Probabilistic Higher-order Languages
Algorithm 568: PDS - A Portable Directory System
A Logical Model for Relational Abstract Domains
Improvements to Graph Coloring Register Allocation
Constrained Expressions: Toward Broad Applicability of Analysis Methods for Distributed Software Systems
A Solution to a Problem with Morel and Renvoise's "Global Optimization by Suppression of Partial Redundancies"
A Distributed Alternative to Finite-State-Machine Specifications
Sharing and groundness dependencies in logic programs
Analysis of Recursively Parallel Programs
Improving the Ratio of Memory Operations to Floating-Point Operations in Loops
Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations
Santa Claus: Formal analysis of a process-oriented solution
Strictness Optimization for Graph Reduction Machines (Why id Might Not Be Strict)
MCALIB: Measuring Sensitivity to Rounding Error with Monte Carlo Programming
On Lamport's Interprocessor Communication Model
Axiomatic Semantics of Communicating Sequential Processes
Data Flow Analysis of Communicating Finite State Machines
Obsidian: Typestate and Assets for Safer Blockchain Programming
The Specification Statement
On the Type Structure of Standard ML
JavaGI: The Interaction of Type Classes with Interfaces and Inheritance
Subtypes and Quantification
The pitfalls of verifying floating-point computations
An Extension of ATL with Strategy Interaction
Computer-Assisted Microanalysis of Parallel Programs
An Abstract Model of Certificate Translation
Dealing with World-Model-Based Programs
An Adaptive Tenuring Policy for Generation Scavengers
Space-Efficient Storage Management in an Attribute Grammar Evaluator
Mobile Objects in Distributed Oz
Selective X-Sensitive Analysis Guided by Impact Pre-Analysis
Identifying Loops in Almost Linear Time
Reactive Imperative Programming with Dataflow Constraints
Polyhedral AST Generation Is More Than Scanning Polyhedra
A Distributed Graph Algorithm: Knot Detection
Automatic Isolation of Compiler Errors
Proofs as Programs
Offline partial evaluation can be as accurate as online partial evaluation
Parameter Passing and Control Stack Management in Prolog Implementation Revisited
An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs
Efficient and effective array bound checking
CSim 2 : Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee
The Euclidian Definition of the Functions div and mod
Software model checking using languages of nested trees
Birrell's distributed reference listing revisited
The Denotational Semantics of Dynamic Networks of Processes
An Improved Context-Free Recognizer
Methods for Computing LALR(k) Lookahead
Effective sign extension elimination for java
A First-order Logic with Frames
A Value Transmission Method for Abstract Data Types
The Priority-Based Coloring Approach to Register Allocation
Algorithmic verification of asynchronous programs
The Design, Implementation, and Evaluation of Jade
On the Algebraic Definition of Programming Languages
Efficient High-Level Iteration with Accumulators
Morris's Garbage Compaction Algorithm Restores Reference Counts
On the Productivity of Recursive List Definitions
Deleting Irrelevant Tasks in an Expression-Oriented Multiprocessor System
Homeostasis: Design and Implementation of a Self-Stabilizing Compiler
Controlling Generalization amd Polyvariance in Partial Deduction of Normal Logic Programs
Combinatory Formaulations of Concurrent Languages
Efficient Incremental LR Parsing for Syntax-Directed Editors
Safe: A Semantic Technique for Transforming Programs in the Presence of Errors
Separating ownership topology and encapsulation with generic universe types
Bounded Abstract Effects
Termination Detection of Diffusing Computations in Communicating Sequential Processes
Analysis of recursive state machines
An unfold/fold transformation framework for definite logic programs
Practical Integrated Analysis of Pointers, Dataflow and Control Flow
Assessing Test Data Adequacy through Program Inference
Ada Exception Handling: An Axiomatic Approach
Type inference for unique pattern matching
Mostly static program partitioning of binary executables
Extending Attribute Grammars to Support Programming-in-the-Large
A Language for Array and Vector Processors
Eliminating Redundant Recursive Calls
Parametric shape analysis via 3-valued logic
The PegaSys System: Pictures as Formal Documentation of Large Programs
Cache Behavior of Combinator Graph Reduction
Access-Right Expressions
PPMexe: Program compression
Transforming Acyclic Programs
Protocol Specifications and Component Adaptors
Mutatis Mutandis : Safe and predictable dynamic software updating
Polymorphic specialization for ML
A One-Pass Algorithm for Overload Resolution in Ada
An Elimination Algorithm for Bidirectional Data Flow Problems Using Edge Placement
Symmetric Intertask Communication
Efficient Identification of Linchpin Vertices in Dependence Clusters
Reasoning about Web Applications: An Operational Semantics for HOP
Distributed FIFO Allocation of Identical Resources Using Small Shared Space
Deriving Target Code as a Representation of Continuation Semantics
Precise Flow-Insensitive May-Alias Analysis is NP-Hard
A Distributed Deadlock Detection Algorithm for CSP-Like Communication
Corrigendum to "Type-driven Gradual Security with References, " by Toro et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 4, Article No. 16
Type elaboration and subtype completion for Java bytecode
A tail-recursive machine with stack inspection
A termination analyzer for Java bytecode based on path-length
Specification and Verification of Liveness Properties of Cyclic, Concurrent Processes
An Approach to Support Automatic Generation of User Interfaces
Translation of Attribute Grammars into Procedures
A fast, memory-efficient register allocation framework for embedded systems
Adaptive Static Analysis via Learning with Bayesian Optimization
Program Abstraction and Instantiation
Data-Abstraction Implementation, Specification, and Testing
Metalevel Building Blocks for Modular Systems
Behavioral Subtyping, Specification Inheritance, and Modular Reasoning
A Unified Model of Pointwise Equivalence of Procedural Computations
Single-Pass Generation of Static Single-Assignment Form for Structured Languages
Reasoning about Probabilistic Parallel Programs
Code Generation and Storage Allocation for Machines with Span-Dependent Instructions
Identifying Loops Using DJ Graphs
A Generalized Iterative Construct and Its Semantics
Traversals of object structures: Specification and Efficient Implementation
Backtracking without Trailing in CLP(R-lin)
Flow-insensitive type qualifiers
An Axiomatic Treatment of Exception Handling in an Expression-Oriented Language
Tentative Steps Toward a Development Method for Interfering Programs
Decompilation: The Enumeration of Types and Grammars
The Compilation of Loop Induction Expressions
A parallel, incremental, mostly concurrent garbage collector for servers
Compiler techniques for code compaction
Eta-Expansion Does The Trick
Efficient Evaluation of Circular Attribute Grammars
A Space Efficient Dynamic Allocation Algorithm for Queuing Messages
Optimal Code Motion: Theory and Practice
Environmental bisimulations for higher-order languages
Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results
An Exercise in Program Explanation
CCured: type-safe retrofitting of legacy software
Verifying Reliability Properties Using the Hyperball Abstract Domain
Corrigendum: a new, simpler linear-time dominators algorithm
Error repair with validation in LR-based parsing
A Deterministic Attribute Grammar Evaluator Based on Dynamic Scheduling
Incremental Attribute Evaluation: A Flexible Algorithm for Lazy Update
Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems
Dynamic graph-based software fingerprinting
TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis
Integrating Noninterfering Versions of Programs
PYE: A Framework for Precise-Yet-Efficient Just-In-Time Analyses for Java Programs
Dynamic slicing on Java bytecode traces
Encapsulating objects with confined types
Programming by Refinement, as Exemplified by the SETL Representation Sublanguage
Program Synthesis for Program Analysis
Optimal Choice of When to Garbage Collect
CSS Minification via Constraint Solving
Editor's Foreword to "Static Backward Slicing of Non-Deterministic Programs and Systems"
On Kilbury's Modification of Earley's Algorithm
A Formal Approach to Undo Operations in Programming Languages
Natural and Flexible Error Recovery for Generated Modular Language Environments
A Structured APL System
Thinking Inside the Box: Compartmentalized Garbage Collection
Polymorphic Manifest Contracts, Revised and Resolved
Verifying Parameterized Networks
Chocola: Composable Concurrency Language
An on-the-fly reference-counting garbage collector for java
The Design of the E Programming Language
An Abstract Type for Statistics Collection in Simula
A Model Checker for Operator Precedence Languages
Polymorphic Iterable Sequential Effect Systems
Dynamic software updating
From Clarity to Efficiency for Distributed Algorithms
Synchronization of Asynchronous Processes in CSP
Extensible objects without labels
A Reexamination of "Optimization of Array Subscript Range Checks"
The Multiway Rendezvous
Fast: A Transducer-Based Language for Tree Manipulation
From system F to typed assembly language
Abstract Interpretation of Reactive Systems
Noncorrecting Syntax Error Recovery
Should your specification language be typed
Path Analysis and the Optimization of Nonstrict Functional Programs
Associons: A Program Notation with Tuples Instead of Variables
Incremental Dynamic Semantics for Language-Based Programming Environments
Termination analysis and specialization-point insertion in offline partial evaluation
A Theory of Slicing for Imperative Probabilistic Programs
Specification and Verification of Fault-Tolerance, Timing, and Scheduling
On the Occur-Check-Free Prolog Programs
Optimal Incremental Parsing
EDO: Exception-directed optimization in java
On the Impact of Programming Languages on Code Quality: A Reproduction Study
Commutativity Analysis: A New Analysis Technique for Parallelizing Compilers
Efficient subtyping tests with PQ-encoding
Mathematical foundation of trace scheduling
Reconciling Responsiveness with Performance in Pure Object-Orieted Languages
La prossima vita at TOPLAS
A capability calculus for concurrency and determinism
Dynamic Typing in a Statically Typed Language
Using Time Instead of Timeout for Fault-Tolerant Distributed Systems
Foundations of Typestate-Oriented Programming
Symbolic Debugging of Optimized Code
Comparison of Compacting Algorithms for Garbage Collection
Optimization-Aware Compiler-Level Event Profiling
Remembrances of things past
For a Few Dollars More: Verified Fine-Grained Algorithm Analysis Down to LLVM
Production Trees: A Compact Representation of Parsed Programs
Generating LR syntax error messages from examples
Lazy and Incremental Program Generation
Iteration Abstraction in Sather
Transformations of CCP programs
Understanding class hierarchies using concept analysis
Concurrent Reading While Writing
Type-Driven Gradual Security with References
Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs
A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis
Towards Monolingual Programming Environments
A foundation for embedded languages
The Program Dependence Graph and Its Use in Optimization
Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types
Verifying policy-based web services security
Final Data Types and Their Specification
Designing Families of Data Types Using Exemplars
Ranking functions for size-change termination
Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss
Uniform Random Generation of Balanced Parenthesis Strings
Detecting Global Variables in Denotational Specifications
Side-channel Elimination via Partial Control-flow Linearization
Limitations of Partial Compaction: Towards Practical Bounds
Conditional Independence by Typing
Symbolic Disintegration with a Variety of Base Measures
Type Extension Through Polymorphism
Static Analysis of Upper and Lower Bounds on Dependences and Parallelism
On the Development of the Algebra of Functional Programs
Forma : A framework for safe automatic array reshaping
Covariance and Contravariance: Conflict without a Cause
Abstract Interaction Tools: A Language for User Interface Management Systems
Data Descriptors: A Compile-Time Model of Data and Addressing
Adding Liveness Properties to Coupled Finite-State Machines
Termination analysis of logic programs through combination of type-based norms
Termination of Probabilistic Concurrent Program
A Comparative Evaluation of Object Definition Techniques
Annotations to Control Parallelism, Reduction Order in the Distributed Evaluation of Functional Programs
Improving Data Locality with Loop Transformations
Subsequence References: First-Class Values for Substrings
Interprocedural Optimization: Eliminating Unnecessary Recompilation
A Formal Framework for the Derivation of Machine-Specific Optimizers
Self-stabilization preserving compiler
IDL: Sharing Intermediate Representations
A programming model for concurrent object-oriented programs
A Further Note on Hennessy's "Symbolic Debugging of Optimized Code"
On the complexity of partially-flow-sensitive alias analysis
A New Solution to Lamport's Concurrent Programming Problem Using Small Shared Variables
Analysis of Or-Parallel Execution Models
Space-Efficient Scheduling of Nested Parallelism
Director Strings as Combinators
A Refinement Calculus for the Synthesis of Verified Hardware Descriptions in VHDL
A bisimulation-based semantic theory of Safe Ambients