385 search results - page 66 / 77 » Symbolic Controller Synthesis for Discrete and Timed Systems |
WSC
2007
13 years 10 months ago
2007
Agility, speed and flexibility in production networks are required in today's global competition in the flat world. The accuracy of order date delivery promises is a key elem...
ASPDAC
1998
ACM
13 years 12 months ago
1998
ACM
Functional debugging often dominates the time and cost of the ASIC system development, mainly due to the limited controllability and observability of the storage elements in desig...
RSP
2000
IEEE
13 years 12 months ago
2000
IEEE
Dataflow programming has proven to be popular for representing applications in rapid prototyping tools for digital signal processing (DSP); however, existing dataflow design tools...
TJS
2002
13 years 7 months ago
2002
The formulation, implementation and performance of a new fully implicit parallel model of the ocean circulation is presented. Within this model, steady states can be traced in one ...
SIGPRO
2002
13 years 7 months ago
2002
With the advancement of computer graphics in the recent years, an increasing number of pictures, video and 3D content is generated by synthesis processing rather than acquired wit...