7262 search results - page 1155 / 1453 » Reversible Computer Hardware |
164
click to vote
JAIR
2008
15 years 6 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
178
click to vote
IJWIS
2006
15 years 6 months ago
2006
Abstract-- The capabilities of embedded devices such as smartphones are steadily increasing and provide the great flexibility of data access and collaboration while being mobile. F...
167
click to vote
JMLR
2006
15 years 6 months ago
2006
An essential step in designing a new computer architecture is the careful examination of different design options. It is critical that computer architects have efficient means by ...
159
click to vote
AUTOMATICA
2005
15 years 6 months ago
2005
In this paper, an explicit model predictive controller for the attitude of a satellite is designed. Explicit solutions to constrained linear MPC problems can be computed by solvin...
156
click to vote
JCSS
2007
15 years 6 months ago
2007
The financial services industry today produces and consumes huge amounts of data and the processes involved in analysing these data are equally huge especially in terms of their c...