5757 search results - page 293 / 1152 » Dynamic Policy Programming |
171
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...
141
click to vote
MICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
A slipstream processor reduces the length of a running program by dynamically skipping computation non-essential for correct forward progress. The shortened program runs faster as...
184
click to vote
DYNAMO
2000
15 years 8 months ago
2000
Dynamic binary translation is the process of translating and optimizing executable code for one machine to another at runtime, while the program is "executing" on the ta...
179
click to vote
WABI
2005
Springer
16 years 3 days ago
2005
Springer
Multiple Sequence Alignment (MSA) is one of the most fundamental problems in computational molecular biology. The running time of the best known scheme for finding an optimal ali...
171
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract-- This paper studies the stabilizability of an ndimensional quantized feedforward nonlinear system. The state of that system is first quantized into a finite number of bit...