1678 search results - page 72 / 336 » An ASM Specification of C |
KBSE
2000
IEEE
13 years 11 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
IPMI
1999
Springer
14 years 8 months ago
1999
Springer
An algorithm for improved automatic segmentation of gross anatomical structures of the human brain is presented that merges the output of a tissue classification process with gross...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
—This paper presents a multi-core SoC architecture for consumer multimedia applications. The comprehensive functionality of such multimedia systems is described using the example...
TOOLS
1999
IEEE
13 years 12 months ago
1999
IEEE
Business rules are closely associated with events. This paper describes how events in use cases can be the basis for identifying classes and business rules. A process known as Eve...
ORDER
2006
13 years 7 months ago
2006
The C-subfunction relations on the set of functions on a finite base set A defined by function classes C are examined. For certain clones C on A, it is determined whether the part...