307 search results - page 57 / 62 » Towards Integrated Verification of Timed Transition Models |
DDEP
2000
Springer
14 years 2 days ago
2000
Springer
As mobile computing becomes widespread, so will the need for digital document delivery by hypertextual means. A further trend will be the provision of the ability for devices to de...
ECIS
2003
13 years 9 months ago
2003
This paper describes a web-based system that integrates knowledge management and decision-making features to enable short-term communities of practice develop manufacturing strate...
DAC
2008
ACM
14 years 8 months ago
2008
ACM
The creation of an FPGA requires extensive transistor-level design. This is necessary for both the final design, and during architecture exploration, when many different logic and...
ICCAD
2005
IEEE
14 years 1 months ago
2005
IEEE
— Balanced truncation (BT) model order reduction (MOR) is known for its superior accuracy and computable error bounds. Balanced stochastic truncation (BST) is a particular BT pro...
HICSS
1996
IEEE
13 years 12 months ago
1996
IEEE
The venerable problem solving technique of simulation finds itself inthe midstof a revolution. Where once it was regarded as a "technique of last resort" for systems ana...