Sciweavers

1237 search results - page 141 / 248
» Strictness and Totality Analysis
Sort
View
FORMATS
2009
Springer
16 years 18 days ago
Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net
In concurrent real-time processes, the speed of individual components has a double impact: on the one hand, the overall latency of a compound process is affected by the latency of...
Anne Bouillard, Stefan Haar, Sidney Rosario
SIGECOM
2009
ACM
132views ECommerce» more  SIGECOM 2009»
16 years 16 days ago
Limited and online supply and the bayesian foundations of prior-free mechanism design
We study auctions for selling a limited supply of a single commodity in the case where the supply is known in advance and the case it is unknown and must be instead allocated in a...
Nikhil R. Devanur, Jason D. Hartline
IEEESCC
2008
IEEE
16 years 13 days ago
Byzantine Fault Tolerant Coordination for Web Services Business Activities
In this paper, we present a comprehensive study on the threats towards the coordination services for Web services business activities and explore the most optimal solution to miti...
Wenbing Zhao, Honglei Zhang
ISCAS
2008
IEEE
185views Hardware» more  ISCAS 2008»
16 years 13 days ago
A full-custom design of AES SubByte module with signal independent power consumption
—A full-custom design of AES SubByte module based on Sense Amplifier Based Logic is proposed in this paper. Power consumption of this design is independent of both value and sequ...
Liang Li, Jun Han, Xiaoyang Zeng, Jia Zhao
ISCAS
2007
IEEE
117views Hardware» more  ISCAS 2007»
16 years 9 days ago
Designing Efficient Inductive Power Links for Implantable Devices
—Due to limited battery life and size limitations, many implantable biomedical devices must be powered inductively. Because of weak coupling between implanted and external coils,...
Reid R. Harrison