3742 search results - page 632 / 749 » On the Use of Formal Techniques for Validation |
149
click to vote
MODELS
2009
Springer
16 years 27 days ago
2009
Springer
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
154
click to vote
MOMPES
2008
IEEE
16 years 22 days ago
2008
IEEE
During its lifetime, embedded systems go through multiple changes to their runtime architecture. That is, threads, processes, and processor are added or removed to/from the softwa...
186
click to vote
TPHOL
2008
IEEE
16 years 22 days ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
164
click to vote
CODES
2007
IEEE
16 years 21 days ago
2007
IEEE
There is a strong need now for compilers of embedded systems to find effective ways of optimizing series of loop-nests, wherein majority of the memory references occur in the fo...
179
click to vote
ICRA
2007
IEEE
16 years 20 days ago
2007
IEEE
— Recent advances in machine learning and adaptive motor control have enabled efficient techniques for online learning of stationary plant dynamics and it’s use for robust pre...