Sciweavers

3432 search results - page 294 / 687
» Language as a Complex Adaptive System
Sort
View
136
Voted
ISCAS
2003
IEEE
135views Hardware» more  ISCAS 2003»
15 years 10 months ago
Formal verification of LTL formulas for SystemC designs
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
Daniel Große, Rolf Drechsler
ASAP
1996
IEEE
90views Hardware» more  ASAP 1996»
15 years 9 months ago
Hierarchical Static Analysis Of Structured Systems Of Affine Recurrence Equations
The Alpha language, based on systems of affine recurrence equations over polyhedral domains, allows the expression of complex algorithms as hierarchical, parameterized structures ...
Florent de Dinechin, Sophie Robert
ICSE
2001
IEEE-ACM
15 years 9 months ago
State, Event, Time and Diagram in System Modeling
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
Jin Song Dong
144
Voted
PAKM
2004
15 years 6 months ago
Incremental Knowledge Acquisition for Building Sophisticated Information Extraction Systems with KAFTIE
Abstract. The aim of our work is to develop a flexible and powerful Knowledge Acquisition framework that allows users to rapidly develop Natural Language Processing systems, includ...
Son Bao Pham, Achim G. Hoffmann
CORR
2010
Springer
59views Education» more  CORR 2010»
15 years 3 months ago
Refinement and Verification of Real-Time Systems
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmere...