303 search results - page 6 / 61 » A formal executable semantics of Verilog |
APSEC
2007
IEEE
14 years 2 months ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— We describe a novel intelligent execution monitoring approach for mobile robots acting in indoor environments such as offices and houses. Traditionally, monitoring exe...
JSW
2007
13 years 7 months ago
2007
— Web services composition is a very active area of research due to the growing interest of public and private organizations in services integration and/or low cost development o...
CAISE
2001
Springer
14 years 6 days ago
2001
Springer
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
MEMOCODE
2003
IEEE
14 years 29 days ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...