475 search results - page 55 / 95 » Formal Analysis of Processor Timing Models |
147
click to vote
RTSS
2008
IEEE
15 years 9 months ago
2008
IEEE
The Real-Time Calculus (RTC) framework proposed in [Chakraborty et al., DATE 2003] and subsequently extended in [Wandeler et al., Real-Time Systems 29(2-3), 2005] and a number of ...
108
click to vote
IADIS
2004
15 years 4 months ago
2004
The evolving nature of complex traffic issues of IP (Internet Protocol)-based Telecollaboration (TC) business system technology requires an intuitive understanding for the partici...
146
Voted
ACNS
2007
Springer
15 years 9 months ago
2007
Springer
In 1990, Boyar, Chaum, Damg˚ard and Pedersen introduced convertible undeniable signatures which limit the self-authenticating property of digital signatures but can be converted b...
109
click to vote
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
137
click to vote
CCGRID
2007
IEEE
15 years 9 months ago
2007
IEEE
The number of processors embedded on high performance computing platforms is continuously increasing to accommodate user desire to solve larger and more complex problems. However,...