670 search results - page 43 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
TCS
1998
15 years 5 days ago
1998
We consider a model of analog computation which can recognize various languages in real time. We encode an input word as a point in Rd by composing iterated maps, and then apply i...
85
Voted
LMCS
2007
15 years 12 days ago
2007
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...
105
click to vote
ENTCS
2006
15 years 16 days ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
109
click to vote
ICCAD
2000
IEEE
15 years 5 months ago
2000
IEEE
Most hardware description frameworks, whether schematic or textual, use cooperating finite state machines (CFSM) as the underlying abstraction. In the CFSM framework, a designer ...
145
click to vote
SDM
2011
SIAM
14 years 3 months ago
2011
SIAM
This paper describes one of the first attempts to model the temporal structure of massive data streams in real-time using data stream clustering. Recently, many data stream clust...