2388 search results - page 263 / 478 » Kernel information embeddings |
149
click to vote
DELTA
2008
IEEE
16 years 19 days ago
2008
IEEE
Re-using embedded resources for implementing builtin self test mechanisms allows test cost reduction. In this paper we demonstrate how to implement costefficient built-in self tes...
154
click to vote
LICS
2008
IEEE
16 years 16 days ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
143
Voted
ACISICIS
2007
IEEE
16 years 15 days ago
2007
IEEE
This paper addresses the problem of finding a feasible solution for the University Course Timetabling Problem (UCTP), i.e. a solution that satisfies all the so-called hard const...
131
click to vote
ACISICIS
2007
IEEE
16 years 15 days ago
2007
IEEE
This paper presents an innovative hardware architecture for medical nanorobots, using nanobioelectronics, clinical data, and wireless technologies, as embedded integrated system d...
153
click to vote
HICSS
2007
IEEE
16 years 14 days ago
2007
IEEE
Information and Communication Technologies (ICTs) are rapidly changing and new technologies, processes, and skills are constantly emerging. An important challenge for the research...