2106 search results - page 96 / 422 » Specifying C concepts |
HYBRID
2009
Springer
14 years 1 months ago
2009
Springer
MetiTarski, an automatic proof procedure for inequalities on elementary functions, can be used to verify control and hybrid systems. We perform a stability analysis of control syst...
CSFW
2004
IEEE
14 years 1 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
ASPDAC
2001
ACM
14 years 1 months ago
2001
ACM
This paper describes a novel approach to high-level synthesis of complex pipelined circuits, including pipelined circuits with feedback. This approach combines a high-level, modula...
WSC
2004
13 years 11 months ago
2004
We describe a characterization the three classical world views of event scheduling, activity scanning, and process interaction and discuss transformations among them. We believe t...
ATMN
1997
13 years 11 months ago
1997
ABR was standardised by the ATM Forum in 1996 . Source, destination and switch behaviours were specified. However, a lot of freedom was left to the switch manufacturers to impleme...