:: Your unreliable online reference documentation on the Scarpaz. :: :: Via malfidinda reta dokumento de referenco pri la Skarpac. ::

Tree view

Home Page
	The 3not2 problem (recreational logic)
	Development Effort estimation for VHDL Projects
		thesis-200209242110
			thesis-200209242110.pdf							(2002 Sep 24)
		LogoPolitecnico.png								(2002 Oct 16)
		pdf.png								(2002 Oct 16)
		present.png								(2002 Oct 16)
		Presentazione-tesi.zip								(2002 Oct 16)
		sourcetree+validation-20020822.tar.gz								(2002 Aug 22)
		src.png								(2002 Oct 17)
		tab.gif								(2001 Aug 20)
		thesis-200209240626.zip								(2002 Sep 24)
		thesis-200209242110.zip								(2002 Sep 24)
	Didattica attiva
		Esempi di programmazione di rete con i socket								(2005 Mar 18)
		Esercitazioni di linguaggio C - Corso di Informatica B								(2004 Jan 12)
		Scarpazza-2003-LabSw.pdf								(2003 Dec 12)
		Scarpazza-2003-Materiale Esercitazioni LabSw.tar.gz								(2004 Jan 15)
		Assemblaggio e collegamento								(2004 Jun 03)
		Assemblaggio e collegamento								(2004 May 18)
		Flip-flop								(2004 May 12)
		La macchina IJVM								(2004 Jun 01)
		Livello architettura e set di istruzioni								(2004 Jun 11)
		Scarpazza-2004-Lo Stupidario di fondamenti 2.pdf								(2004 Mar 03)
		Scarpazza-2005-68k-1-addressing.pdf								(2005 May 10)
		Scarpazza-2005-68k-2-assembly.pdf								(2005 May 09)
		Scarpazza-2005-68k-3-traduzione.pdf								(2005 May 10)
		Scarpazza-2005-68k-4-sottoprogrammi.pdf								(2005 May 10)
		Scarpazza-2005-68k-5-assemblaggio.pdf								(2005 May 16)
		Scarpazza-2005-68k-6-esercizio.pdf								(2005 May 10)
		Scarpazza-2005-Bus.pdf								(2005 May 31)
		Scarpazza-2005-Flip-flops.pdf								(2005 May 23)
		Esempio di compilatore realizzato con flex e bison								(2003 Dec 04)
		Esempio di calcolatrice multifunzione realizzata con flex e bison								(2003 Dec 04)
		Il filesystem nei sistemi operativi unix-like								(2005 Apr 12)
		Scarpazza-Presentazione rapida di Linux.pdf								(2003 Dec 04)
		Scarpazza-Riferimento.ps								(2004 Jan 19)
	Paper repository
		Adiabatic Logic
			00335009.pdf							(2004 May 05)
			cicc96.ps							(2004 May 05)
			MLPD03-Mistakes-paper.pdf							(2004 May 05)
			mwscas00.pdf							(2004 May 05)
		CRISP
			C3: An architecture-independent model for coarse-grained parallel machines							(2004 Jul 11)
			Reconfigurable Instruction Set Processors: A Survey							(2004 Jul 11)
			Scheduling Coarse-Grained Operations for VLIW Processors							(2004 Jul 11)
			00903353.pdf							(2004 Jul 11)
			Reconfigurable Instruction Set Processors: an Implementation Platform for Interactive Multimedia Applications							(2004 Jul 11)
			Software Pipelining for Coarse-Grained Reconfigurable Instruction Set Processors							(2004 Jul 11)
			Reconfigurable Instruction Set Processors from a Hardware/Software Perspective							(2004 Jul 11)
			Optimizing a 3D image reconstruction algorithm: analyzing the capabilities of a modern compiler							(2004 Jul 11)
			01207006.pdf							(2004 Jul 11)
			Exploiting Loop-Level Parallelism on Coarse-Grained Reconfigurable Architectures Using Modulo Scheduling							(2004 Jul 11)
			Exploiting Loop-Level Parallelism on Coarse-Grained Reconfigurable Architectures Using Modulo Scheduling							(2004 Jul 11)
			Low Power Coarse-Grained Reconfigurable Instruction Set Processor							(2004 Jul 11)
			Instruction buffering exploration for low energy embedded processors							(2004 Jul 11)
		Formal Languages
			Associative Definition of Programming Languages							(2002 Jul 12)
			extending-formal-languages-hierarchies.pdf							(2004 Nov 04)
			fateman96progress.ps.gz							(2003 May 03)
			fateman99how.ps.gz							(2003 May 03)
			Two-dimensional languages							(2003 Mar 07)
			lindgren00complexity.ps							(2004 Nov 04)
			Regular Expressions and Context-Free Grammars for Picture Languages							(2003 Mar 24)
			matz97regular.pdf							(2003 Mar 21)
			rectangles-and-squares-recognized.ps							(2004 Nov 04)
			reinhardt98some.ps							(2004 Nov 04)
			simplot99characterization.pdf							(2004 Jun 17)
			simplot99characterization.ps							(2004 Jun 17)
			Tile Rewriting Grammars							(2003 Apr 03)
			Mathematical Expression Recognition: A Survey							(2003 May 03)
			A context-sensitive graph grammar formalism for the specification of visual languages.							(2003 May 03)
		Genetic Algorithm
			00485447.pdf							(2004 Aug 02)
			00542327.pdf							(2004 Aug 02)
		Instrumentation
			Source Code Instrumentation and its Perturbation Analysis in Pentium II							(2004 Jun 11)
			Energy Efficient Source Code Transformation based on Value Profiling							(2004 Jun 11)
			On Simulation Model Complexity							(2004 Jun 11)
			Optimally Profiling and Tracing Programs							(2004 Jun 11)
			Caching Function Results: Faster Arithmetic by Avoiding Unnecessary Computation							(2004 Jun 11)
			Value-based Source Code Specialization for Energy Reduction							(2004 Jun 11)
			ATOM: A System for Building Customized Program Analysis Tools							(2004 Jun 11)
		Interdisciplinarity
			Does Interdisciplinarity really exist_files
				easst.jpg						(2005 May 11)
				easst_logo.jpg						(2005 May 11)
			paper1_files
				printable_paper.gif						(2005 May 11)
			paper2_files
				printable_paper.gif						(2005 May 11)
			paper3_files
				printable_paper.gif						(2005 May 11)
			paper4_files
				printable_paper.gif						(2005 May 11)
			paper5_files
				printable_paper.gif						(2005 May 11)
			paper6_files
				printable_paper.gif						(2005 May 11)
			paper7_files
				printable_paper.gif						(2005 May 11)
			paper8_files
				printable_paper.gif						(2005 May 11)
			paper11_files
				printable_paper.gif						(2005 May 11)
			Theorizing Interdisciplinarity2_files
				metmet.jpg						(2005 May 11)
				purplestripe.gif						(2005 May 11)
			Theorizing Interdisciplinarity_files
				metmet.jpg						(2005 May 11)
				purplestripe.gif						(2005 May 11)
			Does Interdisciplinarity really exist.htm							(2005 May 11)
			eurab_04_009_interdisciplinarity_research_final.pdf							(2005 May 13)
			Interdisciplinarity.pdf							(2005 May 11)
			paper1.htm							(2005 May 11)
			paper2.htm							(2005 May 11)
			paper3.htm							(2005 May 11)
			paper4.htm							(2005 May 11)
			paper5.htm							(2005 May 11)
			paper6.htm							(2005 May 11)
			paper7.htm							(2005 May 11)
			paper8.htm							(2005 May 11)
			paper11.htm							(2005 May 11)
			Theorizing Interdisciplinarity.htm							(2005 May 11)
			Theorizing Interdisciplinarity2.htm							(2005 May 11)
			torre.pdf							(2005 May 11)
			Towards_A_Better_Way.pdf							(2005 May 13)
		Leakage power
			bobba-leakage00750412.pdf							(2004 May 14)
		Logics
			1AIJ93.ps							(2004 Jan 14)
			2jolli-00-irst-tr-0006-01.ps							(2004 Jan 14)
			3-110717.pdf							(2004 Jan 14)
			4-23f.pdf							(2004 Jan 14)
			5-tableaux02.pdf							(2004 Jan 14)
			6-blackburn.HL_and_TL_full.pdf							(2004 Jan 14)
			7-wolter99modal.pdf							(2004 Jan 14)
			8-ohlbach99modal.pdf							(2004 Jan 14)
			9-baader97logicbased.pdf							(2004 Jan 14)
			Baader-LNAI-1999.ps							(2004 Apr 02)
			BaaderSattler-StudiaLogica.ps							(2004 Apr 02)
			deductive-systems-of-fuzzy.pdf							(2004 Apr 02)
			dubois99some.pdf							(2004 Apr 02)
			slides-cwiczenia.ps							(2004 Apr 02)
		Low Power
			32_3.pdf							(2004 Jan 14)
			State Assignment for Low Power Dissipation							(2004 Jan 14)
			Automatic Synthesis of Low Power Gated-Clock Finite-State Machines							(2004 Jan 14)
			Synthesis of Low Power Selectively-Clocked Systems from High-Level Specification							(2004 Jan 14)
			Finite-State Machine Partitioning for Low Power							(2004 Jan 14)
			Power Management Issues for Future Generation Microprocessors							(2004 Jan 14)
			Energy-Efficient Design of Battery-Powered Embedded Systems							(2004 Jan 14)
			A Survey of Design Techniques for System-Level Dynamic Power Management							(2004 Jan 14)
			Battery-Driven Dynamic Power Management of Portable Systems							(2004 Jan 14)
			Battery-Driven Dynamic Power Management							(2004 Jan 14)
			Energy-Efficient Design of Battery-Powered Embedded Systems							(2004 Jan 14)
			Dynamic Voltage Scaling and Power Management for Portable Systems							(2004 Jan 14)
			Dynamic Power Management in a Mobile Multimedia System with Guaranteed Quality of Service							(2004 Jan 14)
			00945367.pdf							(2004 Jan 14)
			00945429.pdf							(2004 Jan 14)
			Discrete-Time Battery Models for System-Level Low-Power Design							(2004 Jan 14)
			Software-Controlled Processor Speed Setting for Low-Power Streaming Multimedia							(2004 Jan 14)
			01003621.pdf							(2004 Jan 14)
			Discharge Current Steering for Battery Lifetime Optimization							(2004 Jan 14)
			01167611.pdf							(2004 Jan 14)
			codes99-slides.pdf							(2004 Jan 14)
			copperIWIA01.pdf							(2004 Jan 14)
			FP-06.pdf							(2004 Jan 14)
			ICMCNconfAug00pg11.pdf							(2004 Jan 14)
			ishihara.pdf							(2004 Jan 14)
			paper11_2.pdf							(2004 Jan 14)
			snooping.pdf							(2004 Jan 14)
		Optimization
			00736141-Addess-optimization.pdf							(2005 Dec 19)
			00739054-Local-memory-exploration.pdf							(2005 Dec 19)
			00874049-source-optimization.pdf							(2005 Dec 19)
			00998432-software-optimization-algebra.pdf							(2005 Dec 19)
			01177343-avalanche.pdf							(2005 Dec 19)
			01191546-Compiler-optimization-exploration.pdf							(2005 Dec 19)
			01191546.pdf							(2005 Oct 26)
			H263_mem_arch_optim.ps							(2005 Dec 19)
			p78-franke-probabilistic-optimisation.pdf							(2005 Oct 26)
			SAC04_p891-agosta-exploration-source-transformation.pdf							(2005 Dec 19)
			v7paper3-compiler-optimization-exploration.pdf							(2005 Dec 19)
			zhang97system.pdf							(2005 Oct 21)
			zitzler99e.ps							(1999 Nov 03)
		Power Estimation
			System-Level Power Analysis Methodology Applied to the AMBA AHB Bus							(2004 Oct 08)
			Automated Energy/Performance Macromodeling of Embedded Software							(2004 Aug 02)
			Energy-Optimizing Source Code Transformations for OS-driven Embedded Software							(2004 Aug 02)
			Software Timing Analysis Using HW/SW Cosimulation and Instruction Set Simulator							(2004 Nov 12)
			00758361.pdf							(2005 Feb 15)
			A Compilation-based Software Estimation Scheme for Hardware/Software Co-Simulation							(2004 Nov 12)
			00924658.pdf							(2005 Feb 15)
			00957910.pdf							(2004 Nov 12)
			00957931.pdf							(2005 Feb 15)
			00998484.pdf							(2004 Jul 11)
			01012747.pdf							(2004 Jul 11)
			Library Functions Timing Characterization for Source-Level Analysis							(2003 Apr 15)
			01260934.pdf							(2005 Feb 15)
			01269255.pdf							(2005 Feb 15)
			01281422.pdf							(2005 Feb 15)
			audio.htm							(2005 Feb 16)
			Energy Estimation for 32bit Microprocessors							(2004 Jan 27)
			Source–Level Execution Time Estimation of C Programs							(2004 Jan 27)
			An Instruction-level Functionality-based Energy Estimation Model for 32bits Microprocessors							(2004 Jan 27)
			Library Functions Timing Characterization for Source-Level Analysis							(2004 Jan 27)
			Fast Software-Level Power Estimation for Design Space Exploration							(2004 Jan 27)
			An Assembly–Level Execution–Time Model for Pipelined Architectures							(2004 Jan 27)
			Dynamic Modeling of Inter–Instruction Effects for Execution Time Estimation							(2004 Jan 27)
			Dynamic Modeling of Inter–Instruction Effects for Execution Time Estimation							(2004 Jan 27)
			Modeling Assembly Instruction Timing in Superscalar Architectures							(2004 Jan 27)
			The Impact of Source Code Transformations on Software Power And Energy Consumption							(2004 Jan 27)
			Brandolese-tcad02.pdf							(2004 Jan 27)
			A Retargetable Software Power Estimation Methodology							(2004 Jan 27)
			Instruction Level Power Model Of Microcontrollers							(2003 Mar 26)
			Optimizing Power Using Transformations							(2003 Mar 27)
			Choi2001-efficient-instruction-level-optimization.pdf							(2003 Mar 27)
			Source Code Transformation based on Software Cost Analysis							(2003 Mar 26)
			CRC04.pdf							(2005 Mar 10)
			Debray2001software-power-optimization.ps							(2003 Mar 27)
			Power Estimation of Behavioral Descriptions							(2003 Mar 26)
			On The Interaction Between Power-Aware FPGA CAD Algorithms							(2003 Dec 02)
			Franke-compiler-transformation-of-pointers.ps							(2003 Mar 27)
			Instruction-based System-level Power Evaluation of System-on-a-chip Peripheral Cores							(2004 Oct 08)
			How to transform an architectural synthesis tool for low power VLSI designs							(2002 Jun 04)
			High-Level Optimization of energy consumed by real-time applications embedded into DSP systems							(2002 Jun 04)
			jouletrack--00935508.pdf							(2005 Mar 30)
			jouletrack-p220-sinha.pdf							(2005 Apr 14)
			Power Estimation of a C algorithm based on the Functional-Level Power Analysis of a Digital Signal Processor							(2002 Jun 04)
			Power Estimation of a C algorithm based on the Functional-Level Power Analysis of a Digital Signal Processor							(2003 Oct 24)
			Influence of Compiler Optimizations on System Power							(2003 Mar 26)
			Loop and Data Transformations: A Tutorial - Technical Report CSRI­337, University of Toronto, June 1993							(2003 Mar 27)
			Power Aware Page Allocation							(2003 Mar 26)
			muth99alto.ps							(2003 Mar 27)
			Timing and Energy Estimation of C Programs							(2003 Feb 18)
			perfview-ananth-planb-report.pdf							(2005 Mar 10)
			Research Directions in Power and Energy Conservation for Clusters							(2003 Mar 26)
			power-consumption-estimation-of.pdf							(2004 Aug 30)
			power-estimation-of-a.pdf							(2004 Aug 30)
			reshadi_instruction.pdf							(2005 May 12)
			Software Power Estimation and Optimization for High Performance, 32-bit Embedded Processors							(2003 Mar 26)
			Instruction-Level Power Estimation for Embedded VLIW Cores							(2003 Mar 26)
			SimIt-45_3.pdf							(2005 Apr 14)
			The SimpleScalar Tool Set, Version 2.0							(2003 Mar 27)
			Stanca99array-based-structure-loop.pdf							(2003 Mar 27)
			Low Power Architecture Design and Compilation Techniques for High-Performance Processors							(2004 Jan 27)
			suif.ps.gz							(2005 Feb 15)
			High-level Software Energy Macro-modeling							(2003 Mar 27)
			tiwari94compilation-techniques-for-low-power.ps							(2003 Mar 27)
			Power Analysis of Embedded Software: A First Step Towards Software Power Minimization							(2003 Mar 26)
			Instruction Level Power Analysis and Optimization of Software							(2003 Mar 26)
			Trace-driven Memory Simulation: A Survey							(2003 Apr 16)
			Wattch: a Framework for Architectural-level Power Analysis and Optimizations							(2003 Dec 02)
			CACTI: An Enhanced Cache Access and Cycle Time Model							(2003 Dec 02)
			Wilton WRL-TR-93.5.ps							(2003 Dec 02)
			ye 2000 - The Design and use of simplepower.ps							(2003 Mar 26)
		Source Code Generation
			Automatic Generation of Self-Scheduling Programs							(2004 Sep 23)
			Rapid Prototyping via automatic software code generation from formal specifications							(2004 Sep 23)
			ADA Source Code Analysis for Automatic Test Case Generation							(2004 Sep 23)
			Modeling the Relationship between Source Code Complexity and Maintenance Difficulty							(2004 Sep 23)
			Using Generalized Markup and SGML for Reverse Engineering Graphical Representations of Software							(2004 Sep 23)
			Semi-automatic Generation of Parallelizable Patterns From Source Code Examples							(2004 Sep 23)
			Automatic Test Generation using Checkpoint Encoding and Antirandom Testing							(2004 Sep 23)
			Reverse compilation of Digital Signal Processor Assembler Source to ANSI-C							(2004 Sep 23)
			A Source Code Generation Support System using Design Pattern Documents based on SGML							(2004 Sep 23)
			Reverse Compilation for Digital Signal Processors: a Working Example							(2004 Sep 23)
			XML Rule Based Source Code Generator for UML CASE Tool							(2004 Sep 23)
			Source Code Generator Based on a Proprietary Specification Language							(2004 Sep 23)
			GENOA - A Customizable, front-end retargetable Source Code Analysis Framework							(2003 Jun 05)
		SystemC
			grammar