2253 search results - page 302 / 451 » An Approach to Specifying Software Frameworks |
142
click to vote
KBSE
1999
IEEE
15 years 8 months ago
1999
IEEE
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...
131
click to vote
DYNAMO
2000
15 years 5 months ago
2000
Many binary tools, such as disassemblers, dynamiccode generation systems, and executable code rewriters, need to understand how machine instructions are encoded. Unfortunately, sp...
157
click to vote
CADE
2004
Springer
16 years 4 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
149
click to vote
CCO
2001
Springer
15 years 9 months ago
2001
Springer
Branch, cut, and price (BCP) is an LP-based branch and bound technique for solving large-scale discrete optimization problems (DOPs). In BCP, both cuts and variables can be generat...
267
click to vote
CBMS
2006
IEEE
15 years 10 months ago
2006
IEEE
The growing complexity of distributed biomedical application requirements present new challenges to the representation of software architectural analysis and design. This is the c...