1705 search results - page 127 / 341 » Representing Constraints with Automata |
139
click to vote
ISLPED
2010
ACM
15 years 4 months ago
2010
ACM
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...
135
click to vote
JCST
2008
15 years 4 months ago
2008
Transformational approaches to generating design and implementation models from requirements can bring effectiveness and quality to software development. In this paper we present a...
168
click to vote
ITA
2007
15 years 4 months ago
2007
Abstract. Various static analyses of functional programming languages that permit infinite data structures make use of set constants like Top, Inf, and Bot, denoting all terms, al...
156
click to vote
ADC
2003
Springer
15 years 9 months ago
2003
Springer
Much work on XML data was around storage and querying and did not consider constraints of XML, especially keys. Since constraints have been proposed in many papers for XML, much r...
100
click to vote
WEBI
2009
Springer
15 years 11 months ago
2009
Springer
—This paper presents an empirical study to investigate the maximum benefits that web users can expect from prefetching techniques in the current web. To this end a perfect web p...