Sciweavers

9018 search results - page 1709 / 1804
» 3D-Brain Model Software
Sort
View
STTT
1998
130views more  STTT 1998»
15 years 24 days ago
The Practitioner's Guide to Coloured Petri Nets
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
Lars Michael Kristensen, Søren Christensen,...
110
Voted
TCAD
2002
146views more  TCAD 2002»
15 years 23 days ago
Static scheduling of multidomain circuits for fast functional verification
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...
Murali Kudlugi, Russell Tessier
TROB
2002
91views more  TROB 2002»
15 years 23 days ago
Time-domain passivity control of haptic interfaces
A patent pending, energy based, method is presented for controlling a haptic interface system to ensure stable contract under a wide variety of operating conditions. System stabil...
Blake Hannaford, Jee-Hwan Ryu
93
Voted
MR
2007
157views Robotics» more  MR 2007»
15 years 19 days ago
Electronic prognostics - A case study using global positioning system (GPS)
– Prognostic health management (PHM) of electronic systems presents challenges traditionally viewed as either insurmountable or otherwise not worth the cost of pursuit. Recent ch...
Douglas W. Brown, Patrick W. Kalgren, Carl S. Byin...
SAC
2008
ACM
15 years 18 days ago
A lifecycle approach to SOA governance
Due to the distributed nature of Service-Oriented Architectures (SOA), maintaining control in a SOA environment becomes more difficult as services spread over different lines-of-b...
T. G. J. Schepers, Maria-Eugenia Iacob, Pascal van...
« Prev « First page 1709 / 1804 Last » Next »