Sciweavers

1643 search results - page 252 / 329
» Consistability: Describing Usually Consistent Systems
Sort
View
IOR
2002
135views more  IOR 2002»
14 years 10 months ago
A Fluid Heuristic for Minimizing Makespan in Job Shops
We describe a simple on-line heuristic for scheduling job-shops. We assume there is a fixed set of routes for the jobs, and many jobs, say N, on each route. The heuristic uses saf...
J. G. Dai, Gideon Weiss
TACAS
2009
Springer
101views Algorithms» more  TACAS 2009»
15 years 5 months ago
Parametric Trace Slicing and Monitoring
Analysis of execution traces plays a fundamental role in many program analysis approaches. Execution traces are frequently parametric, i.e., they contain events with parameter bind...
Feng Chen, Grigore Rosu
LCN
2008
IEEE
15 years 5 months ago
Key management in wireless sensor networks with inter-network sensor roaming
Wireless Sensor Networks (WSNs) have received considerable attention in recent years and opened up new possibilities for various commercial and industrial applications. A WSN cons...
S. Choi, V. Sarangan, S. Trost
IROS
2007
IEEE
128views Robotics» more  IROS 2007»
15 years 5 months ago
EMG-based teleoperation of a robot arm using low-dimensional representation
Abstract— In robot teleoperation scenarios, the interface between the user and the robot is undoubtedly of high importance. In this paper, electromyographic (EMG) signals from mu...
Panagiotis K. Artemiadis, Kostas J. Kyriakopoulos
IEEEPACT
2005
IEEE
15 years 4 months ago
Dual-Core Execution: Building a Highly Scalable Single-Thread Instruction Window
Current integration trends embrace the prosperity of single-chip multi-core processors. Although multi-core processors deliver significantly improved system throughput, single-thr...
Huiyang Zhou