Sciweavers

2945 search results - page 261 / 589
» Designing and Implementing Malicious Hardware
Sort
View
ICFP
2005
ACM
16 years 6 months ago
A principled approach to operating system construction in Haskell
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...
Thomas Hallgren, Mark P. Jones, Rebekah Leslie, An...
APCSAC
2001
IEEE
15 years 10 months ago
Password-Capabilities: Their Evolution from the Password-Capability System into Walnut and Beyond
Since we first devised and defined password-capabilities as a new technique for building capability-based operating systems, a number of research systems around the world have use...
Ronald Pose
FCCM
2011
IEEE
331views VLSI» more  FCCM 2011»
14 years 10 months ago
Synthesis of Platform Architectures from OpenCL Programs
—The problem of automatically generating hardware modules from a high level representation of an application has been at the research forefront in the last few years. In this pap...
Muhsen Owaida, Nikolaos Bellas, Konstantis Dalouka...
ICCAD
2002
IEEE
103views Hardware» more  ICCAD 2002»
16 years 3 months ago
A technology-independent CAD tool for ESD protection device extraction: ESDExtractor
The challenges for developing an ESD (Electro-static Discharge) layout extractor originate from unconventional layout patterns of ESD protection devices, parasitic ESD device extr...
Rouying Zhan, Haigang Feng, Qiong Wu, Guang Chen, ...
TEI
2009
ACM
141views Hardware» more  TEI 2009»
16 years 1 months ago
Kurio: a museum guide for families
We discuss three design strategies for improving the quality of social interaction and learning with interactive museum guides: 1) embodied interaction; 2) game-learning; 3) a hyb...
Ron Wakkary, Marek Hatala, Kevin Muise, Karen Tane...