1446 search results - page 225 / 290 » Hardware Software Co-Design Using Functional Languages |
101
click to vote
EUROMICRO
2007
IEEE
15 years 8 months ago
2007
IEEE
In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. ...
119
click to vote
HOTOS
2009
IEEE
15 years 6 months ago
2009
IEEE
The last fifteen years has seen a vast proliferation of middleboxes to solve all manner of persistent limitations in the Internet protocol suite. Examples include firewalls, NATs,...
120
click to vote
SEMWEB
2009
Springer
15 years 9 months ago
2009
Springer
Web Services provide standardized interfaces for accessing software systems and data sources over the Internet. Semantic descriptions of Web Services help to automate the discovery...
102
click to vote
APWEB
2007
Springer
15 years 8 months ago
2007
Springer
XQuery is a powerful language defined by the W3C to query XML documents. Its query functionalities and its expressiveness satisfy the major needs of both the database community an...
153
click to vote
FOSSACS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...