22358 search results - page 3840 / 4472 » Software Performance Engineering |
179
click to vote
PADL
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. We address the problem of detecting some commonly occurring kinds of race conditions in Erlang programs using static analysis. Our analysis is completely automatic, fast ...
200
click to vote
HICSS
2010
IEEE
16 years 2 months ago
2010
IEEE
The current trend towards dynamic and highly scalable service provisioning fosters the rise of Software as a Service (SaaS) platforms and so called Compute Clouds. The on-demand p...
172
click to vote
EVOW
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. In this paper we present a study of the application of Evolutionary Computation methods to the optimisation of the start-up of a combined cycle power plant. We propose a ...
201
click to vote
ARC
2009
Springer
16 years 2 months ago
2009
Springer
Spiking Neural Networks (SNNs) model the biological functions of the human brain enabling neuro/computer scientists to investigate how arrays of neurons can be used to solve comput...
181
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
—This paper presents a new two-levels page-based memory bus protection scheme. A trusted Operating System drives a hardware cryptographic unit and manages security contexts for e...