2836 search results - page 422 / 568 » Model Checking for Software Architectures |
178
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
The Intelligence Analyst (IA) community will soon be the designated users of many new software tools. In the multitasking world of the IA, any one tool cannot be permitted to gree...
175
click to vote
METAINFORMATICS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The Model-Driven Development (MDD) describes and maintains models of the system under development. The Unified Modeling Language (UML) supports a set of semantics and no...
154
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
This demonstration will feature overviews of the C-SAW and GenAWeave projects. The first half of the presentation will introduce the concept of two-level aspect weaving, which uni...
171
click to vote
CGO
2010
IEEE
15 years 10 months ago
2010
IEEE
In this paper we describe techniques for compiling finegrained SPMD-threaded programs, expressed in programming models such as OpenCL or CUDA, to multicore execution platforms. Pr...
210
click to vote
SQJ
2010
15 years 4 months ago
2010
One of the main goals of design patterns is to design for change. Many design patterns leave some room for future changes and evolutions. The application of design patterns leads ...