1280 search results - page 60 / 256 » Soft Typing with Conditional Types |
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
—This paper studies the capabilities of a microrobotic platform, driven by vibrating motors, to generate and impart micromanipulation forces of desired type and magnitude. First,...
JNS
2010
13 years 3 months ago
2010
Under certain conditions the problem of morphogenesis in development and the problem of morphology in block copolymers may be reduced to one geometric problem. In two dimensions t...
ETFA
2005
IEEE
14 years 2 months ago
2005
IEEE
This work-in-progress (WIP) paper presents Server-CAN and highlights its operation and possible vulnerabilities from a fault tolerance point of view. The paper extends earlier wor...
VTS
1996
IEEE
14 years 1 months ago
1996
IEEE
Some weak static CMOS chips can be detected by testing them with a very low supply voltage -- between 2 and 2.5 times the threshold voltage Vt of the transistors. A weak chip is o...
EUROPLOP
2006
13 years 10 months ago
2006
: The usability of a computer system can be improved by design of the user interface, and, as importantly, by design of usersystem interactions. Our research presents usability-imp...