6016 search results - page 803 / 1204 » The semantics of graphical languages |
189
click to vote
LCTRTS
2010
Springer
16 years 2 months ago
2010
Springer
In this paper, we present a novel system modeling language which targets primarily the development of source-level multiprocessor memory aware optimizations. In contrast to previo...
175
click to vote
CIE
2009
Springer
16 years 2 months ago
2009
Springer
J. Raymundo Marcial–Romero and M. H. Escard´o described onal programming language with an abstract data type Real for the real numbers and a non-deterministic operator rtest: Re...
165
Voted
OOPSLA
2009
Springer
16 years 2 months ago
2009
Springer
Today’s shared-memory parallel programming models are complex and error-prone. While many parallel programs are intended to be deterministic, unanticipated thread interleavings ...
212
click to vote
MEMOCODE
2007
IEEE
16 years 1 months ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
173
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...