29082 search results - page 5480 / 5817 » The Time-Triggered Model of Computation |
185
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
199
click to vote
AB
2007
Springer
16 years 28 days ago
2007
Springer
What is systems biology? What can biologists gain from an attempt to algebraize the questions in systems biology? Starting with plausible biological theses, can one algebraically m...
183
click to vote
EMSOFT
2007
Springer
16 years 28 days ago
2007
Springer
Non-volatile RAM (NVRAM) such as PRAM (Phase-change RAM), FeRAM (Ferroelectric RAM), and MRAM (Magnetoresistive RAM) has characteristics of both non-volatile storage and random ac...
211
click to vote
FASE
2007
Springer
16 years 28 days ago
2007
Springer
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
193
click to vote
GECCO
2007
Springer
16 years 27 days ago
2007
Springer
Ant Colony Optimization (ACO) has been successfully applied to those combinatorial optimization problems which can be translated into a graph exploration. Artificial ants build s...