1658 search results - page 57 / 332 » Implementing Bit-addressing with Specialization |
ICFP
2003
ACM
14 years 8 months ago
2003
ACM
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...
EUROCAST
2009
Springer
14 years 3 months ago
2009
Springer
Model-based testing generates test cases from a high-level model. Current models employ extensions to finite-state machines. This work proposes a separation of transitions in the ...
ISSAC
1997
Springer
14 years 26 days ago
1997
Springer
A class of de nite integrals involving cyclotomicpolynomials and nested logarithms is considered. The results are given in terms of derivatives of the Hurwitz Zeta function. Some s...
CAV
2008
Springer
13 years 10 months ago
2008
Springer
This is the first system description of the Barcelogic SMT solver, which implements all techniques that our group has been developing over the last four years as well as state-of-t...
LEGE
2003
13 years 10 months ago
2003
The paper discusses technical issues related to establishment of e-learning services on a grid. The XML based technology for implementation of e_learning application in the form o...