3844 search results - page 108 / 769 » Modular interpreted systems |
157
click to vote
AAAI
2010
14 years 12 months ago
2010
Some real-world problems are partially decomposable, in that they can be decomposed into a set of coupled subproblems, that are each relatively easy to solve. However, when these ...
148
click to vote
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
ISMB
1993
15 years 4 months ago
1993
Wepropose in this paper a modularlearning environmentfor proteinmodeling.In this system,the protein modelingproblemis tackledin twosuccessive phases. First, partial structural inf...
140
click to vote
EUROMICRO
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
119
click to vote
CSMR
2004
IEEE
15 years 6 months ago
2004
IEEE
Most legacy systems have been altered due to prolonged maintenance to the point that they deviate significantly from their original and intended design and consequently, they lack...