102 search results - page 4 / 21 » Formal Semantics of Synchronous SystemC |
FMOODS
2000
13 years 9 months ago
2000
We propose a formal real-time semantics for UML statecharts aimed at the requirements level. A requirements-level model assumes perfect technology and has a considerably simpler se...
FDL
2004
IEEE
13 years 11 months ago
2004
IEEE
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...
ICDE
2001
IEEE
14 years 9 months ago
2001
IEEE
Current workflow management technology does not provide adequate means for inter-workflow coordination as concurrently executing workflows are considered completely independent. W...
FMCAD
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
PDPTA
2003
13 years 9 months ago
2003
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...