77 search results - page 12 / 16 » er 2000 |
ISLPED
2000
ACM
15 years 1 months ago
2000
ACM
Memory-processor integration o ers new opportunities for reducing the energy of a system. In the case of embedded systems, one solution consists of mapping the most frequently acc...
CIKM
2000
Springer
15 years 1 months ago
2000
Springer
This paper discusses passage extraction approaches to multidocument summarization that use available information about the document set as a whole and the relationships between th...
FTRTFT
2000
Springer
15 years 1 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
JMLC
2000
Springer
15 years 1 months ago
2000
Springer
Most object-oriented languages offer a limited number of invocation semantics. At best, they define a default mode of synchronous invocation, plus some keywords to express addition...
83
Voted
SPIN
2000
Springer
15 years 29 days ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...