3468 search results - page 477 / 694 » An open logical framework |
EUROMICRO
2002
IEEE
14 years 3 months ago
2002
IEEE
In today's software engineering practices, building applications from components is the ongoing trend. What can be noticed however is that there really is not a clear consens...
IPPS
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper presents preliminary efforts to develop compilation and execution environments that achieve performance portability of multilevel parallelization on hierarchical archit...
CBSE
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. Many component models and frameworks have been proabstract and capture concerns from Real-Time and Embedded application domains, based on high-level component-based appro...
CLUSTER
2009
IEEE
14 years 2 months ago
2009
IEEE
—Statistical analysis is widely used for countless scientific applications in order to analyze and infer meaning from data. A key challenge of any statistical analysis package a...
MSR
2009
ACM
14 years 2 months ago
2009
ACM
Software repositories provide abundance of valuable information about open source projects. With the increase in the size of the data maintained by the repositories, automated ext...