Sciweavers

4248 search results - page 257 / 850
» Simulating hci for all
Sort
View
DATE
2010
IEEE
139views Hardware» more  DATE 2010»
15 years 10 months ago
Finding reset nondeterminism in RTL designs - scalable X-analysis methodology and case study
Due to increases in design complexity, routing a reset signal to all registers is becoming more difficult. One way to solve this problem is to reset only certain registers and rely...
Hong-Zu Chou, Haiqian Yu, Kai-Hui Chang, Dylan Dob...
NSDI
2007
15 years 9 months ago
WiDS Checker: Combating Bugs in Distributed Systems
Despite many efforts, the predominant practice of debugging a distributed system is still printf-based log mining, which is both tedious and error-prone. In this paper, we present...
Xuezheng Liu, Wei Lin, Aimin Pan, Zheng Zhang
WSC
2008
15 years 9 months ago
Multi-objective UAV mission planning using evolutionary computation
This investigation develops an innovative algorithm for multiple autonomous unmanned aerial vehicle (UAV) mission routing. The concept of a UAV Swarm Routing Problem (SRP) as a ne...
Adam J. Pohl, Gary B. Lamont
WSC
2008
15 years 9 months ago
Creating and using non-kinetic effects: Training joint forces for asymmetric operations
US military forces now face asymmetric military operations. Management of relationships with civilians is often crucial to success. Local population groups can provide critical in...
Hugh Henry, Robert G. Chamberlain
WSC
2008
15 years 9 months ago
Simulations-based and solver-based optimization approaches for batch processes in semiconductor manufacturing
Scheduling is one of the key factors for semiconductor fabrication productivity. Objectives like lot cycle time and throughput must be optimized to push the technological developm...
Andreas Klemmt, Sven Horn, Gerald Weigert, Thomas ...