243 search results - page 25 / 49 » Programmers' views of SoCs |
58
Voted
MPC
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
77
Voted
FCCM
2003
IEEE
15 years 2 months ago
2003
IEEE
FPGAs have appealing features such as customizable internal and external bandwidth and the ability to exploit vast amounts of fine-grain parallelism. In this paper we explore the ...
KBSE
2003
IEEE
15 years 2 months ago
2003
IEEE
As programs evolve, their code increasingly becomes tangled by programmers and requirements. This mosaic quality complicates program comprehension and maintenance. Many of these a...
FM
2003
Springer
15 years 2 months ago
2003
Springer
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...
PVM
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. Distributed computing is a means to overcome the limitations of single computing systems. In this paper we describe how clusters of heterogeneous supercomputers can be us...