5451 search results - page 818 / 1091 » Typed Operational Semantics |
145
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
Recently, studies with the XCS classifier system on Boolean functions have shown that in certain types of functions simple crossover operators can lead to disruption and, conseque...
197
click to vote
OSDI
2008
ACM
15 years 8 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...
158
click to vote
USENIX
2003
15 years 7 months ago
2003
Cryptographic transformations are a fundamental building block in many security applications and protocols. To improve performance, several vendors market hardware accelerator car...
180
Voted
OSDI
1996
ACM
15 years 7 months ago
1996
ACM
This paper describes a novel approach to providingmodular and extensible operating system functionality and encapsulated environments based on a synthesis of microkernel and virtu...
174
click to vote
WSC
1994
15 years 7 months ago
1994
Stroboscope is a programming language designed for the simulation of processes common to construction engineering. These processes are very complex and involve many different type...