7189 search results - page 523 / 1438 » Connecting Design with Code |
207
click to vote
WCRE
1993
IEEE
15 years 11 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
191
click to vote
TMC
2010
15 years 5 months ago
2010
—A key challenge in the design of real-time wireless multimedia systems is the presence of fading coupled with strict delay constraints. A very effective answer to this problem i...
226
click to vote
EMSOFT
2010
Springer
15 years 5 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
216
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
ion model or flexible PCB solutions cannot offer a valid solution for the next millinium SoCs . James G. Dougherty, Integrated Systems Silicon LTD, Belfast, Northern Ireland ISS an...
198
click to vote
KBSE
2002
IEEE
16 years 5 days ago
2002
IEEE
Traditionally, an application has to be stopped to be adapted. This approach is not suitable for critical systems that have to be non-stop and highly available like bank, internet...