Sciweavers

9006 search results - page 1269 / 1802
» Modeling Software
Sort
View
SEKE
2004
Springer
16 years 16 days ago
Mapping UML Diagrams to a Petri Net Notation for System Simulation
UML statecharts are widely used to specify the dynamic behaviours of systems . To support systematic simulation of such models, we propose an approach to map systems specified usin...
Zhaoxia Hu, Sol M. Shatz
SEKE
2004
Springer
16 years 16 days ago
Application Semiotics Engineering Process
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...
Gang Zhao
ICPP
2000
IEEE
15 years 11 months ago
Issues in Designing and Implementing a Scalable Virtual Interface Architecture
The Virtual Interface Architecture brings the benefits of low latency User-level Networking to a cluster environment. With an increasing number of communication channels created ...
Shailabh Nagar, Anand Sivasubramaniam, Jorge Rodri...
PROPOR
2010
Springer
159views Languages» more  PROPOR 2010»
15 years 10 months ago
An Open-Source Speech Recognizer for Brazilian Portuguese with a Windows Programming Interface
Abstract. This work is part of the effort to develop a speech recognition system for Brazilian Portuguese. The resources for the training and test stages of this system, such as c...
Patrick Silva, Pedro Batista, Nelson Neto, Aldebar...
ASPDAC
2008
ACM
116views Hardware» more  ASPDAC 2008»
15 years 9 months ago
Faster projection based methods for circuit level verification
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates the verification of digital circuits us...
Chao Yan, Mark R. Greenstreet
« Prev « First page 1269 / 1802 Last » Next »