3045 search results - page 225 / 609 » Formal Approaches to Software Architecture |
195
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
206
click to vote
ICSE
2008
IEEE-ACM
16 years 8 months ago
2008
IEEE-ACM
Distributed Software Engineering (DSE) concepts in Computer Science (or Engineering) Degrees are commonly introduced using a hands-on approach mainly consisting of teaching a part...
181
click to vote
CODES
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we present a framework for a distributed and very low-cost implementation of synchronization controllers and protocols for embedded multiprocessors. The proposed arc...
214
click to vote
SC
2005
ACM
16 years 22 days ago
2005
ACM
The development of complex scientific applications for high-end systems is a challenging task. Addressing complexity of the involved software and algorithms is becoming increasing...
191
click to vote
DAC
2003
ACM
16 years 8 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...