8118 search results - page 1 / 1624 » The Newton Application Architecture |
COMPCON
1994
IEEE
13 years 8 months ago
1994
IEEE
The application architecture of Newton, a technology for supporting Personal Digital Assistants (PDAs), is described. It combines a dynamic, object-oriented language called Newton...
DAC
2000
ACM
14 years 5 months ago
2000
ACM
ASPDAC
2000
ACM
13 years 9 months ago
2000
ACM
— Given the recent wave of innovation and diversification in digital signal processor (DSP) architecture, the need for quickly evaluating the true potential of considered archite...
SIAMJO
2010
13 years 2 months ago
2010
Abstract. We present a new “lifting” approach for the solution of nonlinear optimization problems (NLPs) that have objective and constraint functions with intermediate variable...
CADE
1998
Springer
13 years 8 months ago
1998
Springer
Abstract. The theorem prover Isabelle is used to formalise and reproduce some of the styles of reasoning used by Newton in his Principia. The Principia's reasoning is resolute...