89 results on '"Lavagno, Luciano"'
Search Results
2. Deriving Signal Transition Graphs from Behavioral Verilog HDL
3. Design Examples
4. Verification
5. Interface Synthesis and the Real-Time Operating System
6. Interfacing to External Hardware and Software
7. Synthesis
8. Introduction
9. Models and Representations
10. Design Flow for a Reconfigurable Processor : Implementation of a Turbo-decoder
11. Previous Work
12. The Design For Testability Methodology
13. The Synthesis Methodology
14. The State Encoding Methodology
15. Overview of the Design Methodology
16. The Signal Transition Graph Model
17. Introduction
18. Embedded System Design using UML and Platforms
19. Asynchronous Control Circuits
20. ECL: A Specification Environment for System-Level Design
21. Conclusions
22. Conclusions and Future Work
23. Hardware-Software Co-Design of Embedded Systems
24. Algorithms for Synthesis and Testing of Asynchronous Circuits
25. Automotive UML. A (Meta) Model-Based Approach for Systems Development
26. Fine Grained Patterns for Real-Time Systems
27. Modeling Quality of Service with UML : How quantity changes quality
28. Architectural Patterns for Real-Time Systems : Using UML as an Architectural Description Language
29. UML for Hardware and Software Object Modeling
30. Message Sequence Charts
31. Models, Software Models and UML
32. UML for Real-Time : Which native concepts to use?
33. Software Performance Engineering
34. Structural Modeling with UML 2.0 : Classes, Interactions and State Machines
35. Schedulability Analysis with UML
36. Specifying Telecommunications Systems with UML
37. Leveraging UML to Deliver Correct Telecom Applications
38. Modeling Metric Time
39. Performance Analysis with UML : Layered Queueing Models from the Performance Profile
40. Modelling with Petri Modules
41. Optimal Petri Net Monitor Design
42. Looking for Diamonds
43. Implementation Considerations in Supervisory Control
44. Adaptive Supervisory Control
45. Liveness Enforcing Supervision for Sequential Resource Allocation Systems : State of the Art and Open Issues
46. Live and Maximally Permissive Controller Synthesis Using Theory of Regions
47. Design of Observers/Controllers for Discrete Event Systems Using Petri Nets
48. From Global Specifications to Distributed Implementations
49. Towards Modular Synthesis of Elementary Net Systems
50. STCT: An Efficient Algorithm for Supervisory Control Design
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.