21324 search results - page 4170 / 4265 » Making the case for computing |
170
click to vote
INFOCOM
2007
IEEE
16 years 17 days ago
2007
IEEE
Abstract— In this paper, we study the problem of exact emulation of two types of optical queues: (i) N-to-1 output-buffered multiplexers with variable length bursts, and (ii) N ...
148
click to vote
INFOCOM
2007
IEEE
16 years 17 days ago
2007
IEEE
— We consider the problem of serving multicast flows in a crossbar switch. We show that linear network coding across packets of a flow can sustain traffic patterns that cannot...
177
click to vote
ISPASS
2007
IEEE
16 years 16 days ago
2007
IEEE
The ongoing trend of increasing computer hardware and software complexity has resulted in the increase in complexity and overheads of cycle-accurate processor system simulation, e...
167
click to vote
TPHOL
2007
IEEE
16 years 16 days ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
149
click to vote
AMR
2007
Springer
16 years 13 days ago
2007
Springer
This paper is a critical analysis of the use of ontology as an instrument to specify the semantics of a document. The paper argue that not only is a logic of the type used in ontol...