576 search results - page 70 / 116 » Model composition for scheduling analysis in platform design |
CODES
2007
IEEE
14 years 3 months ago
2007
IEEE
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...
INFOCOM
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— Fueled by the competing DSL and Cable technologies, residential broadband access has seen a significant spread in availability to the point that many users have a choi...
CUZA
2002
13 years 9 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
FCCM
2006
IEEE
14 years 3 months ago
2006
IEEE
Recently, platform FPGAs that integrate sequential processors with a spatial fabric have become prevalent. While these hybrid architectures ease the burden of integrating sequenti...
INTELLCOMM
2004
Springer
14 years 2 months ago
2004
Springer
This paper discusses models of generic mobile services. The goal is to gain understanding of the challenges in designing, developing and deploying advanced mobile data services. Fi...