Sciweavers

2255 search results - page 109 / 451
» High Assurance Software Systems
Sort
View
IEEESP
2007
98views more  IEEESP 2007»
13 years 10 months ago
Educating Students to Create Trustworthy Systems
igh level of abstraction and to provide broad oversight. In contrast, the goal of computer science security education is to provide the technicalexpertisetodevelopsecure software a...
Richard S. Swart, Robert F. Erbacher
HAPTICS
2005
IEEE
14 years 3 months ago
High Fidelity Multi Finger Haptic Display
The Fingertip Haptic Display (FHD) is a five bar mechanism developed at the University of Washington for haptic interaction with the fingertip of the operator. The twodegree-of-...
Rainer Leuschke, Elizabeth K. T. Kurihara, Jesse D...
HPCN
1995
Springer
14 years 1 months ago
Exploiting high performance Fortran for computational fluid dynamics
Abstract. We discuss the High Performance Fortran data parallel programming language as an aid to software engineering and as a tool for exploiting High Performance Computing syste...
Kenneth A. Hawick, Geoffrey Fox
TABLETOP
2007
IEEE
14 years 4 months ago
T3: Rapid Prototyping of High-Resolution and Mixed-Presence Tabletop Applications
Multi-person tabletop applications that require a high display resolution, such as collaborative web-browsing, are currently very difficult to create. Tabletop systems that suppo...
Peter Robinson, Philip Tuddenham
FPL
2009
Springer
156views Hardware» more  FPL 2009»
14 years 2 months ago
A highly scalable Restricted Boltzmann Machine FPGA implementation
Restricted Boltzmann Machines (RBMs) — the building block for newly popular Deep Belief Networks (DBNs) — are a promising new tool for machine learning practitioners. However,...
Sang Kyun Kim, Lawrence C. McAfee, Peter L. McMaho...