Sciweavers

9018 search results - page 1115 / 1804
» 3D-Brain Model Software
Sort
View
FORMATS
2008
Springer
15 years 9 months ago
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded pla...
Jirí Srba
CAD
2005
Springer
15 years 7 months ago
Bio-CAD
CAD has been traditionally used to assist in engineering design and modeling for representation, analysis and manufacturing. Advances in Information Technology and in Biomedicine ...
Wei Sun
DATE
2010
IEEE
183views Hardware» more  DATE 2010»
15 years 6 months ago
Toward optimized code generation through model-based optimization
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
Asma Charfi, Chokri Mraidha, Sébastien G&ea...
ASPDAC
2010
ACM
233views Hardware» more  ASPDAC 2010»
15 years 5 months ago
Computer-aided recoding for multi-core systems
- The design of embedded computing systems faces a serious productivity gap due to the increasing complexity of their hardware and software components. One solution to address this...
Rainer Dömer
ECOOPW
2008
Springer
15 years 9 months ago
Equation-Based Object-Oriented Languages and Tools
EOOLT'2007 was the first edition of the ECOOP-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) mode...
Peter Fritzson, David Broman, François Cell...
« Prev « First page 1115 / 1804 Last » Next »