1548 search results - page 256 / 310 » Integration of Simulation with Enterprise Models |
DAC
2010
ACM
13 years 8 months ago
2010
ACM
As high-level models in C and SystemC are increasingly used for verification and even design (through high-level synthesis) of electronic systems, there is a growing need for com...
ICALP
1989
Springer
14 years 2 months ago
1989
Springer
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
ENTCS
2006
13 years 10 months ago
2006
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
ICCV
2007
IEEE
14 years 12 months ago
2007
IEEE
Traditional image mosaicing usually relies on rigid image transformations. In many medical applications, however, tissue deformation during image acquisition or 3D parallax effect...
IPMI
2003
Springer
14 years 10 months ago
2003
Springer
Abstract. The forward M/EEG problem consists in simulating the electric potential and the magnetic field produced outside the head by currents in the brain related to neural activi...