3745 search results - page 229 / 749 » Sonic: System Description |
204
click to vote
ZUM
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ï¬...
174
click to vote
ERLANG
2004
ACM
16 years 3 days 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...
137
click to vote
EH
2000
IEEE
15 years 11 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...
163
click to vote
ASIAN
1998
Springer
15 years 11 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...
223
click to vote
KRMED
2008
15 years 8 months 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...