558 search results - page 42 / 112 » A Compiler Design for the Agent-Based Programming Language |
116
Voted
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
111
Voted
LCTRTS
2010
Springer
15 years 9 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
128
Voted
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
The trend in microprocessor design toward multicore and manycore processors means that future performance gains in software will largely come from harnessing parallelism. To reali...
118
click to vote
FCCM
2000
IEEE
15 years 7 months ago
2000
IEEE
Mapping computations written in high-level programming languages to FPGA-based computing engines requires programmers to generate the datapath responsible for the core of the comp...
135
Voted
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
Compiler writers have crafted many heuristics over the years to approximately solve NP-hard problems efficiently. Finding a heuristic that performs well on a broad range of applic...