5722 search results - page 58 / 1145 » the future of experimental research |
WSC
2004
14 years 11 months ago
2004
This paper presents the results of an effort to compare results of an experiment performed in both a virtual and a real environment. The research question addressed is if virtual ...
ARC
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. In this paper, we take a MIPS-based open-source uniprocessor soft core, Plasma, and extend it to obtain the Beefarm infrastructure for FPGA-based multiprocessor emulation...
KR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract The emerging area of intelligent unmanned aerial vehicle (UAV) research has shown rapid development in recent years and offers a great number of research challenges for ar...
ICCD
2006
IEEE
15 years 6 months ago
2006
IEEE
— As silicon CMOS devices are scaled down into the nanoscale regime, new challenges at both the device and system level are arising. While some of these challenges will be overco...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...