1446 search results - page 160 / 290 » Hardware Software Co-Design Using Functional Languages |
147
click to vote
ECLIPSE
2005
ACM
15 years 7 months ago
2005
ACM
The heterogeneity and dynamism of today’s software systems make it difficult to assess the performance, correctness, or security of a system outside the actual time and context ...
142
click to vote
INFOCOM
1996
IEEE
15 years 9 months ago
1996
IEEE
A number of proposals for supporting IP over ATM are under discussion in the networking community including: LAN emulation, classical IP over ATM, routing over large clouds, and m...
129
click to vote
AICCSA
2006
IEEE
15 years 11 months ago
2006
IEEE
The specification, analysis, and administration of business processes have charged great importance in this last time. This has been caused by a competitive industry necessity, dy...
124
click to vote
AMAI
2004
Springer
15 years 10 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
139
click to vote
FMICS
2007
Springer
15 years 11 months ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...