2836 search results - page 515 / 568 » Model Checking for Software Architectures |
PLDI
2011
ACM
13 years 28 days ago
2011
ACM
Exploiting today’s multiprocessors requires highperformance and correct concurrent systems code (optimising compilers, language runtimes, OS kernels, etc.), which in turn requir...
CCE
2007
13 years 11 months ago
2007
: This paper presents a practitioners’ report on supporting shared understanding within distributed development teams. Our software domain focuses on Enterprise development in th...
BMCBI
2008
13 years 10 months ago
2008
Background: New systems biology studies require researchers to understand how interplay among myriads of biomolecular entities is orchestrated in order to achieve high-level cellu...
ICSE
2004
IEEE-ACM
14 years 10 months ago
2004
IEEE-ACM
One of the main objectives of developing component-based software systems is to enable efficient building of systems through the integration of components. All component models def...
EMSOFT
2006
Springer
14 years 1 months ago
2006
Springer
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...