4299 search results - page 410 / 860 » Concurrent Test Generation |
186
click to vote
ICPP
2009
IEEE
16 years 1 months ago
2009
IEEE
—In addition to their role as simulation engines, modern supercomputers can be harnessed for scientific visualization. Their extensive concurrency, parallel storage systems, and...
155
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— Intense efforts to define a common structure in robotic applications, both from a conceptual and from an implementation point of view, have been carried out in the last years ...
159
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
We consider the problem of Object Safety: how objects endowed with processing, communication, and sensing capabilities can determine their safety. We assign an agent to each objec...
173
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...
183
Voted
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...