3872 search results - page 381 / 775 » The Java memory model |
132
click to vote
ECMDAFA
2007
Springer
15 years 10 months ago
2007
Springer
Although there are a large number of academic and industrial model transformation frameworks available, allowing specification, implementation, maintenance and documentation of mod...
184
click to vote
ADVIS
2006
Springer
15 years 10 months ago
2006
Springer
Investments on multimedia technology enable us to store many more reflections of the real world in digital world as videos. By recording videos about real world entities, we carry...
129
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: The need to build a tool to facilitate the quick creation and editing of models encoded in the Systems Biology Markup language (SBML) has been growing with the number ...
136
click to vote
CPAIOR
2009
Springer
15 years 11 months ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
112
click to vote
ISPASS
2006
IEEE
15 years 10 months ago
2006
IEEE
The latest high-performance IBM PowerPC microprocessor, the POWER5 chip, poses challenges for performance model validation. The current stateof-the-art is to use simple hand-coded...