4386 search results - page 603 / 878 » A Tamper-Resistant Programming Language System |
125
click to vote
COMPUTER
1999
15 years 3 months ago
1999
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
123
click to vote
CUZA
2002
15 years 3 months ago
2002
Metacomputing allows the exploitation of geographically seperate, heterogenous networks and resources. Most metacomputers are feature rich and carry a long, complicated installati...
136
click to vote
CASES
2010
ACM
15 years 1 months ago
2010
ACM
We present a fine-grain dynamic instruction placement algorithm for small L0 scratch-pad memories (spms), whose unit of transfer can be an individual instruction. Our algorithm ca...
118
Voted
ER
2009
Springer
15 years 10 months ago
2009
Springer
Various characteristics of the problem domain define the context in which the system is to operate and thus impact heavily on its requirements. However, most requirements specifica...
116
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— We discuss the evolution of teleconferencing and networked visualization applications to support 3-dimensional display technologies. The implications of a continuation of Moore...