4480 search results - page 457 / 896 » Prototyping Completion with Constraints Using Computational ... |
164
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we prove that the transitive closure of a nondeterministic octagonal relation using integer counters can be expressed in Presburger arithmetic. The direct c...
122
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes an agent system we have built to handle order entry and management issue in business computing and specialized in the telecommunication domain. Our system is ...
239
click to vote
ACMSE
2011
ACM
14 years 6 months ago
2011
ACM
This paper describes the adaptation of a modern compiler construction course to target an FPGA-based hardware platform used throughout our computer science curriculum. One of the ...
193
click to vote
ISCA
2000
IEEE
15 years 11 months ago
2000
IEEE
The microprocessor industry is currently struggling with higher development costs and longer design times that arise from exceedingly complex processors that are pushing the limit...
218
click to vote
MM
2005
ACM
16 years 11 days ago
2005
ACM
This work achieves full registration of scenes in a large area and creates visual indexes for visualization in a digital city. We explore effective mapping, indexing, and display ...