5838 search results - page 926 / 1168 » A File System for System Programming in Ubiquitous Computing |
140
click to vote
SOFSEM
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. The first part of this paper presents a new approach for automatically proving nontermination of string rewrite systems. We encode rewrite sequences as propositional for...
155
click to vote
PDP
2009
IEEE
15 years 11 months ago
2009
IEEE
SBASCO provides a new programming model for parallel and distributed numerical applications which exploits the combination of software components and skeletons. This paper present...
141
click to vote
CSIE
2009
IEEE
15 years 11 months ago
2009
IEEE
The tendency for Non-Functional Requirements (NFRs) to have a wide-ranging impact on a software system, and the strong interdependencies and tradeoffs that exist between NFRs and ...
130
click to vote
RECONFIG
2009
IEEE
15 years 11 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...
119
click to vote
PVM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Manually tuning MPI runtime parameters is a practice commonly employed to optimise MPI application performance on a specific architecture. However, the best setting for ...