Sciweavers

3008 search results - page 30 / 602
» Mechanisms for Importing Modules
Sort
View
CGO
2004
IEEE
15 years 1 months ago
SYZYGY - A Framework for Scalable Cross-Module IPO
Performing analysis across module boundaries for an entire program is important for exploiting several runtime performance opportunities. However, due to scalability problems in e...
Sungdo Moon, Xinliang D. Li, Robert Hundt, Dhruva ...
IROS
2008
IEEE
91views Robotics» more  IROS 2008»
15 years 4 months ago
Peltier-based freeze-thaw connector for waterborne self-assembly systems
Abstract— We present a novel type of inter-module connection mechanism for waterborne modular robotic systems. The proposed mechanism exploits the thermoelectric effect to cool d...
Shuhei Miyashita, Flurin Casanova, Max Lungarella,...
AI
2008
Springer
15 years 4 months ago
Aspects of Inconsistency Resolution in Modular Ontologies
Modularization entails more efficient reasoning and better performance in the ontology manipulation process. Therefore, the development of modular ontologies has recently received ...
Faezeh Ensan, Weichang Du
WCFLP
2005
ACM
15 years 3 months ago
A generic analysis environment for declarative programs
In this paper we present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the implementation ...
Michael Hanus
COMPSAC
2002
IEEE
15 years 2 months ago
Hypothesis Testing for Module Test in Software Development
One of the most important issues in the software development is how to guarantee that the software satisfies the quality defined in the requirement specification. This paper pr...
Tsuneo Yamaura, Akira K. Onoma, Wei-Tek Tsai