2364 search results - page 455 / 473 » An Engine for Computing Well-Founded Models |
151
click to vote
FOSSACS
2009
Springer
15 years 8 months ago
2009
Springer
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...
126
click to vote
CSE
2009
IEEE
15 years 8 months ago
2009
IEEE
—Social Network Analysis (SNA) has evolved as a popular, standard method for modeling meaningful, often hidden structural relationships in communities. Existing SNA tools often i...
117
Voted
ICPADS
2008
IEEE
15 years 8 months ago
2008
IEEE
It is common that Internet service hosting centres use several logical pools to assign server resources to different applications, and that they try to achieve the highest total r...
108
click to vote
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
Flash memory is a storage medium that is becoming more and more popular. Though not yet fully embraced in traditional computing systems, Flash memory is prevalent in embedded syst...
105
Voted
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
Design space exploration of embedded systems typically focuses on classical design goals such as cost, timing, buffer sizes, and power consumption. Robustness criteria, i.e. sensi...