Sciweavers

7580 search results - page 102 / 1516
» Prometheus design tool
Sort
View
99
Voted
DSD
2002
IEEE
86views Hardware» more  DSD 2002»
15 years 8 months ago
Using Formal Tools to Study Complex Circuits Behaviour
We use a formal tool to extract Finite State Machines (FSM) based representations (lists of states and transitions) of sequential circuits described by flip-flops and gates. The...
Paul Amblard, Fabienne Lagnier, Michel Lévy
169
Voted
GI
1994
Springer
15 years 7 months ago
Tool-Based Business Process Modeling Using the SOM Approach
Business processes play an important role in analyzing and designing a company's behaviour and organization. Modeling business processes is an integral part of the Semantic O...
Otto K. Ferstl, Elmar J. Sinz, Michael Amberg, Udo...
133
Voted
ECOOPW
1998
Springer
15 years 7 months ago
Evaluating OO-CASE Tools: OO Research Meets Practice
Current object-oriented CASE tools are useful for recording and gaining insight into OO models. They offer extensive support for especially the analysis and design of object-orien...
Danny Greefhorst, Mark van Elswijk, Mattijs Maat, ...
93
Voted
DAC
1999
ACM
16 years 4 months ago
A CAD Tool for Optical MEMS
Timothy P. Kurzweg, Steven P. Levitan, Philippe J....
DAC
2002
ACM
16 years 4 months ago
Tools or users: which is the bigger bottleneck?
Andrew B. Kahng, Ronald Collett, Patrick Groenevel...