4299 search results - page 410 / 860 » Concurrent Test Generation |
171
click to vote
ICPP
2009
IEEE
16 years 27 days 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...
132
click to vote
IROS
2008
IEEE
16 years 19 days 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 ...
149
click to vote
SASO
2008
IEEE
16 years 19 days 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...
163
click to vote
TPHOL
2007
IEEE
16 years 15 days 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]. ...
164
click to vote
GECCO
2007
Springer
16 years 12 days 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...