2943 search results - page 457 / 589 » Software Implementation of Synchronous Programs |
105
Voted
LCPC
2005
Springer
15 years 7 months ago
2005
Springer
Programming network processors remains a challenging task since their birth until recently when high-level programming environments for them are emerging. By employing domain speci...
151
click to vote
GSEM
2004
Springer
15 years 7 months ago
2004
Springer
Occam is a parallel processing language designed by a team at INMOS in conjunction with the design of the transputer processor, and based on Sir T. Hoare's ideas of Communica...
102
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
133
click to vote
ASPLOS
2010
ACM
15 years 7 months ago
2010
ACM
Heterogeneous computing combines general purpose CPUs with accelerators to efficiently execute both sequential control-intensive and data-parallel phases of applications. Existin...
112
click to vote
MSR
2006
ACM
15 years 8 months ago
2006
ACM
Various static analysis tools will analyze a software artifact in order to identify potential defects, such as misused APIs, race conditions and deadlocks, and security vulnerabil...