Sciweavers

2940 search results - page 74 / 588
» Behavioral Constraints for Services
Sort
View
DAC
1998
ACM
15 years 10 months ago
Synthesis of Power-Optimized and Area-Optimized Circuits from Hierarchical Behavioral Descriptions
We present a technique for synthesizing power- as well as area-optimized circuits from hierarchical data flow graphs under throughput constraints. We allow for the use of complex...
Ganesh Lakshminarayana, Niraj K. Jha
JACIII
2007
99views more  JACIII 2007»
15 years 5 months ago
Asymptotic Behavior of Linear Approximations of Pseudo-Boolean Functions
We study the problem of approximating pseudoBoolean functions by linear pseudo-Boolean functions. Pseudo-Boolean functions generalize ordinary Boolean functions by allowing the fu...
Guoli Ding, Robert F. Lax, Peter P. Chen, Jianhua ...
CATA
2003
15 years 7 months ago
More Accurate Semantics Defining Constraint Combination for Software Systems Having Client-Server Relationships
In this paper we present a new method of combining multiple precedence constraints for a single task to support software systems having client-server relationships. In these types...
Kenneth G. Ricks, David Jeff Jackson, B. Earl Well...
IROS
2007
IEEE
150views Robotics» more  IROS 2007»
16 years 17 hour ago
Monopedal running control: SLIP embedding and virtual constraint controllers
— Two feedback controllers that induce stable running gaits on a three-degree-of-freedom asymmetric hopper, termed the Asymmetric Spring Loaded Inverted Pendulum (ASLIP), see Fig...
Ioannis Poulakakis, J. W. Grizzle
ENDM
2000
174views more  ENDM 2000»
15 years 5 months ago
Hybrid Constraints in Automated Model Synthesis and Model Processing
Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
Klaus-Ulrich Leweling, Benno Stein