2958 search results - page 287 / 592 » Extending and Implementing RASP |
103
click to vote
FMCAD
2009
Springer
15 years 7 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
MDM
2009
Springer
15 years 7 months ago
2009
Springer
Topological relationships between spatial objects are an essential property of spatial objects. They are used for spatial analysis and query processing. In this paper, we first i...
83
Voted
ROBOCUP
2009
Springer
15 years 7 months ago
2009
Springer
The high-level decision making process of an autonomous robot can be seen as an hierarchically organised entity, where strategical decisions are made on the topmost layer, while th...
SCAM
2008
IEEE
15 years 7 months ago
2008
IEEE
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...
88
Voted
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
1 Developing modern integrated and embedded systems require well-designed processes to ensure flexibility and independency. These features are related to exchangeability of hardw...