394 search results - page 56 / 79 » An Abstract Domain of Uninterpreted Functions |
ICRA
2002
IEEE
14 years 18 days ago
2002
IEEE
Abstract— This paper presents some recent developments of the LAAS architecture for autonomous mobile robots. In particular, we specify the role of the Execution Control level of...
ISSS
2002
IEEE
14 years 18 days ago
2002
IEEE
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
SAIG
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Functional languages are particularly well-suited to the implementation of interpreters for domain-specific embedded languages (DSELs). We describe an implemented techniq...
NGC
2007
Springer
13 years 7 months ago
2007
Springer
Abstract Understanding potential genetic factors in disease or development of personalised e-Health solutions require scientists to access a multitude of data and compute resources...
SIAMSC
2010
13 years 6 months ago
2010
Abstract. We develop duality-based a posteriori error estimates for functional outputs of solutions of free-boundary problems via shape-linearization principles. To derive an appro...