307 search results - page 9 / 62 » Towards Integrated Verification of Timed Transition Models |
KESAMSTA
2010
Springer
13 years 5 months ago
2010
Springer
Real-time computations in multi-agent systems have been studied from different perspectives of reasoning, message passing, resource management and negotiations. Separate treatment...
DAC
2005
ACM
14 years 7 months ago
2005
ACM
Recent study shows that the existing first order canonical timing model is not sufficient to represent the dependency of the gate delay on the variation sources when processing an...
ICCAD
2010
IEEE
13 years 15 days ago
2010
IEEE
Power gating has been widely adopted in multicore designs. The design of fast and reliable power mode transition for per-core power gating remains a challenging problem. This paper...
CASE
2011
12 years 6 months ago
2011
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
FORMATS
2008
Springer
13 years 8 months ago
2008
Springer
Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded pla...