Sciweavers

875 search results - page 37 / 175
» Specification Modules for Methodical System Development
Sort
View
VTS
1999
IEEE
66views Hardware» more  VTS 1999»
15 years 2 months ago
A New Bare Die Test Methodology
1 While multichip module technology has been developed for high performance IC applications, the technology is not widely adopted due to economical reasons. One of the reasons that...
Zao Yang, K.-T. Cheng, K. L. Tai
DAC
2004
ACM
15 years 1 months ago
An SoC design methodology using FPGAs and embedded microprocessors
In System on Chip (SoC) design, growing design complexity has esigners to start designs at higher abstraction levels. This paper proposes an SoC design methodology that makes full...
Nobuyuki Ohba, Kohji Takano
FBT
1998
119views Formal Methods» more  FBT 1998»
14 years 11 months ago
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
Dirk Beyer, Heinrich Rust
IROS
2006
IEEE
109views Robotics» more  IROS 2006»
15 years 3 months ago
SUPERBOT: A Deployable, Multi-Functional, and Modular Self-Reconfigurable Robotic System
– Self-reconfigurable robots are modular robots that can autonomously change their shape and size to meet specific operational demands. Recently, there has been a great interest ...
Behnam Salemi, Mark Moll, Wei-Min Shen
BMCBI
2010
175views more  BMCBI 2010»
14 years 10 months ago
Global parameter estimation methods for stochastic biochemical systems
Background: The importance of stochasticity in cellular processes having low number of molecules has resulted in the development of stochastic models such as chemical master equat...
Suresh Kumar Poovathingal, Rudiyanto Gunawan