155 search results - page 31 / 31 » Data Modeling in Dataspace Support Platforms |
IADIS
2004
13 years 7 months ago
2004
The accelerated development in grid computing has positioned it as a promising next generation computing platform. It enables the creation of virtual organizations (VO) for sharin...
ESCIENCE
2007
IEEE
14 years 3 days ago
2007
IEEE
This paper presents GMLE 1 , a generic and distributed framework for maximum likelihood evaluation. GMLE is currently being applied to astroinformatics for determining the shape o...
SIGMETRICS
2008
ACM
13 years 5 months ago
2008
ACM
Time synchronization is an essential service in distributed computing and control systems. It is used to enable tasks such as synchronized data sampling and accurate time-offlight...
ICCAD
2006
IEEE
14 years 2 months ago
2006
IEEE
Soft-core microprocessors mapped onto field-programmable gate arrays (FPGAs) represent an increasingly common embedded software implementation option. Modern FPGA soft-cores are p...
TPHOL
2007
IEEE
14 years 1 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...