1528 search results - page 81 / 306 » Implementing Generalized Operator Overloading |
129
Voted
FSEN
2007
Springer
15 years 11 months ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
100
click to vote
ETS
2006
IEEE
15 years 10 months ago
2006
IEEE
Spectral analysis represents a key component in signal processing. The on-chip implementation of classical spectral estimation techniques is generally not considered as a viable B...
133
click to vote
EH
2005
IEEE
15 years 10 months ago
2005
IEEE
The structure and operation of multi-cellular organisms relies, among other things, on the specialization of the cells’ physical structure to a finite set of specific operatio...
140
click to vote
ER
2005
Springer
15 years 10 months ago
2005
Springer
We discuss the main features of a multilevel dictionary based on a metamodel approach. The application is an implementation of ModelGen, the model management operator that translat...
130
click to vote
ICA3PP
2005
Springer
15 years 10 months ago
2005
Springer
Many of the key features of file transfer mechanisms like reliable file transferring and parallel transferring are developed as part of the service. It makes very hard to re-use th...