82 search results - page 7 / 17 » A Partitioning Analysis of the .NET Common Language Runtime |
IWOMP
2010
Springer
14 years 7 days ago
2010
Springer
OpenMP is a popular and evolving programming model for shared-memory platforms. It relies on compilers to target modern hardware architectures for optimal performance. A variety of...
DAGSTUHL
2006
13 years 8 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
AGTIVE
2007
Springer
13 years 11 months ago
2007
Springer
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...
OSDI
2008
ACM
13 years 9 months ago
2008
ACM
DryadLINQ is a system and a set of language extensions that enable a new programming model for large scale distributed computing. It generalizes previous execution environments su...
INFORMS
1998
13 years 7 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...