597 search results - page 24 / 120 » Formal Techniques for Java-Like Programs |
99
Voted
DAC
2002
ACM
16 years 21 days ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
CORR
2004
Springer
14 years 11 months ago
2004
Springer
The field of machine learning (ML) is concerned with the question of how to construct algorithms that automatically improve with experience. In recent years many successful ML app...
111
click to vote
DAWAK
2000
Springer
15 years 4 months ago
2000
Springer
In the context of multidimensional databases implemented on relational DBMSs through star schemes, the most effective technique to enhance performances consists of materializing re...
AIPS
2007
15 years 2 months ago
2007
Most traditional approaches to probabilistic planning in relationally specified MDPs rely on grounding the problem w.r.t. specific domain instantiations, thereby incurring a com...
137
Voted
CONCUR
1998
Springer
15 years 4 months ago
1998
Springer
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...