3814 search results - page 624 / 763 » YAPI: application modeling for signal processing systems |
130
click to vote
STTT
1998
15 years 4 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
160
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
Buffered CoScheduled (BCS) MPI is a novel implementation of MPI based on global synchronization of all system activities. BCS-MPI imposes a model where all processes and their com...
134
click to vote
ICIP
1999
IEEE
16 years 6 months ago
1999
IEEE
This paper presents a method to generate dynamic shading of image-based objects without geometric models. Since conventional rendering techniques cannot be used to render the shad...
135
click to vote
ENTCS
2007
15 years 4 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
178
click to vote
NLPRS
2001
Springer
15 years 8 months ago
2001
Springer
Named Entity recognition, as a task of providing important semantic information, is a critical first step in Information Extraction and QuestionAnswering system. This paper propos...