7189 search results - page 1035 / 1438 » Connecting Design with Code |
227
click to vote
ASPDAC
2012
ACM
14 years 3 months ago
2012
ACM
Behavioral synthesis tools have made significant progress in compiling high-level programs into register-transfer level (RTL) specifications. But manually rewriting code is still ...
224
click to vote
ECOOP
2012
Springer
13 years 10 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
254
click to vote
ISCA
2012
IEEE
13 years 10 months ago
2012
IEEE
Wide SIMD-based GPUs have evolved into a promising platform for running general purpose workloads. Current programmable GPUs allow even code with irregular control to execute well...
245
click to vote
WWW
2006
ACM
16 years 8 months ago
2006
ACM
The Web plays a critical role in hosting Web communities, their content and interactions. A prime example is the open source software (OSS) community, whose members, including sof...
236
click to vote
EUROSYS
2006
ACM
16 years 4 months ago
2006
ACM
Run-time conflicts can affect even the most rigorously tested software systems. A reliance on execution-based testing makes it prohibitively costly to test every possible interac...