位置：成果数据库 > 期刊 > 期刊详情页
A model-checking approach to schedulability analysis of global multiprocessor scheduling with fixed
  • ISSN号：1741-1068
  • 期刊名称：International Journal of Embedded Systems
  • 时间：2013.11.1
  • 页码：-
  • 相关项目：面向车联网的可信网络应用软件系统试验环境与示范应用
作者： Haibin Cai|
同期刊论文项目
面向车联网的可信网络应用软件系统试验环境与示范应用
期刊论文 47 会议论文 81 获奖 2 著作 3
同项目期刊论文
Prediction-based federated management of multi-scale resources in cloud
On the complexity of query result diversification
Complexity analysis and algorithms for the Program Download Problem
Efficient algorithms for schedulability analysis and priority assignment for fixed-priority preempti
A novel service-oriented intelligent seamless migration algorithm and application for pervasive comp
？SPGM: an efficient algorithm for mapping MapReduce-like data intensive applications in data centre
A New Model for Prediction of the Performance of a Cappuccino Pod
A Dynamic Travel Time Estimation Model Based onConnected Vehicles
An adaptive vehicular epidemic routing method based onattractor selection model
A Mobility Model for Connected Vehicles Induced by the Fish School
Growing Construction and Adaptive Evolution of Complex Software Systems
A Component-based Intelligent Seamless Service Migration Mechanism and Flexible Communication Protoc
Efficient Resource Constrained Scheduling using Parallel Structure Aware Pruning Techniques
Swarm model for cooperative multi-vehicle mobilitywith inter-vehicle communications
构建具备自适应能力的软件
基于出租车GPS 数据的道路平均速度估计方法
A model-checking approach to schedulabilityanalysis of global multiprocessor scheduling with fixed o
A Bio-Inspired QoS-Oriented Handover Model in Heterogeneous Wireless Networks
复杂软件系统的成长性构造与适应性演化
A bayesian compressive sensing vehicular location method based on three-dimensional radio frequency
Calibrate without Calibrating: An Iterative Approach in ParticipatorySensing Network
A Dynamic and Self-adaptive Network Selection Method for Multi-mode Communications in Heterogeneous
Optimal epidemic broadcasting for vehicular ad hoc networks
On Deploying Relays for Connected Indoor Sensor Networks
Reliable Cloud Service in Massive-scale Systems through Rapid Low-cost Failover
无监督特征学习的人体活动识别
Calibrate without Calibrating: An Iterative Approach in Participatory Sensing Network
一种改进的邻接关系可查询压缩算法
虚拟网络映射问题研究及其进展
MCHITS: Monte Carlo based Method for Hyperlink Induced Topic Search on Networks
一种保持结点紧凑的虚拟网络映射方法
ProMiner：系统性质驱动的双向一致性检验框架
构造具备自适应能力的软件
An online service-oriented performance profiling tool for cloud computing systems