12052 search results - page 271 / 2411 » computer 2010 |
167
click to vote
INFORMATICALT
2010
15 years 2 months ago
2010
The Turing machine is one of the simple abstract computational devices that can be used to investigate the limits of computability. In this paper, they are considered from several ...
136
click to vote
TIP
2010
14 years 12 months ago
2010
Software realizations of computationally-demanding image processing tasks (e.g. image transforms and convolution) do not currently provide graceful degradation when their clock-cy...
141
click to vote
APLAS
2010
ACM
15 years 5 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
130
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In this work we present a prototype for simulating computer network attacks. Our objective is to simulate large networks (thousands of hosts, with applications and vulnerabilities)...
149
click to vote
ANNALS
2010
15 years 2 months ago
2010
The increasing popularity in the late 1970s of affordable, general-purpose, microprocessor-based personal computers in the US, generated a widespread interest around the world in t...