968 search results - page 142 / 194 » The Molen Programming Paradigm |
182
click to vote
EDOC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—A simple and effective composition of software services into higher-level composite services is still a very challenging task. Especially in enterprise environments, Qua...
177
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Partitioned Global Address Space (PGAS) languages provide a unique programming model that can span shared-memory multiprocessor (SMP) architectures, distributed memory machines, o...
156
click to vote
ACSC
2008
IEEE
16 years 1 months ago
2008
IEEE
In the future, if we are to continue to expect improved application performance we will have to achieve it by exploiting course-grained hardware parallelism rather then simply rel...
188
click to vote
RTAS
2008
IEEE
16 years 1 months ago
2008
IEEE
Instruction scratchpads have been previously suggested as a way to reduce the worst case execution time (WCET) of hard real-time programs without introducing the analysis issues p...
183
click to vote
TOOLS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...