2836 search results - page 334 / 568 » Model Checking for Software Architectures |
153
click to vote
IPPS
2007
IEEE
16 years 14 days ago
2007
IEEE
Blue Gene R /P is a massively parallel supercomputer intended as the successor to Blue Gene/L. It leverages much of the existing architecture of its predecessor to provide scalabi...
166
click to vote
SIES
2007
IEEE
16 years 13 days ago
2007
IEEE
— The paper presents a software architecture for Distributed Timed Multitasking - a new model of computation that can be used to engineer open, and the same time, predictable emb...
157
click to vote
SAFECOMP
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Cognition of technical systems, as the ability to perceive situations, to learn about favorable behavior, and to autonomously generate decisions, adds new attributes to s...
145
click to vote
DESRIST
2009
Springer
15 years 9 months ago
2009
Springer
As a result of the rigor vs. relevance debate, researchers who focus on design research on organizational problems are beginning to focus on their research methodology’s rigor. ...
181
click to vote
ICA3PP
2005
Springer
15 years 11 months ago
2005
Springer
In the present work we describe architectural concepts of the distributed molecular simulation package GridMD. The main purpose of this work is to underline the construction patter...