2163 search results - page 122 / 433 » cases 2004 |
113
click to vote
ASPDAC
2004
ACM
15 years 10 months ago
2004
ACM
- In this paper, we employ a monitor-based approach for on-chip bus (OCB) compliance test. To describe the OCB protocols,we proposea FSM model, which can help to extract the necess...
130
click to vote
ITICSE
2004
ACM
15 years 10 months ago
2004
ACM
In this paper we describe how XML can be introduced into a compiler construction course. We make the case that XML and compilers have much in common, and that introducing XML into...
129
Voted
SIGCSE
2004
ACM
15 years 10 months ago
2004
ACM
Various methods have been proposed in the past to improve student learning by introducing new styles of working with assignments. These include problem-based learning, use of case...
131
Voted
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
136
click to vote
ANTS
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we investigate the efficiency of the function field sieve to compute discrete logarithms in the finite fields F3n . Motivated by attacks on identity based encrypti...