Sciweavers

1711 search results - page 107 / 343
» Completing pseudojump operators
Sort
View
FGCN
2008
IEEE
132views Communications» more  FGCN 2008»
14 years 2 months ago
Deriving Safety Properties for Home Network System Based on Goal-Oriented Hazard Analysis Model
The home network system (HNS, for short) is comprised of networked home appliances, which achieves various value-added services for home users. Assuring safety of the HNS and the ...
Ben Yan, Masahide Nakamura, Ken-ichi Matsumoto
ICPP
2008
IEEE
14 years 2 months ago
Implementing and Exploiting Inevitability in Software Transactional Memory
—Transactional Memory (TM) takes responsibility for concurrent, atomic execution of labeled regions of code, freeing the programmer from the need to manage locks. Typical impleme...
Michael F. Spear, Michael Silverman, Luke Dalessan...
ISCAS
2008
IEEE
123views Hardware» more  ISCAS 2008»
14 years 2 months ago
A 5.2mW all-digital fast-lock self-calibrated multiphase delay-locked loop
—A 333MHz-1GHz all-digital multiphase delay-locked loop with precise multi-phase output has been designed with TSMC 130nm CMOS technology model. A modified binary search algorith...
Li-Pu Chuang, Ming-Hung Chang, Po-Tsang Huang, Chi...
TRIDENTCOM
2008
IEEE
14 years 2 months ago
A quantitative evaluation of the MeshTest wireless testbed
The MeshTest testbed is designed to subject wireless devices and protocols to realistic and repeatable mobile scenarios, including multi-hop and disconnected topologies. The testb...
Brenton Walker, Charles Clancy
ICRA
2007
IEEE
150views Robotics» more  ICRA 2007»
14 years 2 months ago
A Motion Planner for a Hybrid Robotic System with Kinodynamic Constraints
— The rapidly increasing complexity of tasks robotic systems are expected to carry out underscores the need for the development of motion planners that can take into account disc...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi