7892 search results - page 205 / 1579 » Programming with Models |
125
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We study restricted computation models related to the tree evaluation problem. The TEP was introduced in earlier work as a simple candidate for the (very) long term goal of separa...
127
click to vote
CSL
2000
Springer
15 years 6 months ago
2000
Springer
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...
94
Voted
ICDE
2010
IEEE
15 years 1 months ago
2010
IEEE
A way to optimize performance of relational row store databases is to reduce the row widths by vertically partitioning tables into table fractions in order to minimize the number ...
99
Voted
GECCO
2003
Springer
15 years 6 months ago
2003
Springer
Initial results have been achieved for automatic synthesis of MEMS system-level lumped parameter models using genetic programming and bond graphs. This paper first discusses the ne...
126
click to vote
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
Modern architectures implement relaxed memory models which may reorder memory operations or execute them non-atomically. Special instructions called memory fences are provided, al...