1809 search results - page 132 / 362 » Software Model Checking Using Linear Constraints |
ICSE
2012
IEEE-ACM
11 years 11 months ago
2012
IEEE-ACM
—Natural languages like English are rich, complex, and powerful. The highly creative and graceful use of languages like English and Tamil, by masters like Shakespeare and Avvaiya...
EUROPAR
2008
Springer
13 years 11 months ago
2008
Springer
We describe a software solution to the problem of automatic parallelization of linear algebra code on multi-processor and multi-core architectures. This solution relies on the defi...
AUTOMATICA
2007
13 years 9 months ago
2007
Stability in presence of bounded uncertain time-varying delays in the feedback loop of a system is studied. The delay parameter is assumed to be an unknown time-varying function f...
MSWIM
2006
ACM
14 years 3 months ago
2006
ACM
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...
EUROMICRO
1999
IEEE
14 years 1 months ago
1999
IEEE
Experience has shown that prototypingis a valuabletechnique in the validation of designs. However, the prototype(s) can be too far semantically removed from the design. Animation ...