391 search results - page 49 / 79 » Automatic programming with semantic streams |
DMSN
2008
ACM
15 years 20 days ago
2008
ACM
Wireless sensor, actuator networks (WSANs) distinguish themselves from wireless sensor networks by the need to coordinate actuators' actions, real-time constraints on communi...
BIRTHDAY
2010
Springer
14 years 9 months ago
2010
Springer
To prove termination of Java Bytecode (JBC) automatically, we transform JBC to finite termination graphs which represent all possible runs of the program. Afterwards, the graph can...
POPL
2010
ACM
15 years 8 months ago
2010
ACM
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...
101
Voted
WEBDB
2010
Springer
15 years 4 months ago
2010
Springer
The MapReduce distributed programming framework is very popular, but currently lacks the optimization techniques that have been standard with relational database systems for many ...
100
Voted
PLDI
1997
ACM
15 years 3 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...