2935 search results - page 191 / 587 » An Integrated Approach to High Integrity Software Verificati... |
135
click to vote
ICRA
2006
IEEE
16 years 18 days 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...
171
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...
183
click to vote
EUROPAR
2003
Springer
15 years 11 months 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...
169
click to vote
AISC
2010
Springer
15 years 11 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,...
191
click to vote
CORR
2007
Springer
15 years 6 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...