Sciweavers

3706 search results - page 217 / 742
» The Transformational Approach to Program Development
Sort
View
ICDE
2009
IEEE
119views Database» more  ICDE 2009»
15 years 10 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
CASES
2007
ACM
15 years 7 months ago
A fast and generic hybrid simulation approach using C virtual machine
Instruction Set Simulators (ISSes) are important tools for cross-platform software development. The simulation speed is a major concern and many approaches have been proposed to i...
Lei Gao, Stefan Kraemer, Rainer Leupers, Gerd Asch...
CASES
2005
ACM
15 years 5 months ago
Optimizing stream programs using linear state space analysis
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...
Sitij Agrawal, William Thies, Saman P. Amarasinghe
AOSD
2006
ACM
15 years 9 months ago
A framework and tool supports for generating test inputs of AspectJ programs
Aspect-oriented software development is gaining popularity with the wider adoption of languages such as AspectJ. To reduce the manual effort of testing aspects in AspectJ programs...
Tao Xie, Jianjun Zhao
SIGSOFT
2007
ACM
16 years 3 months ago
Programming asynchronous layers with CLARITY
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
Prakash Chandrasekaran, Christopher L. Conway, Jos...