118 results on '"Kenichi Taniguchi"'
Search Results
2. An Autonomous and Decentralized Protocol for Delay Sensitive Overlay Multicast Tree.
3. On designing end-user multicast for multiple video sources.
4. A Receiver Coordination Protocol for the Efficient Use of Bandwidth in Distributed Multimedia Applications.
5. Reducing the Size of Routing Tables for Large-scale Network Simulation.
6. A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels.
7. A Selection Technique for Replicated Multicast Video Servers.
8. Extension of SMIL with QoS Control and its Implementation.
9. Hardware implementation of Concurrent Periodic EFSM's.
10. Fast and Optimal Multicast-Server Selection Based on Receivers' Preference.
11. Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization.
12. Receiver-Cooperative Bandwidth Management for Layered Multicast.
13. Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness.
14. Generating Test Cases for a Timed I/O Automaton Model.
15. Formal Design Verification for Correctness of Pipelined Microprocessors with Out-of-order Instruction Execution.
16. Hardware synthesis from protocol specifications in LOTOS.
17. Protocol Synthesis from Context-Free Processes Using Event Structures.
18. Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks.
19. Protocol Synthesis from Time Petri Net Based Service Specification.
20. Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence.
21. Symbolic model checking of extended finite state machines with linear constraints over integer variables.
22. A LOTOS Compiler Generating Multi-threaded Object Codes.
23. Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers.
24. Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers.
25. Protocol visualization using LOTOS multi-rendezvous mechanism.
26. Software Process Description Using LOTOS and Its Enaction.
27. Hardware synthesis from a restricted class of LOTOS expressions.
28. Automatic Correctness Proof of the Implementation of Synchronous Sequential Circuits Using an Algebraic Approach.
29. LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic.
30. Deriving Protocol Specifications from Service Specifications in Extended FSM Models.
31. Formal Verification of CPU in Laboratory Work.
32. VTM: A Graph Editor for Large Trees.
33. Test System for a Restricted Class of LOTOS Expressions with Data Parameters.
34. An Algebraic Method For Verifying Progress Property of Communication Protocols.
35. On Operational Semantics of Congruence Relation Defined in Algebraic Language ASL/.
36. A compiler to implement LOTOS specifications in distributed environments.
37. Proof method for correctness of refinements of algebraic specification in abstract sequential machine style.
38. A graph editor for large trees with browsing and zooming capabilities.
39. ASL program written in abstract sequential machine style and its compiler.
40. A Support System for Constructing Rule Base for Speech Synthesis by Rule. Automatic Extraction of Synthesis Rules.
41. Resource Management for Quality of Service Guarantees in Multi-Party Multimedia Application.
42. Protocol synthesis from timed and structured specifications.
43. Alkylated Trihydroxyacetophenone as a MALDI Matrix for Hydrophobic Peptides
44. Automated Verification of Equivalence of Protocol Machines.
45. On equivalence of safe Petri nets.
46. A Result on the Equivalence Problem for Deterministic Pushdown Automata.
47. Verification of progress property of algebraically specified communication protocols.
48. Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol.
49. Decision problem concerning security for cryptographic protocols.
50. Optimization of functional language ASL/F programs.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.