Sciweavers

6274 search results - page 555 / 1255
» From query complexity to computational complexity
Sort
View
ASPDAC
2005
ACM
95views Hardware» more  ASPDAC 2005»
16 years 20 days ago
Timing analysis considering temporal supply voltage fluctuation
Abstract— This paper proposes an approach to cope with temporal power/ground voltage fluctuation for static timing analysis. The proposed approach replaces temporal noise with a...
Masanori Hashimoto, Junji Yamaguchi, Takashi Sato,...
ECAL
2005
Springer
16 years 19 days ago
A Developmental Model for Generative Media
Abstract. Developmental models simulate the spatio-temporal development of a complex system. The system described in this paper combines the advantages of a number of previously di...
Jon McCormack
ESOP
2004
Springer
16 years 14 days ago
A Dependently Typed Ambient Calculus
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to e...
Cédric Lhoussaine, Vladimiro Sassone
ICCS
2003
Springer
16 years 9 days ago
Measurement Models for Survivability and Competitiveness of Very Large E-marketplace
E-Marketplace is a man-made profit center with emergent customer requirements. This emergence nature poses many difficulties for e-marketplace to satisfy its customers and thus aff...
Jingzhi Guo, Chengzheng Sun
FUN
2010
Springer
251views Algorithms» more  FUN 2010»
15 years 12 months ago
UNO Is Hard, Even for a Single Player
UNOR is one of the world-wide well-known and popular card games. We investigate UNO from the viewpoint of combinatorial algorithmic game theory by giving some simple and concise ma...
Erik D. Demaine, Martin L. Demaine, Ryuhei Uehara,...