16725 search results - page 2690 / 3345 » Engineering Software Correctness |
215
click to vote
CADE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...
222
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
In many industries, the share of software components provided by third-party suppliers is steadily increasing. As the suppliers seek to secure their intellectual property (IP) righ...
187
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
203
click to vote
DAC
2009
ACM
15 years 11 months ago
2009
ACM
The Synchronous Dataflow (SDF) model of computation is popular for modelling the timing behaviour of real-time embedded hardware and software systems and applications. It is an es...
198
click to vote
GLOBECOM
2009
IEEE
15 years 11 months ago
2009
IEEE
Broadcast is an important primitive in wireless mesh networks (WMNs). Applications like network-wide software update require reliable reception of the content with low-latency and ...