4036 search results - page 57 / 808 » Formal Methods |
123
Voted
ASPLOS
2004
ACM
15 years 8 months ago
2004
ACM
Multiple Clock Domain (MCD) processors are a promising future alternative to today’s fully synchronous designs. Dynamic Voltage and Frequency Scaling (DVFS) in an MCD processor ...
99
Voted
TPHOL
2009
IEEE
15 years 9 months ago
2009
IEEE
88
Voted
MLDM
2009
Springer
15 years 9 months ago
2009
Springer
144
click to vote
NCA
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
148
Voted
AB
2008
Springer
15 years 9 months ago
2008
Springer