178 search results - page 30 / 36 » Applying Model-Driven Architecture to achieve distribution t... |
ISORC
2005
IEEE
14 years 28 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
CCGRID
2003
IEEE
14 years 19 days ago
2003
IEEE
— Grid computing requires network services beyond what is currently provided by the Best-Effort Internet. Among the different approaches towards network Quality of Service, aggre...
CLUSTER
2003
IEEE
14 years 19 days ago
2003
IEEE
The MPI Standard supports derived datatypes, which allow users to describe noncontiguous memory layout and communicate noncontiguous data with a single communication function. Thi...
ICS
2009
Tsinghua U.
13 years 12 months ago
2009
Tsinghua U.
Single-particle 3D reconstruction from cryo-electron microscopy (cryo-EM) images is a kernel application of biological molecules analysis, as the computational requirement of whic...
MSWIM
2006
ACM
14 years 1 months ago
2006
ACM
As mobile devices, such as laptops, PDAs or mobile phones, are getting more and more ubiquitous and are able to communicate with each other via wireless technologies, the paradigm...