Sciweavers

2880 search results - page 115 / 576
» Types are calling conventions
Sort
View
133
Voted
WSC
1998
15 years 7 months ago
Sensitivity of Output Performance Measures to Input Distributions in Queueing Network Modeling
In Gross and Juttijudata (1997) a single node, G/G/1 queue was investigated as to the sensitivity of output performance measures, such as the mean queue wait, to the shape of the ...
Donald Gross, Denise M. Bevilacqua Masi
AML
2005
84views more  AML 2005»
15 years 6 months ago
Modularity of proof-nets
When we cut a multiplicative proof-net of linear logic in two parts we get two modules with a certain border. We call pretype of a module the set of partitions over its border indu...
Roberto Maieli, Quintijn Puite
IACR
2011
137views more  IACR 2011»
14 years 5 months ago
Distance Hijacking Attacks on Distance Bounding Protocols
Distance bounding protocols are typically analyzed with respect to three types of attacks: Distance Fraud, Mafia Fraud, and Terrorist Fraud. We define and analyze a fourth main ...
Cas J. F. Cremers, Kasper Bonne Rasmussen, Srdjan ...
PPOPP
2012
ACM
14 years 1 months ago
PARRAY: a unifying array representation for heterogeneous parallelism
This paper introduces a programming interface called PARRAY (or Parallelizing ARRAYs) that supports system-level succinct programming for heterogeneous parallel systems like GPU c...
Yifeng Chen, Xiang Cui, Hong Mei
CVPR
2007
IEEE
16 years 8 months ago
Mapping Natural Image Patches by Explicit and Implicit Manifolds
Image patches are fundamental elements for object modeling and recognition. However, there has not been a panoramic study of the structures of the whole ensemble of natural image ...
Kent Shi, Song Chun Zhu