7580 search results - page 105 / 1516 » Prometheus design tool |
119
Voted
ECRTS
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...
124
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
As levels of parallelism are becoming increasingly complex in multiprocessor architectures, GALS, and asynchronous circuits, methodologies and software tools are needed to verify ...
138
Voted
IWPC
2003
IEEE
15 years 9 months ago
2003
IEEE
We detect design patterns in legacy code combining static and dynamic analyses. The analyses do not depend on coding or naming conventions. We classify potential pattern instances...
112
click to vote
WISES
2003
15 years 5 months ago
2003
Abstract — This paper presents the design and implementation of a system applicable for autonomous repair welding on huge forming tools, often realized as blacksmith’s swages. ...
151
Voted
ISCAICIS
2000
15 years 5 months ago
2000
The World Wide Web (Web) offers a large potential for delivery of various information-based services, including the services of intelligent applications. As access to the Web has ...