Sciweavers

18306 search results - page 482 / 3662
» Algorithmics in Exponential Time
Sort
View
167
Voted
ICCAD
1996
IEEE
87views Hardware» more  ICCAD 1996»
15 years 11 months ago
Partitioned ROBDDs - a compact, canonical and efficiently manipulable representation for Boolean functions
We presenta new representationfor Boolean functions called PartitionedROBDDs. In this representation we divide the Boolean space into `k' partitions and represent a function ...
Amit Narayan, Jawahar Jain, Masahiro Fujita, Alber...
CONCUR
2008
Springer
15 years 9 months ago
Modeling Computational Security in Long-Lived Systems
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nan...
194
Voted
ENTCS
2008
102views more  ENTCS 2008»
15 years 7 months ago
Soft Linear Logic and Polynomial Complexity Classes
We describe some results inspired to Lafont's Soft Linear Logic (SLL) which is a subsystem of second-order linear logic with restricted rules for exponentials, correct and co...
Marco Gaboardi, Jean-Yves Marion, Simona Ronchi De...
ANOR
2006
100views more  ANOR 2006»
15 years 7 months ago
A BMAP/G/1 Retrial Queue with a Server Subject to Breakdowns and Repairs
In this paper, we consider a BMAP/G/1 retrial queue with a server subject to breakdowns and repairs, where the life time of the server is exponential and the repair time is general...
Quan-Lin Li, Yu Ying, Yiqiang Q. Zhao
148
Voted
ALGORITHMICA
2005
92views more  ALGORITHMICA 2005»
15 years 7 months ago
Average-Case Competitive Analyses for Ski-Rental Problems
Let s be the ratio of the cost for purchasing skis over the cost for renting them. Then the famous result for the ski-rental problem shows that skiers should buy their skis after r...
Hiroshi Fujiwara, Kazuo Iwama