544 search results - page 57 / 109 » A Logic Based Approach to the Static Analysis of Production ... |
CORR
2002
Springer
13 years 8 months ago
2002
Springer
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalu...
ECRTS
2003
IEEE
14 years 1 months ago
2003
IEEE
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
DLS
2008
13 years 10 months ago
2008
Static and dynamic type systems have well-known strengths and weaknesses. Gradual typing provides the benefits of both in a single language by giving the programmer control over w...
AMC
2007
13 years 8 months ago
2007
This paper presents an integrated framework for assessment and ranking of manufacturing systems based on management and organizational performance indicators. The integrated appro...
MODELS
2010
Springer
13 years 6 months ago
2010
Springer
A feature represents a functional requirement fulfilled by a system. Since many maintenance tasks are expressed in terms of features, it is important to establish the corresponden...