786 search results - page 53 / 158 » A static theory of promises |
PROMISE
2010
14 years 4 months ago
2010
BACKGROUND: Defect predictors learned from static code measures can isolate code modules with a higher than usual probability of defects. AIMS: To improve those learners by focusi...
DAC
2004
ACM
15 years 11 months ago
2004
ACM
Current technology trends have led to the growing impact of both inter-die and intra-die process variations on circuit performance. While it is imperative to model parameter varia...
PODC
2009
ACM
15 years 10 months ago
2009
ACM
Peer-to-peer systems rely on scalable overlay networks that enable efficient routing between its members. Hypercubic topologies facilitate such operations while each node only nee...
200
click to vote
POPL
2008
ACM
15 years 10 months ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
IROS
2008
IEEE
15 years 4 months ago
2008
IEEE
— This paper addresses the problem of generating dynamic motion for a humanoid between two predefined postures. The humanoid robot starts its motion from a statically stable con...