854 search results - page 129 / 171 » Addressing Dynamic Issues of Program Model Checking |
139
click to vote
FPGA
2007
ACM
15 years 8 months ago
2007
ACM
Chip-multiprocessors are quickly gaining momentum in all segments of computing. However, the practical success of CMPs strongly depends on addressing the difficulty of multithread...
132
click to vote
SIGCSE
2010
ACM
15 years 7 months ago
2010
ACM
Inspired by the formal code inspection process commonly used in the software industry, we have been exploring the use of pedagogical code reviews (PCRs), in which a team of three ...
127
click to vote
CCE
2005
15 years 2 months ago
2005
The present paper reports a comparative evaluation of four multivariate statistical process control (SPC) techniques for the on-line monitoring of an industrial sugar crystallizat...
130
Voted
JCP
2008
15 years 2 months ago
2008
This paper addresses the issue of trajectory tracking control based on a neural network controller for industrial manipulators. A new control scheme is proposed based on neural net...
115
Voted
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
The coordination paradigm has been used extensively as a mechanism for software composition and integration. Consequently, a number of associated models and languages have been pr...