Sciweavers

1496 search results - page 192 / 300
» Improving the Modeling of Use Case Relationship
Sort
View
TACAS
2009
Springer
136views Algorithms» more  TACAS 2009»
16 years 1 months ago
Path Feasibility Analysis for String-Manipulating Programs
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
Nikolaj Bjørner, Nikolai Tillmann, Andrei V...
LCPC
2004
Springer
15 years 11 months ago
Branch Strategies to Optimize Decision Trees for Wide-Issue Architectures
Abstract. Branch predictors are associated with critical design issues for nowadays instruction greedy processors. We study two important domains where the optimization of decision...
Patrick Carribault, Christophe Lemuet, Jean-Thomas...
WSC
2008
15 years 8 months ago
Economic efficiency analysis of wafer fabrication facilities
Semiconductor industry is capital intensive and competitive, and thus efficiently utilizing resources to provide products and services is essential for maintaining competitive adv...
Wen-Chih Chen, Chen-Fu Chien, Ming-Hsuan Chou
ICRA
2005
IEEE
140views Robotics» more  ICRA 2005»
15 years 12 months ago
Adaptive Virtual Fixtures for Machine-Assisted Teleoperation Tasks
— It has been demonstrated in a number of robotic areas how the use of virtual fixtures improves task performance both in terms of execution time and overall precision, [1]. How...
Daniel Aarno, Staffan Ekvall, Danica Kragic
WCNC
2008
IEEE
16 years 20 days ago
Intelligent Weather Systems with Fuzzy Logic Controller for Satellite Networks
— Weather attenuations can have a distorting effect on signal fidelity above 10 GHz that lead to excessive digital transmission error. This loss of signal is commonly referred to...
Kamal Harb, Changcheng Huang, Anand Srinivasan, Br...