Sciweavers

3718 search results - page 145 / 744
» IMPS: System Description
Sort
View
MKERN
1992
15 years 5 months ago
Data Movement in Kernelized Systems
of the kernel abstractions and system servers and describe in detail the read() and write() paths of these two systems. We then break down their read() and write() performance and ...
Randall W. Dean, François Armand
MTV
2003
IEEE
109views Hardware» more  MTV 2003»
15 years 9 months ago
A Methodology for Validation of Microprocessors using Equivalence Checking
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
Prabhat Mishra, Nikil D. Dutt
JUCS
2007
121views more  JUCS 2007»
15 years 4 months ago
Semantic-based Skill Management for Automated Task Assignment and Courseware Composition
Abstract: Knowledge management is characterized by many different activities ranging from the elicitation of knowledge to its storing, sharing, maintenance, usage and creation. Sk...
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...
134
Voted
DCC
2011
IEEE
14 years 11 months ago
Sparse Boolean equations and circuit lattices
Abstract. A system of Boolean equations is called sparse if each equation depends on a small number of variables. Finding efficiently solutions to the system is an underlying hard ...
Igor Semaev
140
Voted
ICFHR
2010
194views Biometrics» more  ICFHR 2010»
14 years 11 months ago
ICFHR 2010 Contest: Quantitative Evaluation of Binarization Algorithms
This paper describes the ICFHR 2010 Contest for quantitative evaluation of binarization algorithms. These algorithm are applied to synthetic images of modern pdf documents with noi...
Roberto Paredes, Ergina Kavallieratou, Rafael Duei...