Sciweavers

5744 search results - page 197 / 1149
» System level design, a VHDL based approach
Sort
View
HICSS
2008
IEEE
113views Biometrics» more  HICSS 2008»
16 years 28 days ago
Development and Validation of Scales to Measure the Strategic Potential of IT-Enabled Resources: A Resource-Based Approach
This paper describes the development of reliable and valid scales for assessing the strategic potential of IT-enabled resources. Following to the resource-based view of the firm (...
Saggi Nevo, Michael R. Wade
ETFA
2008
IEEE
16 years 28 days ago
Component based colored Petri net model for Ethernet based networked control systems
This paper presents a novel colored Petri net model for the simulation of fully-switched Ethernet based networked control systems (NCS). The model of the NCS is built from models ...
Abouelabbas Ghanaim, Georg Frey
SPIN
2004
Springer
15 years 11 months ago
Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
Peter Leven, Tilman Mehler, Stefan Edelkamp
WSC
2000
15 years 7 months ago
An integrated object model for activity network based simulation
This paper describes an object-orientated simulation approach towards an integrated planning of production systems. The main obstacle for an integrated use of simulation over diff...
Gert Zülch, Jörg Fischer, Uwe Jonsson
ISVLSI
2007
IEEE
107views VLSI» more  ISVLSI 2007»
16 years 23 days ago
A Hash-based Approach for Functional Regularity Extraction During Logic Synthesis
Performance, power, and functionality, yield and manufacturability are rapidly becoming additional critical factors that must be considered at higher levels of ion. A possible sol...
Angelo P. E. Rosiello, Fabrizio Ferrandi, Davide P...