2467 search results - page 420 / 494 » Finite State Machines |
139
click to vote
HPCA
2004
IEEE
16 years 6 months ago
2004
IEEE
For highest performance, a modern microprocessor must be able to determine if an instruction is ready in the same cycle in which it is to be selected for execution. This creates a...
272
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
173
click to vote
OSDI
2002
ACM
16 years 6 months ago
2002
ACM
We have created Zap, a novel system for transparent migration of legacy and networked applications. Zap provides a thin virtualization layer on top of the operating system that in...
124
click to vote
ICIAP
2003
ACM
16 years 5 months ago
2003
ACM
In this paper we present a statistical learning scheme for image classification based on a mixture of old fashioned ideas and state of the art learning tools. We represent input i...
140
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
Software libraries rely increasingly on iterators to provide generic traversal of data structures. These iterators can be represented either as objects that maintain state or as p...