Sciweavers

3806 search results - page 291 / 762
» The Power of Process
Sort
View
SIGCSE
2004
ACM
628views Education» more  SIGCSE 2004»
16 years 2 days ago
Design patterns for semaphores
This paper describes two design patterns that are powerful tools to help teach how semaphores are used to solve synchronization problems. The patterns are general enough to be use...
Kenneth A. Reek
DATE
2002
IEEE
138views Hardware» more  DATE 2002»
15 years 11 months ago
Automatic Evaluation of the Accuracy of Fixed-Point Algorithms
The minimization of cost, power consumption and timeto-market of DSP applications requires the development of methodologies for the automatic implementation of floating-point alg...
Daniel Menard, Olivier Sentieys
171
Voted
DELTA
2002
IEEE
15 years 11 months ago
State Transition Based Supervisory Control for a Robot Soccer System
Distributed robot control systems consist of mechanical systems powered by actuators that are under the control of computer systems that rely on sensor input, such as vision, touc...
Gourab Sen Gupta, H. L. Sng, Chris H. Messom
GECCO
1999
Springer
106views Optimization» more  GECCO 1999»
15 years 11 months ago
Generating Lemmas for Tableau-based Proof Search Using Genetic Programming
Top-down or analytical provers based on the connection tableau calculus are rather powerful, yet have notable shortcomings regarding redundancy control. A well-known and successfu...
Marc Fuchs, Dirk Fuchs, Matthias Fuchs
ATS
1998
IEEE
112views Hardware» more  ATS 1998»
15 years 11 months ago
Integrated Current Sensing Device for Micro IDDQ Test
A current sensing device, namely Hall Effect MOSFET (HEMOS) is proposed. It is experimentally shown that the HEMOS enables a non-contacting, and non-disturbing current measurement...
Koichi Nose, Takayasu Sakurai