6291 search results - page 350 / 1259 » Components Are from Mars |
170
click to vote
IRI
2003
IEEE
15 years 12 months ago
2003
IEEE
- This paper presents our effort in designing and implementing an advanced hurricane simulation system on the platform of the World Wide Web for the purpose of supporting decisiona...
139
click to vote
LCN
2003
IEEE
15 years 12 months ago
2003
IEEE
The GigaNetIC project aims to develop high-speed components for networking applications based on massively parallel architectures. A central part of this project is the design, ev...
177
click to vote
FMCO
2003
Springer
15 years 12 months ago
2003
Springer
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specific...
222
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—This paper presents the definition of an integrated processor core ASIC named SCOC3 which is designed for space computers. It also presents the validation method that has led to...
161
click to vote
CCGRID
2002
IEEE
15 years 11 months ago
2002
IEEE
There is an increasing interest in integrating Javabased, and in particular Jini systems, with the emerging Grid infrastructures. In this paper we explore various ways of integrat...