64 search results - page 3 / 13 » First-Order Universality for Real Programs |
DAC
2002
ACM
14 years 6 months ago
2002
ACM
In the last decade, instruction-set simulators have become an essential development tool for the design of new programmable architectures. Consequently, the simulator performance ...
CADE
2009
Springer
14 years 6 months ago
2009
Springer
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
SAS
1992
Springer
13 years 9 months ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
ICRA
2006
IEEE
13 years 11 months ago
2006
IEEE
— The Mobile Robot Programming Laboratory course has been taught at Carnegie Mellon University for the past twelve years. It is a problem-driven class designed for students with ...
ISCAPDCS
2004
13 years 6 months ago
2004
This paper describes a collaboration among computer scientists, dancers, and musicians on a production entitled "Fibonacci and Phi." Thematically, the production explore...