Sciweavers

5355 search results - page 154 / 1071
» Modules
Sort
View
APAQS
2001
IEEE
14 years 2 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»
14 years 2 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
14 years 1 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