1054 search results - page 150 / 211 » Translation Validation of System Abstractions |
160
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
A structured approach to parallel programming allows to construct applications by composing skeletons, i.e., recurring patterns of task- and data-parallelism. First academic and co...
152
click to vote
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Supporting Distributed Shared Memory (DSM) is essential for multi-core Network-on-Chips for the sake of reusing huge amount of legacy code and easy programmability. We p...
124
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. In human-like reasoning it often happens that different conditions, partially alternative and hierarchically structured, are mentally grouped in order to derive some conc...
187
Voted
FOIKS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical inconsistency easily. This p...
159
click to vote
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract. The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common prog...