1329 search results - page 106 / 266 » Constraint-based model synthesis |
123
click to vote
FMICS
2007
Springer
15 years 10 months ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
156
click to vote
RTCSA
2006
IEEE
15 years 10 months ago
2006
IEEE
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
149
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
Inspired by computational linguistic approaches to annotate the structures that occur in human dialogue, this paper describes a technique which encodes these structures as transfo...
151
click to vote
TCAD
2002
15 years 4 months ago
2002
Chemical-mechanical polishing (CMP) and other manufacturing steps in very deep submicron VLSI have varying effects on device and interconnect features, depending on local character...
164
click to vote
ICMCS
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper proposes a video coding scheme, in which textural and structural regions are selectively removed in the encoder, and restored in the decoder by spatio-temporal texture ...