2632 search results - page 128 / 527 » Alternating Timed Automata |
175
Voted
CONCUR
1998
Springer
15 years 7 months ago
1998
Springer
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
108
Voted
CHARME
2003
Springer
15 years 7 months ago
2003
Springer
Industrial verification teams are actively developing suitable event sequence languages for hardware verification. Such languages must be expressive, designer friendly, and hardwar...
114
click to vote
ICGI
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we extend the PAC learning algorithm due to Clark and Thollard for learning distributions generated by PDFA to automata whose transitions may take varying time length...
138
click to vote
AVI
2004
15 years 4 months ago
2004
Rapid Serial Visual Presentation (RSVP) is a technique that allows images to be presented sequentially in the time-domain, thereby offering an alternative to the conventional conc...
134
click to vote
ACSD
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...