Sciweavers

2656 search results - page 250 / 532
» Design and analysis of algorithms reconsidered
Sort
View
DATE
2003
IEEE
112views Hardware» more  DATE 2003»
16 years 17 days ago
Automatic Generation of Simulation Monitors from Quantitative Constraint Formula
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
ASYNC
1999
IEEE
110views Hardware» more  ASYNC 1999»
15 years 11 months ago
Verification of Delayed-Reset Domino Circuits Using ATACS
This paper discusses the application of the timing analysis tool ATACS to the high performance, self-resetting and delayed-reset domino circuits being designed at IBM's Austi...
Wendy Belluomini, Chris J. Myers, H. Peter Hofstee
DOCENG
2007
ACM
15 years 11 months ago
Preserving the aesthetics during non-fixed aspect ratio scaling of the digital border
To enhance the visual effect of a photo, various digital borders or frames are provided for photo decoration at photo sharing websites. Even though multiple versions of the same b...
Hui Chao, Prasad Gabbur, Anthony Wiley
DOCENG
2010
ACM
15 years 8 months ago
Linking data and presentations: from mapping to active transformations
Modern GUI toolkits, and especially RIA ones, propose the concept of binding to dynamically link domain data and their presentations. Bindings are very simple to use for predefine...
Olivier Beaudoux, Arnaud Blouin
SIGCOMM
2009
ACM
16 years 1 months ago
Economic issues in shared infrastructures
We define some interesting incentive issues that arise in the management of virtual infrastructures. We demonstrate that participants’ decisions about the quantities of infrast...
Costas Courcoubetis, Richard R. Weber