Sciweavers

3706 search results - page 536 / 742
» KtSeqC: System Description
Sort
View
176
Voted
DATE
1997
IEEE
95views Hardware» more  DATE 1997»
15 years 10 months ago
Synthesis of multi-rate and variable rate circuits for high speed telecommunications applications
A design methodology for the synthesis of digital circuits used in high throughput digital modems is presented. The methodology spans digital modem design from the link level to t...
Patrick Schaumont, Serge Vernalde, Luc Rijnders, M...
EURODAC
1994
IEEE
120views VHDL» more  EURODAC 1994»
15 years 10 months ago
Generating compilers for generated datapaths
Modern CAD systems allow the designers to come up with powerful programmable datapaths in avery short time. The time to develop compilers for this datapaths is much longer. This p...
Michael Held, Manfred Glesner
ESSOS
2009
Springer
15 years 10 months ago
Pattern-Based Confidentiality-Preserving Refinement
Abstract. We present an approach to security requirements engineering, which makes use of special kinds of problem frames that serve to structure, characterize, analyze, and solve ...
Holger Schmidt
CSL
2006
Springer
15 years 10 months ago
Towards an Implicit Characterization of NCk
We define a hierarchy of term systems Tk by means of restrictions of the recursion schema. We essentially use a pointer technique together with tiering. We prove Tk NCk Tk+1 , for ...
Guillaume Bonfante, Reinhard Kahle, Jean-Yves Mari...
ECTEL
2006
Springer
15 years 10 months ago
Socially-Aware Informal Learning Support: Potentials and Challenges of the Social Dimension
With increasingly conceiving learning as a social activity, technological support must become more aware of the social context of the individual in order to be able to provide adeq...
Simone Braun, Andreas Schmidt