Sciweavers

3724 search results - page 502 / 745
» Timed regular expressions
Sort
View
IJCNN
2000
IEEE
15 years 11 months ago
Hardware Implementation of a PCA Learning Network by an Asynchronous PDM Digital Circuit
We have fabricated a PCA (Principal Component Analysis) learning network in a FPGA (Field Programmable Gate Array) by using an asynchronous PDM (Pulse Density Modulation) digital ...
Yuzo Hirai, Kuninori Nishizawa
HASE
1999
IEEE
15 years 11 months ago
Model Checking UML Statechart Diagrams Using JACK
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
Stefania Gnesi, Diego Latella, Mieke Massink
IPPS
1997
IEEE
15 years 11 months ago
Distributed Submesh Determination in Faulty Tori and Meshes
Torus/mesh-based machines have received increasing attention. It is natural to identify the maximum healthy submeshes in a faulty torus/mesh so as to lower potential performance d...
Hsing-Lung Chen, Shu-Hua Hu
SRDS
1997
IEEE
15 years 10 months ago
Software Approach to Hazard Detection Using On-line Analysis of Safety Constraints
Hazard situations in safety-critical systems are typically complex, so there is a need for means to detect complex hazards and react in a timely and meaningful way. This paper add...
Beth A. Schroeder, Karsten Schwan, Sudhir Aggarwal
ELPUB
1997
ACM
15 years 10 months ago
Generic Hypermedia Structure and Presentation Specification
We consider the generic hypermedia structure of a document to be a means of representing the document that allows it to be processed into a wide variety of presentations. Represen...
Lloyd Rutledge, Jacco van Ossenbruggen, Lynda Hard...