Sciweavers

1969 search results - page 247 / 394
» Incremental Processing and Acceptability
Sort
View
TIT
2008
83views more  TIT 2008»
15 years 6 months ago
On the Large Deviations of Resequencing Queue Size: 2-M/M/1 Case
Abstract--In data communication networks, packets that arrive at the receiving host may be disordered for reasons such as retransmission of dropped packets or multi-path routing. R...
Ye Xia, David N. C. Tse
TVLSI
2008
120views more  TVLSI 2008»
15 years 6 months ago
An Interactive Design Environment for C-Based High-Level Synthesis of RTL Processors
Much effort in register transfer level (RTL) design has been devoted to developing "push-button" types of tools. However, given the highly complex nature, and lack of con...
Dongwan Shin, Andreas Gerstlauer, Rainer Döme...
DSS
2000
82views more  DSS 2000»
15 years 6 months ago
A sales agent for part manufacturers: VMSA
The sales activity of most parts manufacturing companies is based on orders of buyers. The process of promotion, receipt and selection of orders of the parts manufacturers is clos...
Hyung Rim Choi, Hyun Soo Kim, Young Jae Park, Kyou...
ENTCS
2002
143views more  ENTCS 2002»
15 years 6 months ago
Collecting Statistics over Runtime Executions
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...
Bernd Finkbeiner, Sriram Sankaranarayanan, Henny S...
NECO
1998
100views more  NECO 1998»
15 years 6 months ago
Memory Maintenance via Neuronal Regulation
Since their conception half a century ago Hebbian cell assemblies have become a basic term in the Neurosciences, and the idea that learning takes place through synaptic modi catio...
David Horn, Nir Levy, Eytan Ruppin