4693 search results - page 636 / 939 » Verifying Hybrid Systems |
144
click to vote
HT
2004
ACM
16 years 5 days ago
2004
ACM
The SMIL 2.0 Language profile support several mechanisms for controlling interactivity in a SMIL 2.0 presentation. Unfortunately, the SMIL standard testset does not verify complex...
156
click to vote
SAC
2004
ACM
16 years 5 days ago
2004
ACM
Field-based coordination is a very promising approach for a wide range of application scenarios in modern dynamic networks. To implement such an approach, one can rely on distribu...
155
Voted
ATVA
2004
Springer
16 years 4 days ago
2004
Springer
Many circuit designs need to follow some temporal rules. However, it is hard to express and verify them in the past. Therefore, a temporal assertion extension to Verilog, called Te...
191
click to vote
CC
2004
Springer
16 years 4 days ago
2004
Springer
When a compiler translates a procedure, it must lay out the procedure’s stack frame in a way that respects the calling convention. Many compilers respect the convention either by...
179
click to vote
CP
2004
Springer
16 years 4 days ago
2004
Springer
The paper introduces value precedence on integer and set sequences. A useful application of the notion is in breaking symmetries of indistinguishable values, an important class of ...