308 search results - page 53 / 62 » MpPVM: A Software System for Non-Dedicated Heterogeneous Com... |
CODES
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
101
click to vote
ESCIENCE
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper discusses the process of building an environment where large-scale, complex, scientific analysis can be scheduled onto a heterogeneous collection of computational and s...
CAD
2006
Springer
14 years 9 months ago
2006
Springer
Seamless integration of digital parts libraries or electronic parts catalogs for e-procurement is impeded by semantic heterogeneity. The utilization of ontologies as metadata desc...
EXPCS
2007
15 years 1 months ago
2007
XML simplifies data exchange among heterogeneous computers, but it is notoriously verbose and has spawned the development of many XML-specific compressors and binary formats. We p...
173
click to vote
GIS
2007
ACM
15 years 10 months ago
2007
ACM
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...