7121 search results - page 1093 / 1425 » Functions as Session-Typed Processes |
186
click to vote
MEMOCODE
2003
IEEE
15 years 12 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
155
click to vote
MICRO
2003
IEEE
15 years 12 months ago
2003
IEEE
Application-specific extensions to the computational capabilities of a processor provide an efficient mechanism to meet the growing performance and power demands of embedded appl...
164
click to vote
VISUALIZATION
2003
IEEE
15 years 12 months ago
2003
IEEE
Segmentation of structures from measured volume data, such as anatomy in medical imaging, is a challenging data-dependent task. In this paper, we present a segmentation method tha...
179
click to vote
WCRE
2003
IEEE
15 years 12 months ago
2003
IEEE
One prevalent method for evaluating the results of automated software analysis tools is to compare the tools’ output to the judgment of human experts. This evaluation strategy i...
158
click to vote
WECWIS
2003
IEEE
15 years 12 months ago
2003
IEEE
Converting a conventional contract into an electronic equivalent that can be executed and enforced by computers is a challenging task. The difficulties are caused by the ambiguiti...