10718 search results - page 714 / 2144 » On the Circuit Implementation Problem |
187
click to vote
ERSA
2006
15 years 9 months ago
2006
Abstract-- In this work the problem of modeling reconfigurable systems behavior with a precise, executable semantics is considered. The possibility of synthesising such models onto...
200
click to vote
EFDBS
2001
15 years 9 months ago
2001
The existing standard for object-oriented databases (ODMG) provides no facility for storing behaviour. This lack of stored behaviour introduces problems for generic applications as...
177
click to vote
LISA
2001
15 years 9 months ago
2001
After installing an OS distribution, a computer is generally not yet properly adapted to go into production at the local site. Security policies must be implemented, local service...
191
click to vote
SNPD
2004
15 years 9 months ago
2004
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...
186
click to vote
WSC
2001
15 years 9 months ago
2001
Various stochastic programmingproblemscan be formulated as problems of optimization of an expected value function. Quite often the corresponding expectation function cannot be com...