1053 search results - page 119 / 211 » Hierarchies and levels of reality |
158
Voted
MFCS
2005
Springer
16 years 14 days ago
2005
Springer
We show the following results regarding complete sets. • NP-complete sets and PSPACE-complete sets are many-one autoreducible. • Complete sets of any level of PH, MODPH, or th...
181
click to vote
SAC
2004
ACM
16 years 12 days ago
2004
ACM
In this paper, we propose a new scalable application-layer protocol, specifically designed for data streaming applications with large client sets. This is based upon a control hie...
185
Voted
FPGA
2004
ACM
16 years 10 days ago
2004
ACM
We describe an effort to prototype an Itanium microarchitecture using an FPGA. The microarchitecture model is written in the Bluespec hardware description language (HDL) and suppo...
164
click to vote
ICALP
2004
Springer
16 years 10 days ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
189
Voted
IFIP
2004
Springer
16 years 10 days ago
2004
Springer
In this paper we study the complexity of the model-checking problem for the tree logic introduced as the basis for the query language TQL [Cardelli and Ghelli, 2001]. We define tw...