2498 search results - page 392 / 500 » A tool for materials exploration |
224
click to vote
DIGRA
2005
Springer
16 years 1 days ago
2005
Springer
Do computer simulation games display emergent behavior? Are they models of complex systems or ‘life’ systems? This paper aims to explore and investigate how games studies can ...
184
click to vote
FASE
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
162
click to vote
FPL
2005
Springer
16 years 1 days ago
2005
Springer
This paper addresses exploitation of the capabilities of platform FPGAs to implement embedded networking for systems on chip. In particular, a methodology for exploring trade-offs...
142
click to vote
GECCO
2005
Springer
16 years 1 days ago
2005
Springer
The fundamental challenge faced by any visual system within natural environments is the ambiguity caused by the fact that light that falls on the system’s sensors conflates mult...
168
click to vote
HPCC
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Automated online search is a powerful technique for performance diagnosis. Such a search can change the types of experiments it performs while the program is running, mak...