4139 search results - page 240 / 828 » Designing and Implementing Combinator Languages |
145
click to vote
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
214
click to vote
HPDC
1998
IEEE
15 years 9 months ago
1998
IEEE
Conventional resource management systems use a system model to describe resources and a centralized scheduler to control their allocation. We argue that this paradigm does not ada...
158
click to vote
MICCAI
2010
Springer
15 years 3 months ago
2010
Springer
The paper proposes a new shape morphometry approach to combine advanced classification techniques with geometric features in order to identify morphological abnormalities on brain...
136
click to vote
IJACTAICIT
2010
15 years 1 months ago
2010
As the size of communication networks keeps on growing, faster connections, cooperating technologies and the divergence of equipment and data communications, the management of the...
118
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...