2836 search results - page 515 / 568 » Model Checking for Software Architectures |
124
Voted
PLDI
2011
ACM
14 years 5 months 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...
128
Voted
CCE
2007
15 years 4 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...
128
click to vote
BMCBI
2008
15 years 2 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...
126
Voted
ICSE
2004
IEEE-ACM
16 years 2 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...
123
Voted
EMSOFT
2006
Springer
15 years 6 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...