Sciweavers

9503 search results - page 1550 / 1901
» Authenticated System Calls
Sort
View
DATE
2009
IEEE
115views Hardware» more  DATE 2009»
15 years 10 months ago
Customizing IP cores for system-on-chip designs using extensive external don't-cares
Traditional digital circuit synthesis flows start from an HDL behavioral definition and assume that circuit functions are almost completely defined, making don't-care conditio...
Kai-Hui Chang, Valeria Bertacco, Igor L. Markov
GROUP
2007
ACM
15 years 10 months ago
Knowledge work artifacts: kernel cousins for free/open source software development
Most empirical studies of peer production have focused on the final products of these efforts (such as software in Free/Open Source projects), but there are also many other knowle...
Margaret S. Elliott, Mark S. Ackerman, Walt Scacch...
FMCAD
2009
Springer
15 years 10 months ago
Industrial strength refinement checking
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
Jesse D. Bingham, John Erickson, Gaurav Singh, Fle...
HRI
2007
ACM
15 years 10 months ago
LASSOing HRI: analyzing situation awareness in map-centric and video-centric interfaces
Good situation awareness (SA) is especially necessary when robots and their operators are not collocated, such as in urban search and rescue (USAR). This paper compares how SA is ...
Jill L. Drury, Brenden Keyes, Holly A. Yanco
ICB
2007
Springer
195views Biometrics» more  ICB 2007»
15 years 10 months ago
Identity Verification by Using Handprint
In recent years, palmprint based personal identification has been extensively explored by researchers. The success of this technology has demonstrated that the inner part of palm s...
Ying Hao, Tieniu Tan, Zhenan Sun, Yufei Han
« Prev « First page 1550 / 1901 Last » Next »