Sciweavers

1992 search results - page 19 / 399
» Memory modeling for system synthesis
Sort
View
ICRA
2003
IEEE
147views Robotics» more  ICRA 2003»
15 years 3 months ago
Modular petri net based modeling, analysis and synthesis of dedicated production systems
−−−− Ordinary t-timed Petri Nets are used for modeling, analysis and synthesis of random topology production systems and networks. Each production system is first decompose...
George J. Tsinarakis, Kimon P. Valavanis, Nikos Ts...
SIGSOFT
2004
ACM
15 years 10 months ago
System architecture: the context for scenario-based model synthesis
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...
Jeff Kramer, Jeff Magee, Robert Chatley, Sebasti&a...
ICCAD
2002
IEEE
117views Hardware» more  ICCAD 2002»
15 years 6 months ago
An energy-conscious algorithm for memory port allocation
Multiport memories are extensively used in modern system designs because of the performance advantages they offer. The increased memory access throughput could lead to significan...
Preeti Ranjan Panda, Lakshmikantam Chitturi
FMSD
2006
183views more  FMSD 2006»
14 years 9 months ago
An algebraic theory for behavioral modeling and protocol synthesis in system design
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...
Jean-Pierre Talpin, Paul Le Guernic
ICIAP
1997
ACM
15 years 2 months ago
Image Analysis and Synthesis Using Physics-Based Modeling for Pearl Quality Evaluation System
Analysis by image synthesis using CG has attracted wide attention in machine vision. This paper proposes a method ofmodeling and synthesizingpearls thatwillbe thecentraltechniqueof...
Noriko Nagata, Toshimasa Dobashi, Yoshitsugu Manab...