8810 search results - page 1544 / 1762 » Open. Closed. Open |
210
click to vote
CPAIOR
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...
220
click to vote
DNA
2007
Springer
16 years 22 days ago
2007
Springer
In search for “realistic” bio-inspired computing models, we consider asynchronous spiking neural P systems, in the hope to get a class of computing devices with decidable prope...
146
click to vote
ECTEL
2007
Springer
16 years 22 days ago
2007
Springer
The changing nature of e-Learning, the Web, and its users that can be observed in the last years results in a need for new approaches and technologies to fully exploit the existing...
168
click to vote
EMSOFT
2007
Springer
16 years 22 days ago
2007
Springer
The design of safety-critical systems has typically adopted static techniques to simplify error detection and fault tolerance. However, economic pressure to reduce costs is exposi...
181
click to vote
EMSOFT
2007
Springer
16 years 22 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...