Real-time system design

Specification and Design of Embedded Hardware-Software Systems

IEEE Design & Test

Remote Device Command and Resource Sharing over the Internet: A New Approach Based on a Distributed Layered Architecture

IEEE Transactions on Computers

Software Performance Engineering: A Case Study Including Performance Comparison with Design Alternatives

IEEE Transactions on Software Engineering

Software Performance Evaluation by Models

Performance Evaluation: Origins and Directions

Origins of Software Performance Engineering: Highlights and Outstanding Problems

Performance Engineering, State of the Art and Current Trends

Origins of Software Performance Engineering: Highlights and Outstanding Problems

Performance Engineering, State of the Art and Current Trends

Job preemption, fast subcube compaction, or waiting in hypercube systems? a selection methodology

Parallel Computing

A $\sqrt{N}$ Dynamic Load Distribution Algorithm Using Anti-Tasks and Load State Vectors

Cluster Computing

The strategic design and development of ERP and RTMS

International Journal of Computer Applications in Technology

Introduction to software performance engineering: origins and outstanding problems

SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation

Model-checking temporal properties of real-time HTL programs

ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II

A rule based knowledge transaction model for mobile environments

Information Sciences: an International Journal