Sciweavers

5866 search results - page 888 / 1174
» Designing Accelerator-Based Distributed Systems for High Per...
Sort
View
DATE
2009
IEEE
151views Hardware» more  DATE 2009»
15 years 11 months ago
pTest: An adaptive testing tool for concurrent software on embedded multicore processors
—More and more processor manufacturers have launched embedded multicore processors for consumer electronics products because such processors provide high performance and low powe...
Shou-Wei Chang, Kun-Yuan Hsieh, Jenq Kuen Lee
ATVA
2005
Springer
111views Hardware» more  ATVA 2005»
15 years 10 months ago
Model Checking Prioritized Timed Automata
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, Y...
GECCO
2003
Springer
100views Optimization» more  GECCO 2003»
15 years 9 months ago
Active Guidance for a Finless Rocket Using Neuroevolution
Finless rockets are more efficient than finned designs, but are too unstable to fly unassisted. These rockets require an active guidance system to control their orientation durin...
Faustino J. Gomez, Risto Miikkulainen
DSN
2000
IEEE
15 years 8 months ago
Data Replication Strategies for Fault Tolerance and Availability on Commodity Clusters
Recent work has shown the advantages of using persistent memory for transaction processing. In particular, the Vista transaction system uses recoverable memory to avoid disk I/O, ...
Cristiana Amza, Alan L. Cox, Willy Zwaenepoel
102
Voted
ICRA
2010
IEEE
110views Robotics» more  ICRA 2010»
15 years 2 months ago
Plugfest 2009: Global interoperability in Telerobotics and telemedicine
— Despite the great diversity of teleoperator designs and applications, their underlying control systems have many similarities. These similarities can be exploited to enable int...
Hawkeye H. I. King, Blake Hannaford, Ka-Wai Kwok, ...