10575 search results - page 1783 / 2115 » Programming Languages |
187
click to vote
WOTUG
2008
15 years 8 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
212
click to vote
LCTRTS
2010
Springer
15 years 4 months ago
2010
Springer
The issues of compiler optimization phase ordering and selection present important challenges to compiler developers in several domains, and in particular to the speed, code size,...
185
click to vote
LOGCOM
2010
15 years 1 months ago
2010
Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during a...
225
click to vote
EUROSYS
2010
ACM
16 years 25 days ago
2010
ACM
The deluge of huge data sets such as those provided by
sensor networks, online transactions, and the web provide
exciting opportunities for data analysis. The scale of the
data ...
193
click to vote
APCSAC
2003
IEEE
16 years 6 hour ago
2003
IEEE
This paper introduces a method which can be used to map applications written in a high level source language program, like C, to a coarse grain reconfigurable architecture, MONTIU...