Sciweavers

7429 search results - page 676 / 1486
» Embedded System Update
Sort
View
COCOA
2008
Springer
15 years 9 months ago
Efficient Method for Periodic Task Scheduling with Storage Requirement Minimization
Abstract. In this paper, we study an efficient approximate integer linear programming formulation of the general problem of one-dimensional periodic task scheduling under storage r...
Karine Deschinkel, Sid Ahmed Ali Touati
168
Voted
ICIS
2001
15 years 8 months ago
Knowledge Integration as a Key Problem in an ERP Implementation
Whilepreviousstudieshavefocusedmainlyonthepotentialbenefitsandcriticalsuccessfactorsassociatedwith ERPimplementation,veryfewhaveexploredtheimportantissues of impediments encounter...
Shan Ling Pan, Sue Newell, Jimmy C. Huang, Alvin W...
213
Voted
BIRTHDAY
2010
Springer
15 years 7 months ago
Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners)
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
Christoph Benzmüller
168
Voted
JCIT
2007
63views more  JCIT 2007»
15 years 7 months ago
Optimizing Reaching Definitions Overhead in Queue Processors
Queue computers are a viable option for embedded systems design. Queue computers feature a dense instruction set, high parallelism, low hardware complexity. In this paper we propo...
Yuki Nakanishi, Arquimedes Canedo, Ben A. Abderaze...
236
Voted
CORR
2010
Springer
191views Education» more  CORR 2010»
15 years 6 months ago
Dual Watermarking Scheme with Encryption
-- Digital Watermarking is used for copyright protection and authentication. In the proposed system, a Dual Watermarking Scheme based on DWT-SVD with chaos encryption algorithm, wi...
R. Dhanalakshmi, K. Thaiyalnayaki