Sciweavers

15097 search results - page 415 / 3020
» Image Processing in C
Sort
View
MSCS
2008
86views more  MSCS 2008»
15 years 6 months ago
Maurer computers for pipelined instruction processing
We model micro-architectures with non-pipelined instruction processing and pipelined instruction processing, using Maurer machines, basic thread algebra and program algebra. We sho...
Jan A. Bergstra, C. A. Middelburg
FDL
2011
IEEE
14 years 6 months ago
Systemc refinement of abstract adaptive processes for implementation into Dynamically Reconfigurable Hardware
Refinement of AbstractSystemC Refinement of Abstract Adaptive Processes for Implementation into Dynamically Reconfigurable Hardwareg F HerreraF. Herrera E. Villar P.A. Hartmann Sli...
Fernando Herrera, Eugenio Villar, Philipp A. Hartm...
CONCUR
2003
Springer
15 years 12 months ago
Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus
We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive compositionality properties of protocols in the presence of ...
Paulo Mateus, John C. Mitchell, Andre Scedrov
GLVLSI
2008
IEEE
105views VLSI» more  GLVLSI 2008»
15 years 7 months ago
A process and supply variation tolerant nano-CMOS low voltage, high speed, a/d converter for system-on-chip
This paper presents a process variation tolerant, SoC ready, 1GS/s, 6 bit flash analog-to-digital converter (ADC) suitable for integration into nanoscale digital CMOS technologie...
Dhruva Ghai, Saraju P. Mohanty, Elias Kougianos
ICIP
2002
IEEE
16 years 8 months ago
Color printer characterization in MATLAB
Many researchers are working on various aspects of color imaging. However, it is apparent from the papers published that it is difficult for many of them to produce high quality c...
Michael J. Vrhel, H. Joel Trussell