3038 search results - page 499 / 608 » Industrial evolutionary computing |
155
click to vote
AGTIVE
2003
Springer
15 years 10 months ago
2003
Springer
Many polygon mesh algorithms operate in a local manner, yet are formally specified using global indexing schemes. This obscures the essence of these algorithms and makes their spe...
160
Voted
CHARME
2003
Springer
15 years 10 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
161
click to vote
ISCA
2010
IEEE
15 years 10 months ago
2010
IEEE
Over the past decade there has been a surge of academic and industrial interest in optimistic concurrency, i.e. the speculative parallel execution of code regions that have the se...
185
click to vote
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
The JavaScript programming language is widely used for web programming and, increasingly, for general purpose computing. As such, improving the correctness, security and performan...
144
click to vote
ACSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
Almost thirty years ago a vulnerability assessment of Multics identified significant vulnerabilities, despite the fact that Multics was more secure than other contemporary (and cu...