2282 search results - page 278 / 457 » Active property checking |
117
Voted
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
—Rehabilitation robots, together with vision and audio systems form the multimodal environment for exercising the person in a number of ways, unavoidably influencing the physiolo...
171
Voted
ICCAD
2010
IEEE
15 years 3 months ago
2010
IEEE
1In this paper, we will present an effective layout method for analog circuits. We consider symmetry constraint, common centroid constraint, device merging and device clustering du...
164
click to vote
ECOOP
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. An active area of research in computer science is the prevention of violations of object protocols, i.e., restrictions on temporal orderings of method calls on an object....
188
click to vote
TOG
2012
13 years 7 months ago
2012
We introduce tailored displays that enhance visual acuity by decomposing virtual objects and placing the resulting anisotropic pieces into the subject’s focal range. The goal is...
151
click to vote
ECOOP
2012
Springer
13 years 7 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...