3706 search results - page 205 / 742 » System Description: E-KRHyper |
ERLANG
2004
ACM
14 years 4 months ago
2004
ACM
This paper describes the new exception handling in the Erlang programming language, to be introduced in the forthcoming Release 10 of the Erlang/OTP system. We give a comprehensiv...
EH
2000
IEEE
14 years 3 months ago
2000
IEEE
This paper presents a detailed technical description of a large-scale evolvable hardware system for evolving complex digital circuits directly in silicon at high speed. The core o...
ASIAN
1998
Springer
14 years 3 months ago
1998
Springer
LOTOS is a formal specification language, designed for the precise description of open distributed systems and protocols. Our purpose is to introduce the operators of logics (for e...
KRMED
2008
14 years 6 days ago
2008
In this paper a description is presented in which the architectural, lexical and mapping differences are foregrounded between two compositional systems, both operating in the heal...
ANLP
2000
14 years 3 days ago
2000
This paper presents a parsing system for the detection of syntactic errors. It combines a robust partial parser which obtains the main sentence components and a finite-state parse...