Strategic directions in real-time and embedded systems

Validation of timing properties

ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research

Engineering Dynamic Real-Time Distributed Systems: Architecture, System Description Language, and Middleware

IEEE Transactions on Software Engineering

BeeHive: Global Multimedia Database Support for Dependable, Real-Time Applications

ARTDB '97 Proceedings of the Second International Workshop on Active, Real-Time, and Temporal Database Systems

Keeping a Very Large Website Up-to-date: Some Feasibility Results

EC-WEB '00 Proceedings of the First International Conference on Electronic Commerce and Web Technologies

A Tool for Analyzing and Fine Tuning the Real-Time Properties of an Embedded System

IEEE Transactions on Software Engineering

Scheduling Queries to Improve the Freshness of a Website

World Wide Web

An FPGA-based coprocessor for real-time fieldbus traffic scheduling: architecture and implementation

Journal of Systems Architecture: the EUROMICRO Journal

A Technique for Adaptive Scheduling of Soft Real-Time Tasks

Real-Time Systems

An architecture for flexible scheduling in Profibus networks

Computer Standards & Interfaces

eCD++: an engine for executing DEVS models in embedded platforms

Proceedings of the 2007 Summer Computer Simulation Conference

Patterns for Automatic Generation of Soft Real-time System Models

Simulation

Experimental evaluation of slack management in real-time control systems: Coordinated vs. self-triggered approach

Journal of Systems Architecture: the EUROMICRO Journal

Placement and Floorplanning in Dynamically Reconfigurable FPGAs

ACM Transactions on Reconfigurable Technology and Systems (TRETS)

ScatterD: Spatial deployment optimization with hybrid heuristic/evolutionary algorithms

ACM Transactions on Autonomous and Adaptive Systems (TAAS)

Towards a formal verification methodology for collective robotic systems

ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering

Resource and performance trade-offs in real-time embedded control systems

Real-Time Systems