2943 search results - page 334 / 589 » Software Implementation of Synchronous Programs |
133
click to vote
DAGSTUHL
2003
15 years 4 months ago
2003
Abstract. Hydra is a domain-specific language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware specification ...
130
click to vote
ISHPC
2000
Springer
15 years 6 months ago
2000
Springer
The shared-memory programming model is a very effective way to achieve parallelism on shared memory parallel computers. As great progress was made in hardware and software technolo...
129
click to vote
WETICE
2005
IEEE
15 years 8 months ago
2005
IEEE
In distributed software engineering, the role of informal communication is frequently overlooked. Participants simply employ their own ad-hoc methods of informal communication. Co...
129
click to vote
AOSD
2007
ACM
15 years 7 months ago
2007
ACM
This paper proposes an approach called SCoPE, which supports user-defined analysis-based pointcuts in aspect-oriented programming (AOP) languages. The advantage of our approach is...
234
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...