3690 search results - page 335 / 738 » Computation with classical sequents |
163
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
Assigning the resources of a virtual network to the components of a physical network, called Virtual Network Mapping, plays a central role in network virtualization. Existing appr...
187
click to vote
ASAP
2008
IEEE
16 years 1 months ago
2008
IEEE
RNA structure prediction, or folding, is a computeintensive task that lies at the core of several search applications in bioinformatics. We begin to address the need for high-thro...
161
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— A manufacturer producing several items keeps them into safety stocks (buffers) in order to supply an external stochastic demand without interruptions. We consider the classical...
207
click to vote
CIBCB
2008
IEEE
16 years 1 months ago
2008
IEEE
Functional RNAs (fRNAs) play a key role in gene regulation, at both the transcriptional and translational levels. Identification of fRNA genes can be difficult, given that some cla...
154
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Component forensics is an emerging methodology for forensic analysis that aims at estimating the algorithms and parameters in each component of a digital device. This paper propos...