Sciweavers

1069 search results - page 120 / 214
» Automatic Generation of Language-based Tools
Sort
View
WSCG
2003
338views more  WSCG 2003»
15 years 1 months ago
Visualization of Stock Market Charts
With this work in progress we propose a visualization system for stock market charts. Insight into stock charts is important in technical stock market analysis where exclusively t...
Kresimir Simunic
WSC
1997
15 years 1 months ago
Integration of Simulation with Enterprise Models
The Enterprise Modeling Framework (EMF) consists of a methodology for modeling the three major facets of an enterprise, viz., function, information and dynamics. Its main goal is ...
Krishnamurthy Srinivasan, Sundaresan Jayaraman
DT
2000
162views more  DT 2000»
14 years 11 months ago
RT-Level ITC'99 Benchmarks and First ATPG Results
Effective high-level ATPG tools are increasingly needed, as an essential element in the quest for reducing as much as possible the designer work on gate-level descriptions. We pro...
Fulvio Corno, Matteo Sonza Reorda, Giovanni Squill...
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
16 years 7 days ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng
ICSE
2004
IEEE-ACM
15 years 12 months ago
Verifying DAML+OIL and Beyond in Z/EVES
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H....