Sciweavers

53 search results - page 11 / 11
» Reusable component IP design using refinement-based design e...
Sort
View
ECBS
1996
IEEE
127views Hardware» more  ECBS 1996»
13 years 10 months ago
Domain Engineering: The Challenge, Status, and Trends
Naval Surface Warfare Center Dahlgren Division; under joint sponsorship of the Office of Naval Research; the Naval Command, Control, and Ocean Surveillance Center; and the Naval S...
Stephanie White, Michael Edwards
ADL
1998
Springer
189views Digital Library» more  ADL 1998»
13 years 10 months ago
Semantic Relations in a Medical Digital Library
ct In this paper, we describe the VesaliusTM Project, a multi-modal collection of anatomical resourcesunder development at Columbia University. 1 Our focus is on the need for navig...
Nina Wacholder, Celina Imielinska, Judith Klavans,...
TLDI
2010
ACM
247views Formal Methods» more  TLDI 2010»
14 years 2 months ago
F-ing modules
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
Andreas Rossberg, Claudio V. Russo, Derek Dreyer