Sciweavers

4757 search results - page 312 / 952
» Generalized Posynomial Performance Modeling
Sort
View
ASE
1998
81views more  ASE 1998»
15 years 6 months ago
Program Understanding as Constraint Satisfaction: Representation and Reasoning Techniques
The process of understanding a source code in a high-level programming language involves complex computation. Given a piece of legacy code and a library of program plan templates, ...
Steven G. Woods, Qiang Yang
TC
1998
15 years 6 months ago
Analysis of Preventive Maintenance in Transactions Based Software Systems
—Preventive maintenance of operational software systems, a novel technique for software fault tolerance, is used specifically to counteract the phenomenon of software “aging....
Sachin Garg, Antonio Puliafito, Miklós Tele...
SIAMCOMP
2002
113views more  SIAMCOMP 2002»
15 years 6 months ago
A Layered Analysis of Consensus
This paper introduces a simple notion of layering as a tool for analyzing well-behaved runs of a given model of distributed computation. Using layering, a model-independent analysi...
Yoram Moses, Sergio Rajsbaum
CIKM
2010
Springer
15 years 5 months ago
Ranking under temporal constraints
This paper introduces the notion of temporally constrained ranked retrieval, which, given a query and a time constraint, produces the best possible ranked list within the specifi...
Lidan Wang, Donald Metzler, Jimmy Lin
ICRA
2010
IEEE
107views Robotics» more  ICRA 2010»
15 years 5 months ago
Sidewinding on slopes
— Sidewinding is an efficient translation gait used by snakes over flat ground. When implemented on snake robots, it retains its general effectiveness, but becomes unstable on ...
Ross L. Hatton, Howie Choset