4480 search results - page 93 / 896 » Prototyping Completion with Constraints Using Computational ... |
96
Voted
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
We present a technique to prove termination of multipath polynomial programs, an expressive class of loops that enables practical traction and analysis. The technique is based on ï...
115
Voted
ASSETS
2000
ACM
15 years 8 months ago
2000
ACM
This paper reports on a tool for assisting students with visual disabilities in learning how to program. The tool is meant to be used by computer science majors learning the progr...
100
click to vote
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
In this paper we investigate how to scale a content based image retrieval approach beyond the RAM limits of a single computer and to make use of its hard drive to store the featur...
102
click to vote
ISCAS
1999
IEEE
15 years 8 months ago
1999
IEEE
Modem computer and communication system design has to consider the timing constraints imposed by communication and system pipelines, and minimize the energy consumption. We adopt ...
99
Voted
CODES
2002
IEEE
15 years 8 months ago
2002
IEEE
Design for performance-optimization of programmable, semicustom SoCs requires the ability to model and optimize the behavior of the system as a whole. Neither the hardware-testben...