2030 search results - page 195 / 406 » Designing Complex Software Implementation Programs |
129
Voted
CDVE
2007
Springer
15 years 8 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
129
click to vote
CAV
2006
Springer
15 years 6 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
102
Voted
SIGSOFT
2009
ACM
16 years 3 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...
126
Voted
CGO
2008
IEEE
15 years 9 months ago
2008
IEEE
In recent years, the microprocessor industry has embraced chip multiprocessors (CMPs), also known as multi-core architectures, as the dominant design paradigm. For existing and ne...
127
Voted
MKWI
2008
15 years 4 months ago
2008
: Language offers human beings the ability to exchange information. Whether the information is understood or not depends on the structure, complexity and knowledge of the language....