191 search results - page 27 / 39 » Mappings Between Domain Models in Answer Set Programming |
CAISE
2004
Springer
15 years 3 months ago
2004
Springer
This paper describes an ontology for enterprise modelling, The ontology has enabled conceptual integration of two different modelling methodologies, one based on UEML (Unified Ente...
102
click to vote
ICPP
2006
IEEE
15 years 3 months ago
2006
IEEE
Message passing via MPI is widely used in singleprogram, multiple-data (SPMD) parallel programs. Existing data-flow frameworks do not model the semantics of message-passing SPMD ...
IPPS
2000
IEEE
15 years 2 months ago
2000
IEEE
As the speed gap between CPU and memory widens, memory hierarchy has become the primary factor limiting program performance. Until now, the principal focus of hardware and softwar...
138
click to vote
MICRO
2006
IEEE
14 years 9 months ago
2006
IEEE
Since processor performance scalability will now mostly be achieved through thread-level parallelism, there is a strong incentive to parallelize a broad range of applications, inc...
104
Voted
PLDI
2012
ACM
13 years 3 days ago
2012
ACM
Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...