Abstract | ||
---|---|---|
Moore's Law continues to drive a severe increase in the number of transistors that can be integrated onto a single microprocessor chip. Computer architects and designers continue to look for ways to take advantage from it to produce ever more complex ... |
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/978-3-540-74510-5_38 | CSR |
Keywords | Field | DocType |
computer architect,timed trace,security protocol,real-time property,kerberos authentication protocol,single microprocessor chip,verification.,severe increase,trace-based analysis,trace-based approach,real-time formalism,timing property,real-time,strand space,security protocols,interval logic,strand space formalism,strand spaces,timed traces,verification,authentication protocol,real time,inductive reasoning | Discrete mathematics,Inductive reasoning,Interval temporal logic,Cryptographic protocol,Computer science,Kerberos,Theoretical computer science,Timestamp,Formalism (philosophy),Distributed computing | Conference |
Volume | ISSN | ISBN |
4649 | 0302-9743 | 3-540-74509-2 |
Citations | PageRank | References |
4 | 0.41 | 23 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
r t sharp | 1 | 33 | 3.65 |
Michael r. Hansen | 2 | 543 | 43.29 |