Sciweavers

23201 search results - page 389 / 4641
» Rewriting Systems with Data
Sort
View
ISCAS
1999
IEEE
104views Hardware» more  ISCAS 1999»
15 years 12 months ago
Controlling an integrator through data networks: stability in the presence of unknown time-variant delays
The subject of controlling an integrator via a communication network finds many applications in modern control systems. Stability conditions in closed form are derived for the ari...
Peter H. Bauer, Mihail L. Sichitiu, Kamal Premarat...
GPCE
2004
Springer
16 years 1 months ago
Taming Macros
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting ove...
Ryan Culpepper, Matthias Felleisen
LREC
2010
160views Education» more  LREC 2010»
15 years 9 months ago
FrAG, a Hybrid Constraint Grammar Parser for French
This paper describes a hybrid tagger/parser for French (FrAG), and presents results from ongoing development work, corpus annotation and evaluation. The core of the system is a se...
Eckhard Bick
CSI
2007
89views more  CSI 2007»
15 years 7 months ago
Writing and executing ODP computational viewpoint specifications using Maude
The Reference Model of Open Distributed Processing (RM-ODP) is a joint standardization effort by ITU-T and ISO/IEC for the specification of large open distributed systems. RM-ODP ...
José Raúl Romero, Antonio Vallecillo...
IPPS
2007
IEEE
16 years 1 months ago
C++ based System Synthesis of Real-Time Video Processing Systems targeting FPGA Implementation
Implementing real-time video processing systems put high requirements on computation and memory performance. FPGAs have proven to be effective implementation architecture for thes...
Najeem Lawal, Mattias O'Nils, Benny Thörnberg