Result 121 to 140 from 154 total
HEAVEN: A framework for the refinement of heterogeneous systems (English)
FDL, 44-56 (2004).
121
Semi-symbolic modeling and analysis of noise in heterogeneous systems (English)
FDL, 56-68 (2004).
122
Refinement of mixed-signal systems with affine arithmetic (English)
DATE, 372-377 (2004).
123
Untersuchung und bewertung von voip-diensten im gigabit-wissenschaftsnetz (English)
DFN-Arbeitstagung über Kommunikationsnetze, 119-140 (2004).
124
Parameterizing $n$-holed tori. (English)
Wilson, Michael J. (ed.) et al., Mathematics of surfaces. 10th IMA international conference, Leeds, UK, September 15‒17, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20053-3/pbk). Lect. Notes Comput. Sci. 2768, 14-29 (2003).
125
Using texture synthesis for non-photorealistic shading from paint samples (English)
Pacific Conference on Computer Graphics and Applications, 477-481 (2003).
126
Say cheese!: experiences with a robot photographer (English)
IAAI, 65-70 (2003).
127
A new method for modeling and analysis of accuracy and tolerances in mixed-signal systems (English)
FDL, 82-90 (2003).
128
Refinement of hybrid systems from formal models to design languages (English)
FDL, 469-481 (2003).
129
Systemc-AMS requirements, design objectives and rationale (English)
DATE, 10388-10395 (2003).
130
Refinement of mixed-signal systems with systemc (English)
DATE, 11170-11171 (2003).
131
Analog and mixed signal modelling with systemc-AMS (English)
ISCAS (3), 914-917 (2003).
132
Parameterizing N-holed tori (English)
IMA Conference on the Mathematics of Surfaces, 14-29 (2003).
133
Verkehrsprofile echtzeitkritischer sprachdienste in IP-netzen (English)
KiVS Kurzbeiträge, 21-26 (2003).
134
Aspekte standortübergreifender mobiler Kommunikationsinfrastrukturen. (German)
Schubert, Sigrid E. et al., Informatik bewegt: Informatik 2002 - 32. Jahrestagung der Gesellschaft für Informatik e.v. (GI), 30. September - 3.Oktober 2002 in Dortmund. Bonner Köllen Verlag (ISBN 3-88579-348-2). GI-Edition - Lecture Notes in Informatics (LNI), P-19, 518-522 (2002).
135
A methodology for system-level synthesis of mixed-signal applications. (English)
IEEE Trans. VLSI Syst. 10, No. 6, 935-942 (2002).
136
Simple manifolds for surface modeling and parameterization (English)
Shape Modeling International, 237-246 (2002).
137
Simple manifolds for surface modeling and parameterization (figures 3 and 6) (English)
Shape Modeling International, 277 (2002).
138
Aspekte standortübergreifender mobiler kommunikationsinfrastrukturen (English)
GI Jahrestagung, 518-522 (2002).
139
Prototyping of hybrid systems - from hycharts to hybrid data-flow graphs. (English)
Electron. Notes Theor. Comput. Sci. 28 (1999).
140
Result 121 to 140 from 154 total
Start
Contact
Print
General Help
