77 search results - page 15 / 16 » A hybrid approach for core-based system-level power modeling |
SPIN
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
ICEIS
2000
IEEE
13 years 10 months ago
2000
IEEE
We understand distributed systems as a collection of distributed computation resources that work together as one harmonious system. It is the great achievement of computer network...
BIOINFORMATICS
2010
13 years 6 months ago
2010
DNA copy number variants (CNV) are gains and losses of segments of chromosomes, and comprise an important class of genetic variation. Recently, various microarray hybridization ba...
FPGA
2008
ACM
13 years 7 months ago
2008
ACM
Functional full-system simulators are powerful and versatile research tools for accelerating architectural exploration and advanced software development. Their main shortcoming is...
ACL
2006
13 years 7 months ago
2006
In this paper we report our work on building a POS tagger for a morphologically rich language- Hindi. The theme of the research is to vindicate the stand that- if morphology is st...