| Document Date: 2012-01-11 07:16:42 Open Document File Size: 271,84 KBShare Result on Facebook
Company ABC / Intel / / Facility Termite library of Prolog / Termite library / / Holiday Assumption / / IndustryTerm symbolic computation algorithms / pattern-based recurrence solving algorithm / implements algorithms / software tool / software packages / offers software / / MarketIndex SMT / / NaturalFeature Everest / / Organization American Mathematical Society / / Person Hertha Firnberg / Pascal Sainrat / Martin Schoeberl / Marianne De Michiel / Armelle Bonenfant / Rasmus Ulslev Pedersen / Wolfgang Puffitsch / Hugues Cass / Benedikt Huber / Jakob Zwirchmayr / Jens Knoop / Laura Kov´acs / / Position second author / / ProgrammingLanguage Prolog / Java / C / C++ / / TVStation WCET / / Technology RAM / symbolic computation algorithms / Java Processor / pattern-based recurrence solving algorithm / r-TuBound implements algorithms / / URL www.complang.tuwien.ac.at/jakob/tubound / http /
SocialTag |