4196 search results - page 205 / 840 » Supporting the development of network programs |
143
click to vote
SIGMOD
2003
ACM
16 years 4 months ago
2003
ACM
Abstract-- Sensor networking technologies have developed very rapidly in the last ten years. In many situations, high quality multimedia streams may be required for providing detai...
128
click to vote
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
This demonstration presents the concepts, design, and implementation of SCDE, a relational database systems extended with the ability to solve constraint satisfaction problems (CS...
148
click to vote
JOT
2008
15 years 3 months ago
2008
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...
160
click to vote
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
155
click to vote
IASTEDSEA
2004
15 years 5 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...