7508 search results - page 103 / 1502 » A new approach for distributed computing in avionics systems |
ICEIS
2003
IEEE
15 years 5 months ago
2003
IEEE
d graphically, interest in code generators which create applications based on abstract system descriptions, is high. An indicator for this are the many commercial products. This pa...
111
click to vote
SODA
2008
ACM
15 years 1 months ago
2008
ACM
A common approach for dealing with large data sets is to stream over the input in one pass, and perform computations using sublinear resources. For truly massive data sets, howeve...
115
click to vote
ICPP
2005
IEEE
15 years 5 months ago
2005
IEEE
Computational grids can integrate geographically distributed resources into a seamless environment. To facilitate managing these heterogenous resources, the virtual machine gy pro...
132
click to vote
DEBS
2007
ACM
15 years 3 months ago
2007
ACM
Approximately eighteen percent (18%) of babies born in New South Wales (NSW), Australia require special care or neonatal intensive care admission. Premature babies can be up to 17...
CONCUR
1999
Springer
15 years 4 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...