2836 search results - page 443 / 568 » Model Checking for Software Architectures |
157
click to vote
IPPS
2006
IEEE
16 years 11 days ago
2006
IEEE
The growing reliance on services provided by software applications places a high premium on the reliable and efficient operation of these applications. A number of these applicat...
203
click to vote
TVLSI
2008
15 years 5 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
163
click to vote
COMPSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper proposes MISSA, a novel middleware to facilitate the development and provision of stream-based services in emerging pervasive environments. The streambased services util...
134
click to vote
IEEEHPCS
2010
15 years 4 months ago
2010
The stochastic Greenberg-Hastings cellular automaton is a model that mimics the propagation of reaction-diffusion waves in active media. Notably, this model undergoes a phase tran...
188
click to vote
IJCNN
2006
IEEE
16 years 11 days ago
2006
IEEE
— This paper argues that connectionist systems are a good approach to implement a speech understanding computational model. In this direction, we propose SUM, a Speech Understand...