Sciweavers

5355 search results - page 154 / 1071
» Modules
Sort
View
APAQS
2001
IEEE
15 years 10 months ago
A Selective Software Testing Method Based on Priorities Assigned to Functional Modules
Masayuki Hirayama, Tetsuya Yamamoto, Jiro Okayasu,...
ASPDAC
2001
ACM
59views Hardware» more  ASPDAC 2001»
15 years 10 months ago
Module placement with boundary constraints using the sequence-pair representation
Jianbang Lai, Ming-Shiun Lin, Ting-Chi Wang, Li-C....
CTCS
1995
Springer
15 years 10 months ago
A Proposed Categorical Semantics for ML Modules
We present a simple categorical semantics for ML signatures, structures and functors. Our approach relies on realizablity semantics in the category of assemblies. Signatures and s...
Michael P. Fourman, Hayo Thielecke