982 search results - page 90 / 197 » The reflective transformative design process |
117
click to vote
DAC
1998
ACM
16 years 4 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
201
click to vote
MC
2001
15 years 5 months ago
2001
The computer support of cooperation and knowledge production across socially distributed activity systems has become an important topic in the context of the discourse on ,,knowle...
132
click to vote
SIGCSE
2005
ACM
15 years 9 months ago
2005
ACM
We provide a systematic transformation of an LL(1) grammar to an object model that consists of · an object structure representing the non-terminal symbols and their corresponding...
125
click to vote
TVLSI
2008
15 years 3 months ago
2008
Reconfigurable hardware has become a well-accepted option for implementing digital signal processing (DSP). Traditional devices such as field-programmable gate arrays offer good fi...
173
click to vote
IPMI
2009
Springer
16 years 4 months ago
2009
Springer
A general-purpose deformable registration algorithm referred
to as ”DRAMMS” is presented in this paper. DRAMMS adds to the
literature of registration methods that bridge betw...