Sciweavers

8345 search results - page 1308 / 1669
» Design of Neuromorphic Hardwares
Sort
View
HOTOS
2007
IEEE
15 years 10 months ago
Hype and Virtue
In this paper, we question whether hypervisors are really acting as a disruptive force in OS research, instead arguing that they have so far changed very little at a technical lev...
Timothy Roscoe, Kevin Elphinstone, Gernot Heiser
ICMB
2007
IEEE
144views Business» more  ICMB 2007»
15 years 10 months ago
Augmented Reality 3D Interactive Advertisements on Smartphones
Whilst Augmented Reality (AR) has been a prevalent research topic it has proved difficulty to implement and apply in commercial situations as it generally requires complex and exp...
Fadi Chehimi, Paul Coulton, Reuben Edwards
DELTA
2004
IEEE
15 years 10 months ago
Arithmetic Transformations to Maximise the Use of Compressor Trees
Complex arithmetic computations, especially if derived from bit-level software descriptions, can be very inefficient if implemented directly in hardware (e.g., by translation of t...
Paolo Ienne, Ajay K. Verma
DEXA
2004
Springer
83views Database» more  DEXA 2004»
15 years 10 months ago
Efficient Rule Base Verification Using Binary Decision Diagrams
As their field of application has evolved and matured, the importance of verifying knowledge-based systems is now widely recognized. Nevertheless, some problems have remained. In t...
Christophe Mues, Jan Vanthienen
DSN
2004
IEEE
15 years 10 months ago
Assured Reconfiguration of Embedded Real-Time Software
It is often the case that safety-critical systems have to be reconfigured during operation because of issues such as changes in the system's operating environment or the fail...
Elisabeth A. Strunk, John C. Knight
« Prev « First page 1308 / 1669 Last » Next »