17 search results - page 2 / 4 » fdl 2004 |
FDL
2004
IEEE
13 years 8 months ago
2004
IEEE
In this paper, we are concerned with studying the semantic of the B modularity. We reuse the Harper-Lillibridge-Leroy (HLL) module system. This system implements an SML like module...
FDL
2004
IEEE
13 years 8 months ago
2004
IEEE
With the increasing complexity of real-time control systems, it is important to have sufficient predictability support for a development approach in order to promote the likelihoo...
FDL
2004
IEEE
13 years 8 months ago
2004
IEEE
The steadily increasing complexity of embedded systems requires comprehensive methodoloat support the design process from the highest possible abstraction level. In most of the cu...
FDL
2004
IEEE
13 years 8 months ago
2004
IEEE
In a companion paper [HVV04], we have investigated the deficiency of existing design approaches in supporting predictability for real-time control system development. A design app...
FDL
2004
IEEE
13 years 8 months ago
2004
IEEE
We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the s...