741 search results - page 17 / 149 » Problem Programmers |
WCRE
1995
IEEE
13 years 11 months ago
1995
IEEE
One of the factors that can make a program di cult to understand is that code responsible for accomplishing more than one purpose may be woven together in a single section. We cal...
GI
2009
Springer
14 years 3 days ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
HPCA
1998
IEEE
13 years 11 months ago
1998
IEEE
Over the past few years there has been increased interest in building custom computing machines (CCMs) as a way of achieving very high performance on specific problems. The advent...
BSN
2009
IEEE
14 years 2 months ago
2009
IEEE
Exercise therapy is prescribed by physiotherapists and rehabilitation practitioners as part of the treatment programme for many movement impairment disorders. Poor adherence and in...
ASAP
1997
IEEE
13 years 11 months ago
1997
IEEE
This paper reviews a set of techniques for compiling dataflow-based, graphical programs for embedded signal processing applications into efficient implementations on programmable ...