8109 search results - page 1220 / 1622 » A Model of Component-Based Programming |
162
click to vote
RECONFIG
2009
IEEE
16 years 1 months ago
2009
IEEE
—We envision that future FPGA will use a hardwired network on chip (HWNoC) [14] as a unified interconnect for functional communications (data and control) as well as configurat...
146
click to vote
IPPS
2009
IEEE
16 years 29 days ago
2009
IEEE
Although processors become massively multicore and therefore new programming models mix message passing and multi-threading, the effects of threads on communication libraries rema...
162
click to vote
LICS
2009
IEEE
16 years 29 days ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
171
click to vote
ACG
2009
Springer
16 years 28 days ago
2009
Springer
With the recent success of Monte-Carlo tree search algorithms in Go and other games, and the increasing number of cores in standard CPUs, the efficient parallelization of the sear...
208
click to vote
FSEN
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work ...