202 search results - page 5 / 41 » Modeling design constraints and biasing in simulation using ... |
DGO
2008
13 years 9 months ago
2008
Supporting public participation is often a key goal in the design of digital government systems. However, years of work may be required before a complex system, such as the UrbanS...
BMCBI
2006
13 years 7 months ago
2006
Background: Understanding the relationship between gene expression changes, enzyme activity shifts, and the corresponding physiological adaptive response of organisms to environme...
IFIP
2001
Springer
14 years 1 days ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
KBSE
2000
IEEE
14 years 1 hour ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
DAC
2004
ACM
14 years 8 months ago
2004
ACM
We present a method for designing operational amplifiers using reversed geometric programming, which is an extension of geometric programming that allows both convex and non-conve...