Search results for "transformations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Peter F. Linington, Pulitha Lakmith Liyanagama	Incorporating Security Behaviour into Business Models Using a Model Driven Approach.	EDOC	2007	DBLP DOI BibTeX RDF
16	Thomas Baar, Jon Whittle 0001	On the Usage of Concrete Syntax in Model Transformation Rules.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF	UML, Refactoring, Model Transformation, Metamodeling
16	Matias Madou, Ludo Van Put, Koen De Bosschere	LOCO: an interactive code (De)obfuscation tool.	PEPM	2006	DBLP DOI BibTeX RDF	security, binary rewriting, code obfuscation
16	Robert Hundt, Sandya Mannarswamy, Dhruva R. Chakrabarti	Practical Structure Layout Optimization and Advice.	CGO	2006	DBLP DOI BibTeX RDF
16	Alcino Cunha, José Nuno Oliveira, Joost Visser 0001	Type-Safe Two-Level Data Transformation.	FM	2006	DBLP DOI BibTeX RDF
16	Manuel del Valle, Luis Fernando Lago-Fernández, Fernando J. Corbacho	Evolutionary Search of Optimal Features.	IDEAL	2006	DBLP DOI BibTeX RDF
16	Nick Mitchell, Gary Sevitsky, Harini Srinivasan	Modeling Runtime Behavior in Framework-Based Applications.	ECOOP	2006	DBLP DOI BibTeX RDF
16	John Cavazos, Christophe Dubach, Felix V. Agakov, Edwin V. Bonilla, Michael F. P. O'Boyle, Grigori Fursin, Olivier Temam	Automatic performance model construction for the fast software exploration of new hardware designs.	CASES	2006	DBLP DOI BibTeX RDF	machine learning, architecture, artificial neural networks, performance modelling, compiler optimization
16	Juan Manuel González-Calleros, Jean Vanderdonckt, Jaime Muñoz Arteaga	A Method For Developing 3D User Interfaces Of Information Systems.	CADUI	2006	DBLP DOI BibTeX RDF	Virtual reality, Model driven engineering, 3D user interfaces, Transformational approach, World model, Scene model
16	Christian Perwass, Christian Gebken, Gerald Sommer	Geometry and Kinematics with Uncertain Data.	ECCV (1)	2006	DBLP DOI BibTeX RDF
16	Ethan Schuchman, T. N. Vijaykumar	A program transformation and architecture support for quantum uncomputation.	ASPLOS	2006	DBLP DOI BibTeX RDF	QLA, uncomputation, quantum computing
16	Mike Jochen, Anteneh Addis Anteneh, Lori L. Pollock, Lisa M. Marvel	Enabling control over adaptive program transformation for dynamically evolving mobile software validation.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	dynamic and adaptive program transformation, integrity, program analysis, computer security, mobile code
16	Marijn Temmerman, Edgar G. Daylight, Francky Catthoor, Serge Demeyer, Tom Dhaene	Moving Up to the Modeling Level for the Transformation of Data Structures in Embedded Multimedia Applications.	SAMOS	2005	DBLP DOI BibTeX RDF
16	Rohit Gheyi, Tiago Massoni	Formal refactorings for object models.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	theorem proving, object models, model refactoring
16	Pedro Valderas, Joan Fons, Vicente Pelechano	Transforming Web Requirements into Navigational Models: AN MDA Based Approach.	ER	2005	DBLP DOI BibTeX RDF
16	Kristof Beyls, Erik H. D'Hollander, Frederik Vandeputte	RDVIS: A Tool that Visualizes the Causes of Low Locality and Hints Program Optimizations.	International Conference on Computational Science (2)	2005	DBLP DOI BibTeX RDF
16	Henrik Berg, Roland Olsson 0001	Improving the Scalability of Automatic Programming.	CIS (1)	2005	DBLP DOI BibTeX RDF
16	Thomas Netsch, Arianne van Muiswinkel	Quantitative evaluation of image-based distortion correction in diffusion tensor imaging.	IEEE Trans. Medical Imaging	2004	DBLP DOI BibTeX RDF
16	Peter Petrov, Alex Orailoglu	Low-power instruction bus encoding for embedded processors.	IEEE Trans. Very Large Scale Integr. Syst.	2004	DBLP DOI BibTeX RDF
16	Tomasz S. Czajkowski, Jonathan Rose	A synthesis oriented omniscient manual editor.	FPGA	2004	DBLP DOI BibTeX RDF	virtex-e, synthesis, manual
16	Ross D. King, Mohammed Ouali	Poly-transformation.	IDEAL	2004	DBLP DOI BibTeX RDF
16	Gehua Yang, Charles V. Stewart	Covariance-Driven Mosaic Formation from Sparsely-Overlapping Image Sets with Application to Retinal Image Mosaicing.	CVPR (1)	2004	DBLP DOI BibTeX RDF
16	Brian B. Avants, James C. Gee	Symmetric Geodesic Shape Averaging and Shape Interpolation.	ECCV Workshops CVAMIA and MMBIA	2004	DBLP DOI BibTeX RDF
16	Alan Mycroft, Richard Sharp	Higher-level techniques for hardware description and synthesis.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Static allocation, Behavioural hardware description, High-level synthesis, Functional languages, Hardware/software co-design
16	Sarif Kumar Naik, C. A. Murthy	Hue-preserving color image enhancement without gamut problem.	IEEE Trans. Image Process.	2003	DBLP DOI BibTeX RDF
16	Jorn Bettin, Ghica van Emde Boas	Generative model transformer.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	generative model transformer (GMT), model driven architecture (MDA), open source, model transformation, domain-specific languages, QVT
16	Jorn Bettin, Ghica van Emde Boas, Edward D. Willink	Generative model transformer: an open source MDA tool initiative.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	generative model transformer (GMT), model driven architecture (MDA), open source, model transformation, domain-specific languages, QVT
16	Yohan Baillot, Simon Julier, Dennis G. Brown, Mark A. Livingston	A Tracker Alignment Framework for Augmented Reality.	ISMAR	2003	DBLP DOI BibTeX RDF
16	Niels P. Veerman	Revitalizing Modifiability of Legacy Assets.	CSMR	2003	DBLP DOI BibTeX RDF
16	Guilin Chen, Mahmut T. Kandemir, A. Nadgir, Ugur Sezer	Array Composition and Decomposition for Optimizing Embedded Applications.	ICCAD	2003	DBLP DOI BibTeX RDF
16	Nerissa Tong	Database Schema Transformation Optimisation Techniques for the AutoMed System.	BNCOD	2003	DBLP DOI BibTeX RDF
16	Patrick Bas, Jean-Marc Chassery, Benoît Macq	Geometrically invariant watermarking using feature points.	IEEE Trans. Image Process.	2002	DBLP DOI BibTeX RDF
16	Wankang Zhao, Baosheng Cai, David B. Whalley, Mark W. Bailey, Robert van Engelen, Xin Yuan 0001, Jason Hiser, Jack W. Davidson, Kyle A. Gallivan, Douglas L. Jones	VISTA: a system for interactive code improvement.	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	user-directed code improvement
16	N. E. Crosbie, Mahmut T. Kandemir, Ibrahim Kolcu, J. Ramanujam, Alok N. Choudhary	Strategies for Improving Data Locality in Embedded Applications.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF
16	Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu 0005	Mechanized Operational Semantics of WSL.	SCAM	2002	DBLP DOI BibTeX RDF	Computer Assisted Formal Reasoning, Program Transformation
16	Ladan Tahvildari, Kostas Kontogiannis	A Software Transformation Framework for Quality-Driven Object-Oriented Re-engineering.	ICSM	2002	DBLP DOI BibTeX RDF
16	Enrique San Millán, Luis Entrena, José Alberto Espejo	On the Optimization Power of Redundancy Addition and Removal for Sequential Logic Optimization.	DSD	2001	DBLP DOI BibTeX RDF
16	Hamid Mousa Mohamed, Izzeldin Mohamed Osman	CSPRSGs Strength Measures Based on the Classes of Transformation.	AICCSA	2001	DBLP DOI BibTeX RDF
16	Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos	Modeling Early Requirements in Tropos: A Transformation Based Approach.	AOSE	2001	DBLP DOI BibTeX RDF
16	Mahmut T. Kandemir, Alok N. Choudhary, U. Nagaraj Shenoy, Prithviraj Banerjee, J. Ramanujam	A Linear Algebra Framework for Automatic Determination of Optimal Data Layouts.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	array restructuring, parallelism, Data reuse, spatial locality, memory performance, locality optimizations
16	Frederik Schaffalitzky, Andrew Zisserman	Geometric Grouping of Repeated Elements within Images.	Shape, Contour and Grouping in Computer Vision	1999	DBLP DOI BibTeX RDF
16	Elke A. Rundensteiner, Kajal T. Claypool, Ming Li 0008, Li Chen 0016, Xin Zhang 0002, Chandrakant Natarajan, Jing Jin, Stacia De Lima, S. Weiner	SERF: ODMG-Based Generic Re-structuring Facility.	SIGMOD Conference	1999	DBLP DOI BibTeX RDF
16	Ján Sefránek	Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning.	LPNMR	1999	DBLP DOI BibTeX RDF	autoepistemic logic of knowledge and belief, dynamic Kripke structure, model checking, belief revision, non-monotonic reasoning
16	Nikolaos D. Zervas, Kostas Masselos, Odysseas G. Koufopavlou, Constantinos E. Goutis	Power exploration of multimedia applications realized on embedded cores.	ISCAS (4)	1999	DBLP DOI BibTeX RDF
16	Farzin Mokhtarian, Sadegh Abbasi	Curvature scale space for shape similarity retrieval under affine transforms.	CAIP	1999	DBLP DOI BibTeX RDF	Image databases, Affine transformation, Shape Similarity
16	Mahesh Mehendale, Sunil D. Sherlekar, G. Venkatesh 0001	Low-power realization of FIR filters on programmable DSPs.	IEEE Trans. Very Large Scale Integr. Syst.	1998	DBLP DOI BibTeX RDF
16	Hyuk-Jae Lee, José A. B. Fortes	Automatic Generation of Modular Time-Space Mappings and Data Alignments.	J. VLSI Signal Process.	1998	DBLP DOI BibTeX RDF
16	Gilles Villard	Fast Parallel Algorithms for Matrix Reduction to Normal Forms.	Appl. Algebra Eng. Commun. Comput.	1997	DBLP DOI BibTeX RDF	???? C 2 K, Matrix normal forms, Unimodular matrices, Similarity matrices, Parallel algorithm
16	Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori	A Transformation System for CLP with Dynamic Scheduling and CCP.	PEPM	1997	DBLP DOI BibTeX RDF	concurrent constraint logic programming, transformation, deadlock, coroutining
16	Mitch Cherniack, Stanley B. Zdonik	Rule Languages and Internal Algebras for Rule-Based Optimizers.	SIGMOD Conference	1996	DBLP DOI BibTeX RDF
16	Mythili Mantharam, Patricia J. Eberlein	The Real Two-Zero Algorithm: A Parallel Algorithm to Reduce a Real Matrix to a Real Schur Form.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF
16	Eugenia Montiel, Alberto S. Aguado, María A. Garza-Jinich, J. Alarcón	Image Manipulation Using M-filters in a Pyramidal Computer Model.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	parallel algorithms, image segmentation, Mathematical morphology, multiresolution, image pyramids
16	Rémi Douence, Pascal Fradet	Towards a Taxonomy of Functional Languages Implementations	PLILP	1995	DBLP DOI BibTeX RDF
16	David B. Whalley	Automatic Isolation of Compiler Errors.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	automatic error isolation, diagnosis procedures, nonoptimization errors, optimization errors
16	James L. Crowley, Jean Marc Bedrune, Morten Bekker, Michael Schneider	Integration and Control of Reactive Visual Processes.	ECCV (2)	1994	DBLP DOI BibTeX RDF
16	Junbo Liu, Owen Traynor, Bernd Krieg-Brückner	Knowledge-Based Transfonnational Programming.	SEKE	1992	DBLP DOI BibTeX RDF
16	Yamine Aït Ameur	Formal Program Developments Directed by Operational Properties Evaluation.	SEKE	1992	DBLP DOI BibTeX RDF
16	Olivier Danvy, Julia L. Lawall	Back to Direct Style II: First-Class Continuations.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	SCHEME
16	Alexandru Nicolau, Roni Potasman	Realistic scheduling: compaction for pipelined architectures.	MICRO	1990	DBLP BibTeX RDF
16	George Wolberg, Terrance E. Boult	Separable image warping with spatial lookup tables.	SIGGRAPH	1989	DBLP DOI BibTeX RDF
16	Ernst-Rüdiger Olderog, Krzysztof R. Apt	Fairness in Parallel Programs: The Transformational Approach.	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
16	David J. Kuck, Robert H. Kuhn, David A. Padua, Bruce Leasure, Michael Wolfe	Dependence Graphs and Compiler Optimizations.	POPL	1981	DBLP DOI BibTeX RDF
15	Abdelouahed Gherbi, Ferhat Khendek	From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	UML/SPT, UML, Real-time, MDA, Model transformations, Schedulability analysis, ATL
15	Francesco de Pasquale, Julian Stander	A multi-scale template method for shape detection with bio-medical applications.	Pattern Anal. Appl.	2009	DBLP DOI BibTeX RDF	Non-parametric deformable template, Non-affine transformations, Dynamic breast imaging, Ultrasonography, Image segmentation, Computed tomography, PET
15	Jácome Cunha, João Saraiva, Joost Visser 0001	From spreadsheets to relational databases and back.	PEPM	2009	DBLP DOI BibTeX RDF	bi-directional transformations, type-safe data migration, functional programming, spreadsheets
15	Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin	Formal certification of code-based cryptographic proofs.	POPL	2009	DBLP DOI BibTeX RDF	cryptographic proofs, relational hoare logic, program transformations, observational equivalence, coq proof assistant
15	Tom Staijen, Arend Rensink	Graph-based specification and simulation of featherweight Java with around advice.	FOAL	2009	DBLP DOI BibTeX RDF	simulation, verification, graph transformations
15	Christophe Damerval, Sylvain Meignen	Highlight on a Feature Extracted at Fine Scales: The Pointwise Lipschitz Regularity.	SSVM	2009	DBLP DOI BibTeX RDF	Lipschitz regularity, extraction of characteristic values, robustness to transformations applied to the image, wavelet decompositions, invariance properties, multiscale edge detection
15	Alex Villazón, Walter Binder, Philippe Moret	Flexible calling context reification for aspect-oriented programming.	AOSD	2009	DBLP DOI BibTeX RDF	calling context reification, composition of program transformations, debugging, java virtual machine, bytecode instrumentation, aspect weaving
15	Rok Gajsek, Vitomir Struc, Simon Dobrisek, Janez Zibert, France Mihelic, Nikola Pavesic	Combining Audio and Video for Detection of Spontaneous Emotions.	COST 2101/2102 Conference	2009	DBLP DOI BibTeX RDF	bimodal emotion database, emotion recognition, linear transformations
15	Mikael Slevinsky, Hassan Safouhi	Numerical treatment of a twisted tail using extrapolation methods.	Numer. Algorithms	2008	DBLP DOI BibTeX RDF	Extrapolation method, Oscillatory integrals, Numerical integration, Nonlinear transformations
15	Nathalie Moreno, Santiago Meliá, Nora Koch, Antonio Vallecillo	Addressing New Concerns in Model-Driven Web Engineering Approaches.	WISE	2008	DBLP DOI BibTeX RDF	Model Transformations, Metamodeling, Web Engineering, Separation of Concerns, Model-Driven Software Development
15	Yijun Yu, Haruhiko Kaiya, Hironori Washizaki, Yingfei Xiong 0001, Zhenjiang Hu, Nobukazu Yoshioka	Enforcing a security pattern in stakeholder goal models.	QoP	2008	DBLP DOI BibTeX RDF	model transformations, goal models, security patterns, rbac
15	Janis Voigtländer	Proving correctness via free theorems: the case of the destroy/build-rule.	PEPM	2008	DBLP DOI BibTeX RDF	intermediate data structures, rank-2 types, shortcut deforestation, theorems for free, program transformations, correctness proofs, relational parametricity
15	Reid Holmes, Robert J. Walker	Lightweight, Semi-automated Enactment of Pragmatic-Reuse Plans.	ICSR	2008	DBLP DOI BibTeX RDF	Pragmatic software reuse, lightweight source code transformations
15	Amogh Kavimandan, Aniruddha S. Gokhale	Automated Middleware QoS Configuration Techniques for Distributed Real-time and Embedded Systems.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF	Graph/model transformations, Middleware QoS configuration, MDE
15	Ghizlane El-Boussaidi, Hafedh Mili	Detecting Patterns of Poor Design Solutions Using Constraint Propagation.	MoDELS	2008	DBLP DOI BibTeX RDF	Marking models, design patterns, transformations, constraint satisfaction problems
15	Leon Bobrowski, Ralph C. Huntsinger	Exploring the linearity of models on the basis of ranked data.	SCSC	2007	DBLP BibTeX RDF	convex and piecewise linear (CPL) criterion functions, multiparameter optimization, ranked relations, linear transformations, linear separability
15	Victor Khomenko	Behaviour-Preserving Transition Insertions in Unfolding Prefixes.	ICATPN	2007	DBLP DOI BibTeX RDF	Petri net unfoldings, transition insertions, encoding conflicts, Petri nets, transformations, asynchronous circuits, STGs
15	Simon E. B. Thierry, Pascal Mathis, Pascal Schreck	Towards an homogeneous handling of under-constrained and well-constrained systems of geometric constraints.	SAC	2007	DBLP DOI BibTeX RDF	invariance under transformations groups, under-constraint, geometric constraints solving
15	Magdalena Slawiñska, Jaroslaw Slawinski, Vaidy S. Sunderam	Enhancing Productivity in High Performance Computing through Systematic Conditioning.	PPAM	2007	DBLP DOI BibTeX RDF	porting parallel programs, automatic code transformations, software tools, productivity, conditioning, legacy codes
15	Guillaume Gauffre, Emmanuel Dubois 0001, Rémi Bastide	Domain-Specific Methods and Tools for the Design of Advanced Interactive Techniques.	MoDELS (Workshops)	2007	DBLP DOI BibTeX RDF	Model Transformations, Domain-Specific Languages, Metamodeling, Model-Driven Engineering, Design Process, Mixed Interactive Systems
15	Ekaterina Shemyakova, Franz Winkler 0001	A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form.	CASC	2007	DBLP DOI BibTeX RDF	Linear Partial Differential Operators, Gauge transformations, Invariants
15	Mahmut T. Kandemir, J. Ramanujam, Ugur Sezer	Improving the energy behavior of block buffering using compiler optimizations.	ACM Trans. Design Autom. Electr. Syst.	2006	DBLP DOI BibTeX RDF	block buffering, embedded systems, data cache, Energy optimizations, compiler transformations
15	Eitan Sharon, David Mumford	2D-Shape Analysis Using Conformal Mapping.	Int. J. Comput. Vis.	2006	DBLP DOI BibTeX RDF	group of diffeomorphisms, group of shape transformations, metrics between shapes, Riemann mapping theorem, Weil-Petersson metric, fingerprints of shapes, shape representation, conformal, geodesic
15	Scott Schaefer, Travis McPhail, Joe D. Warren	Image deformation using moving least squares.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF	deformations, rigid transformations, moving least squares
15	Frédéric Jouault, Ivan Kurtev	On the architectural alignment of ATL and QVT.	SAC	2006	DBLP DOI BibTeX RDF	interoperability, model transformations, QVT, ATL, model engineering
15	Dimitrios Skoutas 0001, Alkis Simitsis	Designing ETL processes using semantic web technologies.	DOLAP	2006	DBLP DOI BibTeX RDF	ontologies, conceptual modeling, transformations, reasoning, data warehousing, ETL, semantic web technology
15	Walter Binder, Jarle Hulaas	Flexible and efficient measurement of dynamic bytecode metrics.	GPCE	2006	DBLP DOI BibTeX RDF	Java, aspect-oriented programming, program transformations, resource management, profiling, JVM, partial evaluation, component-based software engineering, bytecode instrumentation, dynamic metrics
15	Thomas Baar, Slavisa Markovic, Frédéric Fondement, Alfred Strohmeier	Definition and Correct Refinement of Operation Specifications.	Research Results of the DICS Program	2006	DBLP DOI BibTeX RDF	System Operations, UML, Refinements, Refactorings, OCL, Graph Transformations, Design by Contract, QVT
15	Kewen Wang 0001, Lizhu Zhou	Comparisons and computation of well-founded semantics for disjunctive logic programs.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	residual programs, semantics of logic programs and deductive databases, program transformations, argumentation, nonmonotonic reasoning, negation, Disjunctive logic programming, well-founded semantics
15	Walter Binder	Portable, efficient, and accurate sampling profiling for java-based middleware.	SEM	2005	DBLP DOI BibTeX RDF	sampling profiling, Java, program transformations, JVM, bytecode instrumentation
15	Anneke Kleppe	Towards General Purpose, High Level, Software Languages.	ECMDA-FA	2005	DBLP DOI BibTeX RDF	UML, design patterns, programming language, MDA, model transformations, domain specific languages, OCL, Modeling language
15	Linda Kaouane, Mohamed Akil, Thierry Grandpierre, Yves Sorel	A Methodology to Implement Real-Time Applications onto Reconfigurable Circuits.	J. Supercomput.	2004	DBLP DOI BibTeX RDF	reconfigurable circuits, optimizations, FPGA, heuristics, rapid prototyping, graph transformations, circuit synthesis
15	Ted J. Biggerstaff	A New Architecture for Transformation-Based Generators.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	optimization, image processing, search, logic programming, program transformations, pattern matching, partial evaluation, program synthesis, inference engines, reusable software, Domain-specific architectures
15	Pascal Matsakis, James M. Keller, Ozy Sjahputera, Jonathon Marjamaa	The Use of Force Histograms for Affine-Invariant Relative Position Description.	IEEE Trans. Pattern Anal. Mach. Intell.	2004	DBLP DOI BibTeX RDF	force histograms, computer vision, invariants, Affine transformations, spatial relations, descriptors
15	Raul Silaghi	Refining designs along middleware-specific concern-dimensions at different MDA-levels of abstraction.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	middleware concerns, AOP, MDA, model transformations, aspectJ, UML profiles, eclipse plug-ins, parallax, enterprise fondue
15	Raul Silaghi	Refining designs along middleware-specific concern-dimensions at different MDA-levels of abstraction.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	middleware concerns, AOP, MDA, model transformations, aspectJ, UML profiles, eclipse plug-ins, parallax, enterprise fondue
15	Walter Binder, Jarle Hulaas	Self-accounting as Principle for Portable CPU Control in Java.	Net.ObjectDays	2004	DBLP DOI BibTeX RDF	Bytecode rewriting, CPU accounting and control, Java, program transformations
15	Nicolas T. Courtois	The Inverse S-Box, Non-linear Polynomial Relations and Cryptanalysis of Block Ciphers.	AES Conference	2004	DBLP DOI BibTeX RDF	interpolation attack on block ciphers, fractional transformations, homographic functions, generalised linear cryptanalysis, bi-linear cryptanalysis, Block ciphers, AES, Rijndael, Feistel ciphers, multivariate equations