12272 search results - page 258 / 2455 » Experimental program analysis |
179
click to vote
APLAS
2005
ACM
16 years 5 days ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
183
click to vote
FUIN
2006
15 years 6 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
156
click to vote
COR
2004
15 years 6 months ago
2004
Technical analysis is aimed at devising trading rules capable of exploiting short-term uctuations on the
185
click to vote
CODES
2009
IEEE
16 years 1 months ago
2009
IEEE
The FlexRay bus is the prospective automotive standard communication system. For the sake of a high flexibility, the protocol includes a static time-triggered and a dynamic event...
197
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Parallel dataflow programming frameworks such as Map-Reduce are increasingly being used for large scale data analysis on computing clouds. It is therefore becoming important to a...