854 search results - page 95 / 171 » Addressing Dynamic Issues of Program Model Checking |
135
Voted
LCPC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Partitioned Global Address Space (PGAS) languages offer an attractive, high-productivity programming model for programming large-scale parallel machines. PGAS languages, ...
127
Voted
IROS
2006
IEEE
15 years 8 months ago
2006
IEEE
— This paper addresses the multiple tasks performing issues for redundant nonholonomic mobile manipulators. An extended gradient projection redundancy resolution scheme is propos...
137
Voted
DAC
2007
ACM
16 years 3 months ago
2007
ACM
Many embedded systems contain resource constrained microcontrollers where applications, operating system components and device drivers reside within a single address space with no...
145
Voted
ISSRE
2010
IEEE
15 years 1 months ago
2010
IEEE
—Coupling in software applications is often used as an indicator of external quality attributes such as fault-proneness. In fact, the correlation of coupling metrics and faults i...
122
click to vote
SAC
2005
ACM
15 years 8 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...