3653 search results - page 276 / 731 » On Recognizable Timed Languages |
174
click to vote
DATE
2005
IEEE
16 years 28 days ago
2005
IEEE
This paper presents the methodology and the modeling constructs we have developed to capture the real time aspects of RTOS simulation models in a System Level Design Language (SLD...
229
click to vote
ICALP
2003
Springer
16 years 15 days ago
2003
Springer
Abstract. We present an expected polynomial time algorithm to generate a labeled planar graph uniformly at random. To generate the planar graphs, we derive recurrence formulas that...
156
click to vote
CCS
1997
ACM
15 years 11 months ago
1997
ACM
Dynamic linking is a requirement for portable executable content. Executable content cannot know, ahead of time, where it is going to be executed, nor know the proper operating sy...
171
click to vote
FOCS
1989
IEEE
15 years 11 months ago
1989
IEEE
We introduce a temporal logic for the speci cation of real-time systems. Our logic, TPTL, employs a novel quanti er construct for referencing time: the freeze quanti er binds a var...
181
click to vote
ICFCA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The Galois Sub-hierarchy (GSH) is a polynomial-size representation of a concept lattice which has been applied to several fields, such as software engineering and linguis...