15840 search results - page 573 / 3168 » The Control of Synchronous Systems |
188
click to vote
ACL
2009
15 years 4 months ago
2009
Current tree-to-tree models suffer from parsing errors as they usually use only 1best parses for rule extraction and decoding. We instead propose a forest-based tree-to-tree model...
213
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Perfect Space-Time Codes are optimal codes in their original construction for Multiple Input Multiple Output (MIMO) systems. Based on cyclic division algebras, they are full-rate,...
213
click to vote
TWC
2011
15 years 2 months ago
2011
—This contribution proposes a novel time-domain synchronous frequency division multiple access (TDS-FDMA) scheme to support multi-user uplink application. A unified frame struct...
274
click to vote
CIDR
2011
14 years 10 months ago
2011
A stream warehouse is a Data Stream Management System (DSMS) that stores a very long history, e.g. years or decades; or equivalently a data warehouse that is continuously loaded. ...
297
click to vote
ESOP
2011
Springer
14 years 10 months ago
2011
Springer
We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is...