Sciweavers

1466 search results - page 70 / 294
» Efficient Simulation of Synthesis-Oriented System Level Desi...
Sort
View
128
Voted
IPPS
2007
IEEE
15 years 11 months ago
Using an FPGA for Fast Bit Accurate SoC Simulation
In this paper we describe a sequential simulation method to simulate large parallel homo- and heterogeneous systems on a single FPGA. The method is applicable for parallel systems...
Pascal T. Wolkotte, Philip K. F. Hölzenspies,...
HASE
2008
IEEE
15 years 5 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
163
Voted
ICSE
2009
IEEE-ACM
15 years 3 months ago
Towards an assume-guarantee theory for adaptable systems
Modern software systems should be more and more designed with adaptation and run-time evolution in mind. But even with good reactions to changes, the triggered adaptation should b...
Paola Inverardi, Patrizio Pelliccione, Massimo Tiv...
174
Voted
INTERSPEECH
2010
15 years 5 days ago
Combining user intention and error modeling for statistical dialog simulators
Statistical user simulation is an efficient and effective way to train and evaluate the performance of a (spoken) dialog system. In this paper, we design and evaluate a modular da...
Silvia Quarteroni, Meritxell González, Gius...
ESWA
2010
105views more  ESWA 2010»
15 years 2 months ago
A numerical comparison between simulated annealing and evolutionary approaches to the cell formation problem
The Cell Formation Problem is a crucial component of a cell production design in a manufacturing system. This problem consists of a set of product parts to be manufactured in a gr...
Andres Pailla, Athila R. Trindade, Victor Parada, ...