1141 search results - page 211 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
180
click to vote
SIGMOD
2011
ACM
14 years 8 months ago
2011
ACM
Multitenant data infrastructures for large cloud platforms hosting hundreds of thousands of applications face the challenge of serving applications characterized by small data foo...
164
click to vote
CPHYSICS
2006
15 years 6 months ago
2006
A modification of the standard Simulated Annealing (SA) algorithm is presented for finding the global minimum of a continuous multidimensional, multimodal function. We report resu...
188
click to vote
CPHYSICS
2006
15 years 6 months ago
2006
A new stochastic clustering algorithm is introduced that aims to locate all the local minima of a multidimensional continuous and differentiable function inside a bounded domain. ...
180
click to vote
SIGMOD
2010
ACM
15 years 22 days ago
2010
ACM
Scalable analysis on large data sets has been core to the functions of a number of teams at Facebook - both engineering and nonengineering. Apart from ad hoc analysis of data and ...
218
click to vote
ICSE
2007
IEEE-ACM
16 years 4 days ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...