Sciweavers

6054 search results - page 303 / 1211
» Implementation of Andorra-based Languages
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
Scheduling of CAL actor networks based on dynamic code analysis
CAL is a dataflow oriented language for writing high-level specifications of signal processing applications. The language has recently been standardized and selected for the new...
Jani Boutellier, Olli Silvén, Mickaël ...
ICFP
2008
ACM
16 years 6 months ago
Space profiling for parallel functional programs
This paper presents a semantic space profiler for parallel functional programs. Building on previous work in sequential profiling, our tools help programmers to relate runtime res...
Daniel Spoonhower, Guy E. Blelloch, Robert Harper,...
PLDI
2009
ACM
16 years 1 months ago
Proving optimizations correct using parameterized program equivalence
Translation validation is a technique for checking that, after an optimization has run, the input and output of the optimization are equivalent. Traditionally, translation validat...
Sudipta Kundu, Zachary Tatlock, Sorin Lerner

Book
452views
17 years 4 months ago
Practical Artificial Intelligence Programming With Java
This book shows how to implement some AI techniques in java such as Search, Reasoning, Semantic Web, Expert Systems, Genetic Algorithms, Neural Networks, Machine Learning with Weka...
Mark Watson
ICFP
2003
ACM
16 years 6 months ago
Disjunctive normal forms and local exceptions
All classical -terms typable with disjunctive normal forms are shown to share a common computational behavior: they implement a local exception handling mechanism whose exact work...
Emmanuel Beffara, Vincent Danos