Sciweavers

12032 search results - page 639 / 2407
» Simulation of Manufacturing Systems
Sort
View
FM
2008
Springer
127views Formal Methods» more  FM 2008»
15 years 9 months ago
A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS
TLM (Transaction-Level Modeling) was introduced to cope with the increasing complexity of Systems-on-Chip designs by raising the modeling level. Currently, TLM is primarily used fo...
Olivier Ponsini, Wendelin Serwe
TWC
2010
15 years 2 months ago
Beamforming in MISO Systems: Empirical Results and EVM-Based Analysis
We present an analytical, simulation, and experimental-based study of beamforming Multiple Input Single Output (MISO) systems. We analyze the performance of beamforming MISO syste...
Melissa Duarte, Ashutosh Sabharwal, Chris Dick, Ra...
AADEBUG
2005
Springer
16 years 28 days ago
An integrated debugging environment for reprogrammble hardware systems
Reprogrammable hardware systems are traditionally very difficult to debug due to their high level of parallelism. In our solution to this problem, features are inserted into the u...
Kevin Camera, Hayden Kwok-Hay So, Robert W. Broder...
NPC
2005
Springer
16 years 26 days ago
A Resource-Based Server Performance Control for Grid Computing Systems
With the rapid advances in Internet and Grid technique, an increasing number of applications will involve computing systems. These applications in turn create an increasing demand ...
Naixue Xiong, Xavier Défago, Yanxiang He, Y...
ISAS
2004
Springer
16 years 23 days ago
A Modular Approach for Model-Based Dependability Evaluation of a Class of Systems
Analytical and simulative modeling for dependability and performance evaluation has been proven to be a useful and versatile approach in all the phases of the system life cycle. I...
Stefano Porcarelli, Felicita Di Giandomenico, Paol...