2218 search results - page 236 / 444 » Testing Expressibility Is Hard |
91
Voted
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
—The performance of M-ary frequency shift keying (MFSK) with dual-branch postdetection switch-and-stay combining (SSC) in correlated Rayleigh and Rician fading is studied. Closed...
133
Voted
SIES
2007
IEEE
15 years 7 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
98
Voted
WAIM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The heterogeneity nature of XML data creates the need for approximate query answering. In this paper, we present an XML system that cooperates with users to provide user-...
CLUSTER
2006
IEEE
15 years 6 months ago
2006
IEEE
One of the topics of paramount importance in the development of Cluster and Grid middleware is the impact of faults since their occurrence in Grid infrastructures and in large-sca...
76
Voted
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
Scheduling is an important step in high-level synthesis (HLS). In our tool, we perform scheduling in two steps: coarse-grain scheduling, in which we take into account the whole co...