Sciweavers

13913 search results - page 135 / 2783
» models 2007
Sort
View
ASPDAC
2007
ACM
82views Hardware» more  ASPDAC 2007»
15 years 10 months ago
Abstract, Multifaceted Modeling of Embedded Processors for System Level Design
Gunar Schirner, Andreas Gerstlauer, Rainer Dö...
ASPDAC
2007
ACM
101views Hardware» more  ASPDAC 2007»
15 years 10 months ago
Modeling the Overshooting Effect for CMOS Inverter in Nanometer Technologies
Zhangcai Huang, Hong Yu, Atsushi Kurokawa, Yasuaki...
ATVA
2007
Springer
98views Hardware» more  ATVA 2007»
15 years 10 months ago
Model Checking Bounded Prioritized Time Petri Nets
Bernard Berthomieu, Florent Peres, François...
126
Voted
BPM
2007
Springer
143views Business» more  BPM 2007»
15 years 10 months ago
A Vocabulary and Execution Model for Declarative Service Orchestration
Stijn Goedertier, Jan Vanthienen