7661 search results - page 430 / 1533 » Languages and the Computing Profession |
179
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
190
click to vote
APCSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract. Increasingly threading has become an important architectural component of programming languages to support parallel programming. Previously we have proposed an elegant la...
169
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
This paper investigates the existence of inseparable disjoint pairs of NP languages and related strong hypotheses in computational complexity. Our main theorem says that, if NP do...
130
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
We overview CASL, the CoGenT Architecture Specification Language, a mixed behavioral-structure architecture description language designed to facilitate fast prototyping and tool ...
152
click to vote
SAC
2003
ACM
16 years 3 days ago
2003
ACM
We propose a predefined set of basic components for designing and implementing constraint solver cooperations and solver cooperation languages. Combining these components into pa...