1088 search results - page 85 / 218 » Tools for support of automata-based programming |
ENTCS
2007
14 years 9 months ago
2007
In modern functional logic languages like Curry or Toy, programs are possibly non-confluent and nonterminating rewrite systems, defining possibly non-deterministic non-strict fu...
CASES
2001
ACM
15 years 1 months ago
2001
ACM
Current development tools for embedded real-time systems do not efficiently support the timing aspect. The most important timing parameter for scheduling and system analysis is th...
ACMSE
2006
ACM
15 years 3 months ago
2006
ACM
Software is increasingly pervasive in the products we use. Consequently, more programmers are needed to develop the software, and consequently there is unmet demand on programming...
BCS
2008
14 years 11 months ago
2008
Research in formal description of programming languages over the past four decades has led to some significant achievements. These include formal syntax and semantics for complete...
PPOPP
2006
ACM
15 years 3 months ago
2006
ACM
Tiling has proven to be an effective mechanism to develop high performance implementations of algorithms. Tiling can be used to organize computations so that communication costs i...