1156 search results - page 84 / 232 » The PENG System: Practice and Experience |
102
click to vote
CAV
2012
Springer
13 years 1 months ago
2012
Springer
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...
KES
2008
Springer
14 years 11 months ago
2008
Springer
This paper presents ontology-based architecture for pattern recognition in the context of static source code analysis. The proposed system has three subsystems: parser, OWL ontolog...
PDP
2007
IEEE
15 years 5 months ago
2007
IEEE
In the process of developing P2P systems simulation has proved to be an essential tool for the evaluation of existing and conceived P2P systems. So far, in practice there has been...
112
click to vote
CODES
2006
IEEE
15 years 5 months ago
2006
IEEE
Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variat...
DAC
2002
ACM
16 years 6 days ago
2002
ACM
Many real-time embedded systems involve a collection of independently executing event-driven code blocks, having hard real-time constraints. Tasks in many such systems, like netwo...