Sciweavers

1872 search results - page 173 / 375
» A Framework for the Simulation of Web Applications
Sort
View
132
Voted
ASAP
2010
IEEE
185views Hardware» more  ASAP 2010»
15 years 4 months ago
ImpEDE: A multidimensional design-space exploration framework for biomedical-implant processors
Abstract—The demand for biomedical implants keeps increasing. However, most of the current implant design methodologies involve custom-ASIC design. The SiMS project aims to chang...
Dhara Dave, Christos Strydis, Georgi Gaydadjiev
CISIS
2009
IEEE
15 years 2 months ago
Evaluation of a Framework for Dynamic Source Selection in Stream Processing
The volume of stream data delivered from different information sources is increasing. There are a variety of demands to utilize such stream data for applications. Stream processin...
Kousuke Ohki, Yousuke Watanabe, Hiroyuki Kitagawa
ICDE
2009
IEEE
119views Database» more  ICDE 2009»
15 years 11 months ago
Deductive Framework for Programming Sensor Networks
—Developing powerful paradigms for programming sensor networks is critical to realize the full potential of sensor networks as collaborative data processing engines. In this arti...
Himanshu Gupta, Xianjin Zhu, Xiang Xu
140
Voted
KI
2007
Springer
15 years 10 months ago
Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework
To achieve complex missions an autonomous unmanned aerial vehicle (UAV) operating in dynamic environments must have and maintain situational awareness. This can be achieved by cont...
Fredrik Heintz, Piotr Rudol, Patrick Doherty
SEFM
2006
IEEE
15 years 10 months ago
A PVS Based Framework for Validating Compiler Optimizations
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker