Sciweavers

16257 search results - page 301 / 3252
» D-finiteness: algorithms and applications
Sort
View
WWW
2004
ACM
16 years 7 months ago
Semantic resource management for the web: an e-learning application
Topics in education are changing with an ever faster pace. ELearning resources tend to be more and more decentralized. Users increasingly need to be able to use the resources of t...
Julien Tane, Christoph Schmitz, Gerd Stumme
ICCD
2006
IEEE
126views Hardware» more  ICCD 2006»
16 years 3 months ago
Task Merging for Dynamic Power Management of Cyclic Applications in Real-Time Multi-Processor Systems
—In this paper we propose the method of task merging and idle period clustering for dynamic power management (DPM) in a real-time system with multiple processing elements. We sho...
Shaobo Liu, Qinru Qiu, Qing Wu
HYBRID
2009
Springer
16 years 1 months ago
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
Alexandre Donzé, Bruce H. Krogh, Akshay Raj...
INFOCOM
2009
IEEE
16 years 1 months ago
Opportunistic Routing Algebra and its Applications
Abstract—Opportunistic routing (OR) has received much attention as a new routing paradigm due to its efficient utilization of broadcasting and spacial diversity of the wireless ...
Mingming Lu, Jie Wu
IMA
2009
Springer
152views Cryptology» more  IMA 2009»
16 years 1 months ago
Double-Exponentiation in Factor-4 Groups and Its Applications
In previous work we showed how to compress certain prime-order subgroups of the cyclotomic subgroups of orders 22m + 1 of the multiplicative groups of F∗ 24m by a factor of 4. We...
Koray Karabina