Sciweavers

2102 search results - page 311 / 421
» A Relational Model for Object-Oriented Designs
Sort
View
ICFP
2007
ACM
16 years 1 months ago
Adding delimited and composable control to a production programming environment
Operators for delimiting control and for capturing composable continuations litter the landscape of theoretical programming language research. Numerous papers explain their advant...
Matthew Flatt, Gang Yu, Robert Bruce Findler, Matt...
ICCAD
2005
IEEE
176views Hardware» more  ICCAD 2005»
15 years 10 months ago
Statistical gate sizing for timing yield optimization
— Variability in the chip design process has been relatively increasing with technology scaling to smaller dimensions. Using worst case analysis for circuit optimization severely...
Debjit Sinha, Narendra V. Shenoy, Hai Zhou
SIGCOMM
2009
ACM
15 years 8 months ago
DECOR: DEClaritive network management and OpeRation
Network management operations are complicated, tedious and error-prone, requiring significant human involvement and expert knowledge. In this paper, we first examine the fundame...
Xu Chen, Yun Mao, Zhuoqing Morley Mao, Jacobus E. ...
SIGCOMM
2009
ACM
15 years 8 months ago
Network virtualization: a view from the bottom
The interest in network virtualization has been growing steadily among the networking community in the last few years. Network virtualization opens up new possibilities for the ev...
Jorge Carapinha, Javier Jiménez
HAPTICS
2007
IEEE
15 years 7 months ago
Effects of Longitudinal Skin Stretch on the Perception of Friction
This work focuses on the relative importance of skin stretch imposed on the fingerpad on the perception of friction. Perceptual data is presented from two separate tests. The fi...
Nicholas D. Sylvester, William R. Provancher