5451 search results - page 405 / 1091 » Typed Operational Semantics |
172
click to vote
EPS
1998
Springer
15 years 11 months ago
1998
Springer
This paperpresentsa new approachto the evolutionof neuralnetworks. A linear chromosome combined with a grid-based representation of the network and a new crossover operator allow t...
152
click to vote
IESA
2007
15 years 8 months ago
2007
In this paper we introduce and explore an extension to the existing paradigm of model transformation. Specifically, we extend existing model transformation approaches by consideri...
154
click to vote
USENIX
2000
15 years 8 months ago
2000
Network servers make special demands that other types of applications may not make on memory allocators. We describe a simple malloc() microbenchmark suite that tests the ability ...
171
click to vote
CAEPIA
2009
Springer
15 years 7 months ago
2009
Springer
We slightly improve on characterization results already in the literature for base revision. We show that in order to axiomatically characterize revision operators in a logic the o...
203
Voted
USENIX
2001
15 years 8 months ago
2001
A conventional file system provides the user with generic structure and semantics for accessing files. The default scheme is sufficient for many applications. However, many applic...