1893 search results - page 161 / 379 » Computational composites |
111
Voted
BIRTHDAY
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
110
Voted
LICS
1997
IEEE
15 years 5 months ago
1997
IEEE
In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coe...
128
click to vote
PODC
1994
ACM
15 years 4 months ago
1994
ACM
We describe a method for writing assumption/guarantee specifications of concurrent systems. We also provide a proof rule for reasoning about the composition of these systems. Spec...
88
Voted
ISCAS
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— Most of the existing MIMO-OFDM channel estimation methods do not take into account the effect of the pulseshaping filter in the transmitter nor of the matched filter ...
113
Voted
ICCCN
2007
IEEE
15 years 7 months ago
2007
IEEE
—Motivated by the fact that most of the existing QoS service composition solutions have limited scalability, we develop a hierarchical-based solution framework to achieve scalabi...