10159 search results - page 1894 / 2032 » System Design Validation Using Formal Models |
GLVLSI
2008
IEEE
14 years 2 months ago
2008
IEEE
Phase-based tuning methodologies specialize system parameters for each application phase of execution. Parameters are varied during execution, as opposed to remaining fixed as in ...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
Designing web sites that are responsive to customer needs is a critical prerequisite for the success of online services. Recently, a usability evaluation procedure, based on the M...
IPSN
2007
Springer
14 years 2 months ago
2007
Springer
Target detection and field surveillance are among the most prominent applications of Sensor Networks (SN). The quality of detection achieved by a SN can be quantified by evaluat...
ROBIO
2006
IEEE
14 years 2 months ago
2006
IEEE
- The implementation of inverse kinematics and servo controller for robot manipulator using FPGA (Field Programmer Gate Array) is investigated in this paper. Firstly, the mathemati...
MOBICOM
2006
ACM
14 years 2 months ago
2006
ACM
Indoor ranging and location in WLAN is possible through obtaining Round-Trip-Time (RTT) measurements at data link level. This procedure allows using the existing IEEE 802.11 WLAN ...