Sciweavers

2956 search results - page 209 / 592
» Databases and Higher Types
Sort
View
CSL
2009
Springer
15 years 10 months ago
Nominal Domain Theory for Concurrency
This paper investigates a methodology of using FM (Fraenkel-Mostowski) sets, and the ideas of nominal set theory, to adjoin name generation to a semantic theory. By developing a d...
David Turner, Glynn Winskel
ACSC
2008
IEEE
15 years 10 months ago
Automatic thesaurus construction
1 In this paper we introduce a novel method of automating thesauri using syntactically constrained distributional similarity. With respect to syntactically conditioned cooccurrence...
Dongqiang Yang, David M. W. Powers
DATE
2008
IEEE
106views Hardware» more  DATE 2008»
15 years 10 months ago
Modeling Event Stream Hierarchies with Hierarchical Event Models
Compositional Scheduling Analysis couples local scheduling analysis via event streams. While local analysis has successfully been extended to include hierarchical scheduling strat...
Jonas Rox, Rolf Ernst
121
Voted
GLOBECOM
2008
IEEE
15 years 10 months ago
Capacity Analysis for OFDM Systems with Transceiver I/Q Imbalance
—OFDM systems have gained utmost importance for wireless communications requiring ever higher data rates. The maximum data rate that can be achieved is, however, limited by the w...
Stefan Krone, Gerhard Fettweis
ISCAS
2008
IEEE
287views Hardware» more  ISCAS 2008»
15 years 9 months ago
A high speed word level finite field multiplier using reordered normal basis
— Reordered normal basis is a certain permutation of a type II optimal normal basis. In this paper, a high speed design of a word level finite field multiplier using reordered ...
Ashkan Hosseinzadeh Namin, Huapeng Wu, Majid Ahmad...