21437 search results - page 230 / 4288 » Hardware |
175
click to vote
FORTE
1998
15 years 8 months ago
1998
: In this paper, we propose a technique for hardware implementation of protocol specifications in LOTOS. For the purpose, we define a new model called synchronous EFSMs consisting ...
168
click to vote
ACL
1990
15 years 7 months ago
1990
This paper describes a new hardware algorithm for morpheme extraction and its implementation on a specific machine (MEX-I), as the first step toward achieving natural language par...
188
click to vote
WCE
2007
15 years 7 months ago
2007
—This paper proposes and uses multivariate methods as a tool to evaluate performances of the hardware of microcomputers using their performance data, speed and price. The evaluat...
188
click to vote
JFP
2006
15 years 6 months ago
2006
This paper introduces reFLect, a functional programming language with reflection features intended for applications in hardware design and verification. The reFLect language is st...
161
click to vote
ENTCS
2007
15 years 6 months ago
2007
We propose to use a formal specification language as a high-level hardware description language. Formal languages allow for compact, unambiguous representations and yield designs...