1173 search results - page 153 / 235 » Program Derivation Using Analogy |
142
click to vote
ICC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Network flow models serve as a popular mathematical framework for the analysis and optimization of Multi-hop Wireless Networks. They also serve to provide the understan...
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— The voice-coil-motor is a widely used mechatronic device, which represents a typical electrodynamic actuator for machine tool axes, bonding machines and hydraulic/pneumatic val...
144
Voted
MIS
2001
Springer
15 years 7 months ago
2001
Springer
Multimedia databases deal with storage and retrieval of complex descriptors of image contents, called features. Traditional techniques consider features as “black boxes,” ofte...
120
Voted
TYPES
1993
Springer
15 years 6 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...
131
Voted
WDAG
1994
Springer
15 years 6 months ago
1994
Springer
This paper investigates how vector time can be used to set breakpoints in distributed computations for the purpose of analyzing and debugging distributed programs. A breakpoint is ...