3311 search results - page 371 / 663 » Deductive Object Programming |
139
Voted
SARA
2009
Springer
15 years 8 months ago
2009
Springer
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...
123
Voted
ECOOP
1994
Springer
15 years 7 months ago
1994
Springer
Real-time programs are, in general, difficult to design and verify. The inheritance mechanism can be useful in reusing well-defined and verified real-time programs. In application...
128
Voted
APCSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
A popular trend in current software technology is to gain program portability by compiling programs to an inte form based on an abstract machine definition. Such approaches date b...
133
Voted
ECOOP
2006
Springer
15 years 5 months ago
2006
Springer
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...
151
Voted
EUROPAR
2008
Springer
15 years 5 months ago
2008
Springer
Developing a distributed application for mobile resource constrained devices is a difficult and error-prone task that requires awareness of several system-level details (e.g., faul...