Sciweavers

26151 search results - page 63 / 5231
» Parameterized system design
Sort
View
RC
2002
103views more  RC 2002»
15 years 5 months ago
Exact Minkowski Products of N Complex Disks
An exact parameterization for the boundary of the Minkowski product of N circular disks in the complex plane is derived. When N > 2, this boundary curve may be regarded as a gen...
Rida T. Farouki, Helmut Pottmann
VLSID
2001
IEEE
200views VLSI» more  VLSID 2001»
16 years 5 months ago
Evaluation of the Traffic-Performance Characteristics of System-on-Chip Communication Architectures
The emergence of several communication architectures for System-on-Chips provides designers with a variety of design alternatives. In addition, the need to customize the system ar...
Kanishka Lahiri, Sujit Dey, Anand Raghunathan
POPL
2010
ACM
16 years 2 months ago
Dependent types and program equivalence
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...
Jianzhou Zhao, Limin Jia, Stephanie Weirich, Vilhe...
CVGIP
2006
115views more  CVGIP 2006»
15 years 5 months ago
Methods for exploring expressive stance
The postures a character adopts over time are a key expressive aspect of her movement. While IK tools help a character achieve positioning constraints, there are few tools that he...
Michael Neff, Eugene Fiume
CDC
2008
IEEE
109views Control Systems» more  CDC 2008»
15 years 12 months ago
Sensitivity analysis and computational uncertainty with applications to control of nonlinear parabolic partial differential equa
— In this paper we illustrate how sensitivities can be used to provide a practical precursor to dynamic transitions and numerical uncertainty in parameterized nonlinear parabolic...
John A. Burns, Lisa G. Davis