468 search results - page 61 / 94 » Computationally Feasible Automated Mechanism Design: General... |
CANDC
2011
ACM
12 years 8 months ago
2011
ACM
In this paper we discuss the role of open-source hardware in supporting creativity. We use the case study of an opensource FM radio and explore the modes of creation that emerged ...
DAC
2005
ACM
14 years 9 months ago
2005
ACM
SAT (Boolean satisfiability) has become the primary Boolean reasoning engine for many EDA applications, so the efficiency of SAT solving is of great practical importance. Recently...
LCTRTS
2010
Springer
14 years 3 months ago
2010
Springer
With increasingly more complex Multi-Processor Systems on Chip (MPSoC) and shortening time-to- market projections, Transaction Level Modeling and Platform Aware Design are seen as...
CASES
2007
ACM
14 years 13 days ago
2007
ACM
Micro-Electro-Mechanical Systems (MEMS) combine lithographically formed mechanical structures with electrical elements to create physical systems that operate on the scale of micr...
MCS
2008
Springer
13 years 8 months ago
2008
Springer
In the stability study of nonlinear systems, not to found feasible solution for the LMI problem associated with a quadratic Lyapunov function shows that it doesn't exist posi...