Sciweavers

282 search results - page 40 / 57
» An Algebraic Method for Analyzing Open-Loop Dynamic Systems
Sort
View
197
Voted
ICTAC
2010
Springer
14 years 11 months ago
Preference and Non-deterministic Choice
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
Bill Stoddart, Frank Zeyda, Steve Dunne
WCRE
1999
IEEE
15 years 4 months ago
Chava: Reverse Engineering and Tracking of Java Applets
Java applets have been used increasingly on web sites to perform client-side processing and provide dynamic content. While many web site analysis tools are available, their focus ...
Jeffrey L. Korn, Yih-Farn Chen, Eleftherios Koutso...
95
Voted
SAMOS
2007
Springer
15 years 6 months ago
Automated Power Gating of Registers Using CoDeL and FSM Branch Prediction
In this paper, we use the CoDeL hardware design platform to analyze the potential and performance impact of power gating individual registers. For each register, we examine the per...
Nainesh Agarwal, Nikitas J. Dimopoulos
82
Voted
EOR
2008
80views more  EOR 2008»
14 years 12 months ago
Quality control of wastewater treatment: A new approach
This paper presents a new approach to quality control of wastewater treatment. The first part formulates basic principles of statistical process control (SPC) and Taguchi Method. ...
Elena Aizenchtadt, Dov Ingman, Eran Friedler
96
Voted
TIP
2008
208views more  TIP 2008»
15 years 10 days ago
Vision Processing for Realtime 3-D Data Acquisition Based on Coded Structured Light
Structured light vision systems have been successfully used for accurate measurement of 3-D surfaces in computer vision. However, their applications are mainly limited to scanning ...
S. Y. Chen, Y. F. Li, Jianwei Zhang