yusuke1997/dblp-id-title huggingface dataset:
Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables
A Decomposition Approximation Method for Closed Queueing Networks with Fork/Join Subnetworks
Continuous Engineering of Embedded systems
Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level
A Fast and Efficient Isomorphic Task Allocation Scheme for K-Ary N-Cube Systems
A Multi-Level Design Pattern for Embedded Software
Modeling Distributed State as an Abstract Object
Communication Paradigms for High-Integrity Distributed Systems with Hard Real-Time Requirements
Distributed Resource-Aware Scheduling for Multi-core Architectures with SystemC
URSA: A Unified ReSource Allocator for Registers and Functional Units in VLIW Architectures
Modular Compilation of Synchronous Programs
Feature Selection for Classification Using an Ant System Approach
Reliability-Aware Power Management of Multi-Core Processors
Building Embedded Fault-Tolerant Systems for Critical Applications: An Experimental Study
Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, PACT 1993, Orlando, Florida, USA, January 20-22, 1993
Java Real-Time Publish-Subscribe Middleware for Distributed Embedded Systems
The Paderkicker Team: Autonomy in Realtime Environments
Schedulability Analysis and Design of Real-Time Embedded Systems with Partitions
Optimizing Functional distribution in Complex System Design
Scheduling Dependent Distributable Real-Time Threads in Dynamic Networked Embedded Systems
Combining Static Partitioning with Dynamic Distribution of Threads
Deterministic and High-Performance Communication System for the Distributed Control of Mechatronic Systems Using the IEEE1394a
Towards Design Verification and Validation at Multiple Levels of Abstraction
A Petri Net Based Approach for the Design of Dynamically Modifiable Embedded Systems
Data Partitioning Techniques for Partially Protected Caches to Reduce Soft Error Induced Failures
Dependability Characterization of Middleware Services
A Protocol Specification Language with a High-Level Petri Net Semantics
Collaborating and Learning Predators on a Pursuit Scenario
Timing Constraints Validation using UPPAAL: Schedulability Analysis
A Multiobjective Tabu Search Algorithm for the Design Space Exploration of Embedded Systems
Distributed HIL-Simulation of Mechatronic Systems Applied to an Agriculture Machine
Distributed Embedded Systems: Design, Middleware and Resources, IFIP 20th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), September 7-10, 2008, Milano, Italy
Framework for System Design, Validation and Fast Prototyping of Multiprocessor System-On-Chip
From synchronous Specifications to Asynchronous Distributed Implementations
Design Challenges in Multiprocessor Systems-on-Chip
Can UML be a System-Level Language for Embedded Software?
Model-Based Analysis of a Windmill Communication System
Dependency-Driven Distribution of Synchronous Programs
Generic Architecture Platform for Multiprocessor System-On-Chip Design
A Distributed Algorithm for Resource Management
The Realities of Parallel Processing and Dataflow's Role in It: Lessons from the NASA HPCC Program
Pre-Runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors
Decentralized and Distributed Systems, Proceedings of the IFIP WG10.3 International Conference on Decentralized and Distributed Systems, Palma de Mallorca, Spain, 13-17 September 1993
Trends in Timing Analysis
Data Flow Computing and the Conjugate Gradient Method
Extending the Standard Execution Model of UML for Real-Time Systems
Code Generation for Multi-Threaded Architectures from Dataflow Graphs
From MSCs to Statecharts
Parallel Dimension Permutations on Star-Graph
A Methodology for Complex Embedded Systems Design: Petri Nets within a UML Approach
Efficient Execution of Doacross Loops on Distributed Memory Systems
EXPLORA - Generic Design Space Exploration during Embedded System Synthesis
Statistical Analysis of a Hybrid Replication Model
Architecture and Design of Distributed Embedded Systems, IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000), October 18-19, 2000, Schloß Eringerfeld, Germany
A Product Family Approach to Graceful Degradation
From Annotated LOTOS Specifications to Queueing Networks: Automating Performance Models Derivation
An OO Based Methodology for Real-Time HW/SW Systems Modeling
Programming Communicating Distributed Reactive Automata: the Weak Synchronous Paradigm
A Cooperative Algorithm for Load Balancing in Interconnected Transputer Network
Real-Time Support for Online Controller Supervision and Optimisation
Comparing Model Checking and Term Rewriting for the Verification of an Embedded System
Design Methods and Applications for Distributed Embedded Systems, IFIP 18th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004), 22-27 August 2004, Toulouse, France
Internet Premium Services for Flexible Format Distributed Services
Using Imprecise Computation Techniques for Power Management in Real-Time Embedded Systems
Robust Partitioned Scheduling for Real-Time Multiprocessor Systems
A Performance Comparison between the Fieldbus Protocol Standards PROFIBUS and FIP
Paradise: Design Environment for Parallel & Distributed, Embedded Real-Time Systems
A Consistent Design Methodology for Configurable HW/SW-interfaces in Embedded Systems
Fault Detection in Safety-Critical Embedded Systems
Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems
IEEE-1394 A Standard to Interconnect Distributed Systems
Specification-based Verification of Embedded Systems by Automated Test Case Generation
Efficient System Modeling for Complex Real-Time Industrial Networks using the ACCORD/UML Methodology
Scenario-Based Modeling in Industrial Information Systems
A Multiprocessor Parallel Disk System Evaluation
Model Checking of Concurrent Algorithms: From Java to C
Task Migration for Fault-Tolerant FlexRay Networks
An Entirely Model-Based Framework for Hardware Design and Simulation
A New Loop Partition Method-Clustering
IP-Centric Methodology and Specification Language
Adaptive Middleware for Ubiquitous Computing Environments
A Software Architecture and Supporting Kernel for Largely Synchronously Operating Sensor Networks
Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services
A Decentralized Self-Organized Approach for Wireless Sensor Networks
An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration
Distributed Access to Persistent Objects
Enhancing Structured Analysis by Timed Statecharts for Real-Time and Concurrency Specification
Mulitdimensional Streams Rooted in Dataflow
Unifying HW Analysis and SoC Design Flows by Bridging Two Key Standards: UML and IP-XACT
SelSta - A Biologically Inspired Approach for Self-Stabilizing Humanoid Robot Walking
Flexible Resource Management - A Framework for Self-Optimizing Real-Time Systems
Low Latency Color Segmentation on Embedded Real-Time Systems
Heuristics Driven Real Time Software Desgin. Faking Ideal Design Process with TOCCATA Method
A Parallel Implementation of the Traveling Salesman Problem on a Sequent Symmetry Mulitprocessor
What is a Deadlock?
TinyOS Extensions for a Wireless Sensor Network Node Based on a Dynamically Reconfigurable Processor
On the Use of Software Quality Metrics to Improve Physical Properties of Embedded Systems
Model Checking Robustness to Desynchronization
Distributed HIL-Simulation for the Design of Decentralised Control Structures
Modeling and Verification of Pipelined Embedded Processors in the Presence of Hazards and Exceptions
Hardware Synthesis of a Parallel JPEG Decoder from its Functional Specification
A Design Methodology for Embedded Systems based on Multiple Processors
Analysis of Periodic Clock Relations in Polychronous Systems
RACE: A Rapid, ArChitectural Simulation and Synthesis Framework for Embedded Processors
Transforming Execution-Time Boundable Code into Temporally Predictable Code
Selective Scheduling Framework for Speculative Operations in VLIW and Superscalar Processors
An Approximate Analysis of DQDB Networks with the Bandwidth Balancing Mechanism
Generating VHDL Source Code from UML Models of Embedded Systems
Balancing Fine- and Medium-Grained Parallelism in Scheduling Loops for the XIMD Architecture
A Hierarchical Approach for Power Management on Mobile Embedded Systems
A Functional Data-flow Architecture Dedicated to Real-time Image Processing
The Components Data Flow Machine: An Intermediate Modeling Format to Support the Design of Automobiles E/E Systems Architectures
A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex Systems
Agent-Based Load Balancing for Mobile Robot Applications
High Performance Architecture Issues
A Novel Approach for Off-Line Multiprocessor Scheduling in Embedded Hard Real-Time Systems
Integration of Energy Reduction into High-Level Synthesis by Partitioning
On the Effectiveness of Interleaved Memories for Binary Trees
A Power Model for Register-Sharing Structures
Model-Based Test Selection for Infinite State Reactive Systems
The Initial Performance of a Bottom-Up Clustering Algorithm for Dataflow Graphs
Traffic Scheduling Anomalies in Temporal Partitions
Software Pipelining: Petri Net Pacemaker
Analysis of Event-Driven Real-Time Systems with Time Petri Nets: A Translation-Based Approach
A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement
Deriving Message Passing Protocols from Collective Behavior
ME64 - A Parallel Hardware Architecture for Motion Estimation Implemented in FPGA
Design and Analysis of Distributed Embedded Systems, IFIP 17 th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada
From Model-Driven Design to Resource Management for Distributed Embedded Systems, IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), October 11-13, 2006, Braga, Portugal
Distribution of Time Interval Between Successive Interrupt Requests
Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals
Sorting Units for FPGA-Based Embedded Systems
Environment Modelling in Closed Specifications of Embedded Systems
Distributed and Parallel Embedded Systems, IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES '98), October 5-6. 1998, Schloß Eringerfeld, Germany
Parallel Implementations of Two Algorithms for Solving Linear Programming Problems
JPURE - A Purified Java Execution Environment for Controller Networks
The DASE Tool: An Environment for the Development of Real-Time Applications
PEARL for Distributed Embedded Systems
Verification Framework for UML-Based Design of Embedded Systems
Microscopic Modeling of Support System for In- Vehicle Embedded Systems
Customizing Software Toolkits for Embedded Systems-On-Chip
Design and Implementation of a FTT-CAN Communication Infra-Structure for the RT-femtoJava Processor
Iterative Refinement Approach for QOS-Aware Service Configuration
Getting Cooperative Environment by Coordinating Services through a Network
A Self-Controlled and Dynamically Reconfigurable Architecture
Exploring the Stream Data Type in SISAL and Other Languages
Universal Plug and Play Machine Models
An Active Replication Scheme that Tolerates Failures in Distributed Embedded Real-Time Systems
Decomposed Software Pipelining: A New Approach to Exploit Instruction Level Parallelism for Loop Programs
Flexible and Dynamic Replication Control for Interdependent Distributed Real-Time Embedded Systems
MDE Benefits for Distributed, Real Time and Embedded Systems
Adaptive Bus Encoding Schemes for Power-Efficient Data Transfer in DSM Environments
A Systematic Approach to Load Distribution Strategies for Distributed Systems
Model Checking the Ant Colony Optimisation
A New Dynamic Scheduling Algorithm for Real-Time Multiprocessor Systems
Experiences from Model Based Development of Drive-By-Wire Control Systems
Evolutionary-Computation Based Risk Assessment of Aircraft Landing Sequencing Algorithms
Modeling and Verification of Hybrid Systems Based on Equations
A Dataflow Language (AVON) as an Architecture Description Language (ADL)
Extending Classical Theorem Proving for the Semantic Web
Inferencing and Truth Maintenance in RDF Schema
Towards a benchmark of the ODE API methods for accessing ontologies In the WebODE platform
Prolog-based Infrastructure for RDF: Scalability and Performance
Incremental Maintenance of dynamic Datalog programs
3store: Efficient Bulk RDF Storage
DLDB: Extending Relational Databases to Support Semantic Web Queries
Scalable Ontology Implementation Based On knOWLer
Representing Contextualized Data using Semantic Web Tools
Application-Specific Schema Design for Storing Large RDF Datasets
PSSS1 - Practical and Scalable Semantic Systems, Proceedings of the First International Workshop on Practical and Scalable Semantic Systems, Sanibel Island, Florida, USA, October 20, 2003
An Online Marking, Feedback and Moderation Tool for Computer Science Higher Education Courses
A Flexible Approach to Introductory Programming: Engaging and motivating students
Narrowing and Stretching: Addressing the Challenge of Multi-track Programming
Building an Enhanced Student Experience: Reflections from the Department of Computer Science at the University of Bath
Proceedings of the 8th Conference on Computing Education Practice, CEP 2024, Durham, United Kingdom, 5 January 2024
Automated Marking in Undergraduate Programming Classes
CEP 2022: Computing Education Practice 2022, Durham, United Kingdom, 6 January 2022
CEP '21: Computing Education Practice 2021, Durham, United Kingdom, January, 2021
Promoting Engagement in Remote Computing Ethics Education
Supporting Early-Career Academics in the UK Computer Science Community
A Repository of Resources and Exemplars for the Cloud Curriculum
Computing with Codio at Coventry University: Online virtual Linux boxes and automated formative feedback
Towards a multilingual, cross-cultural and student-led Software Engineering lectures in UK Higher Education
Investigating the Role Choice of Female Students in a Software Engineering Team Project
Teaching Data Ethics: We're going to ethics the heck out of this
Student Perceptions of Assessment and Feedback - are they valid?
Engaging Science and Engineering Students in Computing Education through Learner-Created Videos and Physical Computing Tools
LMC + Scratch: A recipe to construct a mental model of program execution
Assessing Software Engineering Students' Analytical Skills in the Era of Generative AI
Proceedings of the 9th Conference on Computing Education Practice, CEP 2025, Durham, United Kingdom, 7 January 2025
Analysis of an automatic grading system within first year Computer Science programming modules
Orienting learners and teachers in introductory programming classes: the ABC Framework
Computing Education Practice, CEP 2023, Durham, United Kingdom, 6 January 2023
Computing with CodeRunner at Coventry University: Automated summative assessment of Python and C++ code
Nurturing Collaboration in an Undergraduate Computing Course with Robot-themed Team Training and Team Building
Research-led Active Learning Sessions in Cyber Security through Research Paper Reading
Enhancing conceptual understanding in early years of Computing education
Creative Assessment in Programming: Diversity and Divergence
First Year Computer Science Projects at Coventry University: Activity-led integrative team projects with continuous assessment
Embedding culturally relevant pedagogy in practice: Considerations for training and resource development
The PASS Effect: How Peer Assisted Study Sessions Contribute to a Computing Community
Institute of Coding in Wales Digital Skills Bootcamps - Micro-Credentials: A Pilot Project
Analysis of Student Misconceptions using Python as an Introductory Programming Language
Introducing Modelling and Code Comprehension from the First Days of an Introductory Programming Class
Supervisor Recommendation Tool for Computer Science Projects
An alternative supervision model for postgraduate projects: A course-specific approach
Exploring Student Perceptions and Expectations of Cyber Security
Co-Constructing a Community of Practice for Early-Career Computer Science Academics in the UK
CEP 2020: Computing Education Practice 2020, Durham, UK, January 9, 2020
Trunk and Branch: Fostering autonomous peer supportive learning environments through delivery & assessment
Assessing Knowledge and Skills in Forensics with Alternative Assessment Pathways
Learning without Limits: Analysing the Usage of Generative AI in a Summative Assessment
Errors and Poor Practices of Software Engineering Students in Using Git
Automated Code Tracing Exercises for CS1
Data Science Course Design for a Large-Scale Cohort using Individual Project-Based Learning
FLARE: A Framework Supporting Code Comprehension and Formative Assessment in Block-Based Programming Education
Gender parity in peer assessment of team software development projects
Using the One Minute Paper to Gain Insight into Potential Threshold Concepts in Artificial Intelligence Courses
Teaching relational database fundamentals: a lack-of-progress report
Integrating Socially Responsible Computing Competencies in Computer Science and Software Engineering Education
Learning Programming Languages by Pantomime
Proceedings of the 3rd Conference on Computing Education Practice, CEP 2019, Durham, United Kingdom, January 09-09, 2019
Papertian Mathetics with Concept Map Stories
Video Versus Source Code Lab Solutions
Automating Feedback for Computing Vivas and Presentations - A Journey
Increasing academic diversity and inter-disciplinarity of Computer Science in Higher Education
How Early is Early Enough: Correlating Student Performance with Final Grades
Incorporating Generative AI into Software Development Education
Engaging with computer science when solving tangible problems
Using contributing student pedagogy to enhance support for teamworking in computer science projects
Where Have All the Papers Gone? Priming the pump of pedagogical publishing in Europe
Improving Technical Communication with a Cue Awareness Intervention using Poster Presentations
Feedback and Engagement on an Introductory Programming Module
Enhancing Learning and Teaching Experience for International Students in Computing Subjects
Gamification of Team Interaction in a distance learning environment
Improving Computer Science Student Graduate Skills Through Assessment
Using a Virtual Computing Lab to Teach Programming at a Distance
Teaching Computing via a School Placement
Computer Science Degree Accreditation in the UK: A Post-Shadbolt Review Update
Learning to program: from problems to code
Beyond Apps: Tablet and Micro: bit Devices as Tools for Creative Computing in Primary Schools
Addressing mixed levels of prior knowledge by individualising learning pathways in a Degree Apprenticeship Summer School
Designing Computer Security Assessments to Reduce Plagiarism
Designing a Portfolio-Oriented Curriculum using Problem Based Learning
Application of Amazon Web Services within teaching & learning at Coventry University Group
Tool-Driven Scaffolding of Student-Generated Analogies in CS1
How to Learn a New Language: A Novel Introductory Programming Course
Data Protection and Privacy Regulations as an Inter-Active-Constructive Practice
PRIMM and Proper: Authentic Investigation in HE Introductory Programming with PeerWise and GitHub
DRAT - A Dynamic Resource Allocation Tool for Estimating Compute Power in a Cybersecurity Engineering Learning Facility
Improving professionalism in first year computer science students: Teaching what can't be taught
Themes in the Declared Use of Generative Artificial Intelligence in Assessment
Enhancing Faculty-Student Interaction in an Undergraduate Algorithms Course Through Group Oral Presentations
Practical Insights for Engaging in Charity-University Collaborations for Computing Outreach for Disadvantaged Young People
How to Successfully Run a Digital Apprenticeship: The Programming Boot Camp Case Study
Group Assignments and Support Aimed to Develop Student Teamwork Skills and a Positive Attitude Towards Teamwork in Computer Science Higher Education
Engaging Students in Threat Thinking with the Cyber Security Cinema
The Institute of Coding: Addressing the UK Digital Skills Crisis
Teaching of Computing to Mathematics Students: Programming and Discrete Mathematics
Automated Assessment for Databases Units
A synthesized teaching model that promotes both procedural and conceptual knowledge dimensions in CS1
Proceedings of the 6th International Workshop on Online Dispute Resolution 2010, Liverpool, United Kingdom, December 15, 2010
A Multi-Agent Architecture for Online Dispute Resolution Services
RisolviOnline, Médiateur du Net and Internet Ombudsmann: Have they Experienced a Significant Evolution Lastly?
RisolviOnline: Online Mediation from a Very Practical Point of View
An OWL Ontology and Bayesian Network to Support Legal Reasoning in the Owners Corporation Domain
A Description of Legal Interpretations in Risk Management with the Use of Ontology Alignment Formalisms
Introduction: Bringing a New Vision to ODR
Online Dispute Resolution in 2010: a Cyberspace Odyssey?
Conflict Management Support in Electronic Negotiations
Using Asset Divider to investigate the Israel - Palestinian dispute
Providing Relevant Knowledge in Disputes: UMCourt Project
Beyond Interest Based Bargaining - Incorporating Interests and Fairness in the Development of Negotiation Support Systems
Proceedings of the 5th International Workshop on Online Dispute Resolution, in conjunction with the 21st International Conference on Legal Knowledge and Information Systems (JURIX 2008), Firenze, Italy, December 13, 2008
Towards Standardisation of Online Dispute Resolution Tools
Reflecting on ODR: The Israeli Example
Re-Consider: The Integration of Online Dispute Resolution and Decision Support Systems
Online Integrative Negotiation Tools for the Dutch Council for Legal Aid
Trust Online: How to Adapt Mediation and Negotiation Techniques to the Virtual Environment
Online Arbitration Definition and its Distinctive Features
I Want the Opposite of What You Want: Summary of a Study on the Reduction of Fixed-Pie Perceptions in Online Negotiations
Sequences and Their Applications - SETA 2010 - 6th International Conference, Paris, France, September 13-17, 2010. Proceedings
Results on Constructions of Rotation Symmetric Bent and Semi-bent Functions
Sequences and Their Applications - SETA 2004, Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers
Topics on Optical Orthogonal Codes
An Equivalence-Preserving Transformation of Shift Registers
Cross-Correlation Properties of Perfect Binary Sequences
A Unified View on Sequence Complexity Measures as Isometries
Constant Sum Implies Statistical Independence of Chaotic Sequences
Sequences, DFT and Resistance against Fast Algebraic Attacks
On the Nonlinearity of Discrete Logarithm in \mathbb F 2 n \mathbb F_{2^n}
Period and Linear Complexity of Cascaded Clock-Controlled Generators
Improved Singleton Bound on Frequency Hopping Sequences
Lower Bounds on Sequence Complexity Via Generalised Vandermonde Determinants
A Public Key Cryptosystem Based upon Euclidean Addition Chains
On the Number of Kernel Elements of Automatic Sequences
Weighted Degree Trace Codes for PAPR Reduction
Generating Functions Associated with Random Binary Sequences Consisting of Runs of Lengths 1 and 2
On the Number of Linearly Independent Equations Generated by XL
Asymptotic Behavior of Normalized Linear Complexity of Multi-sequences
Multiscale Coarse-graining Invariant Sequences
Word-Oriented Transformation Shift Registers and Their Linear Complexity
On the Correlation Distribution of Kerdock Sequences
Uniformly Representable Permutation Polynomials
New Extensions and Applications of Welch-Bound-Equality Sequence Sets - (Invited Paper)