82 results on '"Lavagno, Luciano"'
Search Results
2. HLS Algorithmic Explorations for HPC Execution on Reconfigurable Hardware - ECOSCALE
3. Wireless Sensor Networks
4. High-Level Internet of Things Applications Development Using Wireless Sensor Networks
5. UML and Platform-based Design
6. Deriving Signal Transition Graphs from Behavioral Verilog HDL
7. Design Examples
8. Verification
9. Interface Synthesis and the Real-Time Operating System
10. Interfacing to External Hardware and Software
11. Synthesis
12. Introduction
13. Models and Representations
14. SoftContract: Model-Based Design of Error-Checking Code and Property Monitors
15. Design Flow for a Reconfigurable Processor : Implementation of a Turbo-decoder
16. Previous Work
17. The Design For Testability Methodology
18. The Synthesis Methodology
19. The State Encoding Methodology
20. Overview of the Design Methodology
21. The Signal Transition Graph Model
22. Introduction
23. Embedded System Design using UML and Platforms
24. Asynchronous Control Circuits
25. Quasi-Static Scheduling of Independent Tasks for Reactive Systems
26. Modeling and Designing Heterogeneous Systems
27. ECL: A Specification Environment for System-Level Design
28. Hardware and Petri Nets Application to Asynchronous Circuit Design
29. Formal Models for Communication-Based Design
30. Models of Computation for System Design
31. Models and Methods for HW/SW Intellectual Property Interfacing
32. Models of Computation for Embedded System Design
33. Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets
34. Coupling asynchrony and interrupts: Place Chart Nets
35. Embedded System Co-Design : Synthesis and Verification
36. Conclusions
37. OR causality: Modelling and hardware implementation
38. Conclusions and Future Work
39. Fine Grained Patterns for Real-Time Systems
40. Modeling Quality of Service with UML : How quantity changes quality
41. Architectural Patterns for Real-Time Systems : Using UML as an Architectural Description Language
42. UML for Hardware and Software Object Modeling
43. Message Sequence Charts
44. Models, Software Models and UML
45. UML for Real-Time : Which native concepts to use?
46. Software Performance Engineering
47. Structural Modeling with UML 2.0 : Classes, Interactions and State Machines
48. Schedulability Analysis with UML
49. Automotive UML : A (Meta) Model-Based Approach for Systems Development
50. Specifying Telecommunications Systems with UML
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.