430 search results - page 71 / 86 » Design by Contract for Python |
DAC
2007
ACM
14 years 8 months ago
2007
ACM
The ability to account for the growing impacts of multiple process variations in modern technologies is becoming an integral part of nanometer VLSI design. Under the context of ti...
MOBIHOC
2005
ACM
14 years 7 months ago
2005
ACM
Node compromise poses severe security threats in wireless sensor networks. Unfortunately, existing security designs can address only a small, fixed threshold number of compromised...
SIGGRAPH
1995
ACM
13 years 11 months ago
1995
ACM
Artistic screening is a new image reproduction technique incorporatingfreelycreatedartisticscreenelementsforgeneratinghalftones. Fixed predefined dot contours associated with giv...
IROS
2008
IEEE
14 years 1 months ago
2008
IEEE
— We present a modular robot design inspired by the creation of complex structures and functions in biology via deformation. Our design is based on the Tensegrity model of cellul...
ICCD
1995
IEEE
13 years 11 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...