2935 search results - page 191 / 587 » An Integrated Approach to High Integrity Software Verificati... |
145
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— Inter-component communication has received considerable attention by robotic software architects as various frameworks and toolkits have matured. While the resulting pl...
186
click to vote
ECIS
2000
15 years 8 months ago
2000
Abstract - In this paper we address a question highly relevant for many companies developing and implementing ERP or other software internationally. These companies have to integra...
199
click to vote
EUROPAR
2003
Springer
16 years 8 days ago
2003
Springer
Abstract. The Blue Gene/L supercomputer will use system-on-a-chip integration and a highly scalable cellular architecture. With 65,536 compute nodes, Blue Gene/L represents a new l...
179
click to vote
AISC
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...
200
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Safety-criticalembeddedsystems having to meet real-time constraints are to be highlypredictable in order to guarantee at design time that certain timing deadlines will always be m...