Sciweavers

4306 search results - page 645 / 862
» Timed Testing with TorX
Sort
View
CI
2005
99views more  CI 2005»
15 years 3 months ago
Automatically Generating Tree Adjoining Grammars from Abstract Specifications
TRACT SPECIFICATIONS FEI XIA AND MARTHA PALMER Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA 19104 K. VIJAY-SHANKER Department of Com...
Fei Xia, Martha Palmer, K. Vijay-Shanker
138
Voted
TVLSI
2008
176views more  TVLSI 2008»
15 years 3 months ago
A Fuzzy Optimization Approach for Variation Aware Power Minimization During Gate Sizing
Abstract--Technology scaling in the nanometer era has increased the transistor's susceptibility to process variations. The effects of such variations are having a huge impact ...
Venkataraman Mahalingam, N. Ranganathan, J. E. Har...
ANOR
2002
99views more  ANOR 2002»
15 years 3 months ago
An Inventory-Location Model: Formulation, Solution Algorithm and Computational Results
We introduce a distribution center (DC) location model that incorporates working inventory and safety stock inventory costs at the distribution centers. In addition, the model inco...
Mark S. Daskin, Collette R. Coullard, Zuo-Jun Max ...
156
Voted
ANSOFT
2002
159views more  ANSOFT 2002»
15 years 3 months ago
Using Component-Based Development and Web Technologies to Support a Distributed Data Management System
Over recent years, "Internet-able" applications have been used to support domains where distributed functionality is essential. This flexibility is also pertinent in situ...
M. Brian Blake, Gail Hamilton, Jeffrey Hoyt
112
Voted
BC
2004
98views more  BC 2004»
15 years 3 months ago
Dynamical simulation of speech cooperative articulation by muscle linkages
Different kinds of articulators, such as the upper and lower lips, jaw, and tongue, are precisely coordinated in speech production. Based on a perturbation study of the production ...
Takayuki Ito, Hiroaki Gomi, Masaaki Honda