4116 search results - page 176 / 824 » Type Analysis for CHIP |
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract— Salamanders propel themselves by proper coordination of limb movements and body undulations. This type of locomotion is interesting for robotics to design robots capabl...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— This paper discusses the design and current capabilities of a new software tool, dVC, capable of simulating planar systems of bodies experiencing unilateral contacts wi...
ISBI
2007
IEEE
14 years 3 months ago
2007
IEEE
Optical imaging is a powerful technique to map brain function in animals. In this study, we consider in vivo optical imaging of the murine olfactory bulb, using an intrinsic signa...
ISESE
2006
IEEE
14 years 3 months ago
2006
IEEE
The replication of experiments is a key undertaking in SE. Successful replications enable a discipline’s body of knowledge to grow, as the results are added to those of earlier ...