7530 search results - page 259 / 1506 » Design and Implementation of the YAWL System |
202
click to vote
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
168
click to vote
DATE
2006
IEEE
16 years 24 days ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
159
click to vote
CASCON
1996
15 years 8 months ago
1996
Framework design begins with domain analysis. Either the problem domain is analyzed to create a new design, or the solution domain is analyzed to understand how the problem has al...
202
click to vote
PRDC
2000
IEEE
15 years 11 months ago
2000
IEEE
A synchronous system model is a simple yet powerful distributed system model that reduces the complexity of the design and implementation of dependable distributed applications. H...
204
click to vote
FDL
2003
IEEE
16 years 1 days ago
2003
IEEE
SystemC-Plus from the ODETTE project provides the ability to simulate and synthesise object-oriented specifications into hardware. The current ODETTE compiler translates each obj...