4959 search results - page 735 / 992 » Imperative Functional Programming |
167
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...
173
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
We consider optimal allocation of resources to users in a downlink OFDMA system to support heterogeneous applications consisting of both deadline-sensitive (DS) and best-effort (BE...
159
click to vote
HOTOS
2007
IEEE
15 years 10 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
175
click to vote
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we present a WebTop XML Editor by which the user can edit XML Documents on views generated by user-defined styles. Meta XSLT is the key technology of this feature. ...
182
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
: A powerful and widely-used method for analyzing the performance behavior of parallel programs is event tracing. When an application is traced, performancerelevant events, such as...