3431 search results - page 65 / 687 » A new instructional operating system |
ARITH
2001
IEEE
14 years 24 days ago
2001
IEEE
The Instruction Set Architecture (ISA) of a programmable processor is the native languageof the machine. It defines the set of operations and resourcesthat are optimized for that ...
APAL
2007
13 years 9 months ago
2007
We study OST and some of its most important extensions primarily from a proof-theoretic perspective, determine their consistency strengths by exhibiting equivalent systems in the ...
USENIX
2001
13 years 10 months ago
2001
Nickle is a vaguely C-like programming language for numerical applications, useful both as a desk calculator and as a prototyping and implementation language for numerical and sem...
AUTOMATICA
2002
13 years 9 months ago
2002
This paper addresses the issue of state-space realizations for nonlinear adjoint operators. In particular, the relationships between nonlinear Hilbert adjoint operators, Hamiltoni...
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
What is the impact of operational (i.e. nonstrategic) IT business alignment on IT usage? Using case studies in three branches of a retail bank employing identical information syst...