Sciweavers

2940 search results - page 74 / 588
» Behavioral Constraints for Services
Sort
View
DAC
1998
ACM
14 years 2 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»
13 years 10 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
13 years 11 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»
14 years 4 months 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»
13 years 10 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