2836 search results - page 323 / 568 » Model Checking for Software Architectures |
142
Voted
DATE
2002
IEEE
15 years 10 months ago
2002
IEEE
We advocate a network on silicon (NOS) as a hardware architecture to implement communication between IP cores in future technologies, and as a software model in the form of a prot...
141
Voted
AMAST
2008
Springer
15 years 7 months ago
2008
Springer
This paper gives a correctness proof for the on-chip COMA cache coherence protocol that supports the Microgrid of microtheaded architecture, a multi-core architecture capable of in...
132
Voted
ECSA
2010
Springer
15 years 5 months ago
2010
Springer
Although primarily studied in the context of product lines, variability is a key fact about most systems and therefore a concern for the architectures of those systems. Thus it is...
139
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
One of the main factors driving object-oriented software development for information systems is the requirement for systems to be tolerant to change. To address this issue in desig...
149
Voted
ASWEC
2001
IEEE
15 years 8 months ago
2001
IEEE
Static analysis is a tremendous help when trying to find faults in complex software. Writing multi-threaded programs is difficult, because the thread scheduling increases the prog...