3653 search results - page 290 / 731 » On Recognizable Timed Languages |
213
click to vote
LICS
2005
IEEE
16 years 14 days ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
210
click to vote
ITICSE
2005
ACM
16 years 14 days ago
2005
ACM
The complexity of languages like Java and C++ can make introductory programming classes in these languages extremely challenging for many students. Part of the complexity comes fr...
195
click to vote
CEFP
2005
Springer
16 years 13 days ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
176
click to vote
DOCENG
2004
ACM
16 years 10 days ago
2004
ACM
In this paper, we discuss how to present the result of searching elements of any type from XML documents relevant to some information need (relevance-oriented search). As the resu...
181
click to vote
PLDI
2004
ACM
16 years 9 days ago
2004
ACM
Graph-coloring register allocation is an elegant and extremely popular optimization for modern machines. But as currently formulated, it does not handle two characteristics common...