Search results for "ALF"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
167	Dong-Kweon Hong, Myung-Joon Kim, Sharma Chakravarthy	Incorporating load factor into the scheduling of soft real-time transactions for main memory databases.	RTCSA	1996	DBLP DOI BibTeX RDF	soft real-time transactions, coarse-granule locking, CCA-ALF, EDF-CR-ALF, simulations, scheduling, real-time systems, real-time database systems, main memory databases, load factor, data access patterns
119	Jean-Claude Derniame, Volker Gruhn	Development of process-centered IPSEs in the ALF project.	J. Syst. Integr.	1994	DBLP DOI BibTeX RDF	enactable software process models, assistance and guidance, MASP, ALF, ALF-based IPSEs, software processes, Software process modeling, tool integration
102	Xuewu Du	Results on Exactness Properties of the HP-ALF for Inequality Constraints.	APCCAS	2006	DBLP DOI BibTeX RDF
66	J. R. Larre, N. Alfaro, J. J. Galán, Juan Garbajosa	Introducing HOOD into Software Process Modelling Based Environments.	Ada-Europe	1991	DBLP DOI BibTeX RDF	MASP, ALF, Ada, tools, methods, CASE, HOOD
65	Torsten Braun, Isabelle Chrisment, Christophe Diot, François Gagnon, Laurent Gautier	ALFred, a Protocol Compiler for the Automated Implementation of Distributed Applications.	HPDC	1996	DBLP DOI BibTeX RDF	protocol compiler, ALFred, end-to-end communication functions, high performance implementation, control compiler, ALF compiler, data manipulation compiler, ILP compiler, high performance communication architectures, formal specification, formal specification, protocols, distributed processing, specification languages, software design, distributed applications, program compilers, software performance evaluation, software prototyping, software prototyping, ESTEREL, communication architecture, data handling
57	Rafael Pastor Vargas, Timothy Read, Salvador Ros 0001, Roberto Hernández 0001, Rocael Hernández	Virtual Communities Adapted to the EHEA in an Enterprise Distance e-Learning Based Environment.	HCI (12)	2009	DBLP DOI BibTeX RDF	activity curricula, EHEA, activity focused training, e-learning, virtual classroom
53	Elena Planas, David Sánchez-Mendoza, Jordi Cabot, Cristina Gómez 0001	Alf-Verifier: An Eclipse Plugin for Verifying Alf/UML Executable Models.	ER Workshops	2012	DBLP DOI BibTeX RDF
47	Amaury Legait, Flávio Oquendo, Dan Oldfield	MASP: A Model for Assisted Software Processes.	SEE	1989	DBLP DOI BibTeX RDF	MASP, ALF, PCTE, Software Process Model, Enaction
46	Alexander Berenstein, Alf Dolich, Alf Onshuus	The independence property in generalized dense pairs of structures.	J. Symb. Log.	2011	DBLP DOI BibTeX RDF
38	Tuomas Aura	Privacy, Control and Internet Mobility (Transcript of Discussion).	Security Protocols Workshop	2004	DBLP DOI BibTeX RDF
38	L. Kristin Wright, Steven McCanne, Jay Lepreau	A reliable multicast webcast protocol for multimedia collaboration and caching.	ACM Multimedia	2000	DBLP DOI BibTeX RDF
38	Flávio Oquendo, Jean-Daniel Zucker, Philip Griffiths	A Meta-CASE Environment for Software Process-Centred CASE Environments.	CAiSE	1992	DBLP DOI BibTeX RDF
26	Robert M. Davison	Digital transformation: Understanding business goals, risks, processes and decisions. By Mathias Cöster, Mats Danielson, Love Ekenberg, Cecilia Gullberg, Gard Titlestad, Alf Westelius, Gunnar Wettergren, Cambridge: Open Book Publishers. 2023. ISBN: 9781805110606.	Inf. Syst. J.	2024	DBLP DOI BibTeX RDF
26	Rune Krauss, Marcel Merten, Mirco Bockholt, Rolf Drechsler	ALF - A Fitness-Based Artificial Life Form for Evolving Large-Scale Neural Networks.	CoRR	2021	DBLP BibTeX RDF
26	Asad Nawaz, Tauseef Rana 0001, Farooque Azam, Muhammad Waseem Anwar	Reverse Engineering of Object Oriented Systems to ALF.	Int. J. Softw. Eng. Knowl. Eng.	2021	DBLP DOI BibTeX RDF
26	Rune Krauss, Marcel Merten, Mirco Bockholt, Rolf Drechsler	ALF: a fitness-based artificial life form for evolving large-scale neural networks.	GECCO Companion	2021	DBLP DOI BibTeX RDF
26	Alexander Frickenstein, Manoj Rohit Vemparala, Nael Fasfous, Laura Hauenschild, Naveen Shankar Nagaraja, Christian Unger, Walter Stechele	ALF: Autoencoder-based Low-rank Filter-sharing for Efficient Convolutional Neural Networks.	CoRR	2020	DBLP BibTeX RDF
26	Alexander Frickenstein, Manoj Rohit Vemparala, Nael Fasfous, Laura Hauenschild, Naveen Shankar Nagaraja, Christian Unger, Walter Stechele	ALF: Autoencoder-based Low-rank Filter-sharing for Efficient Convolutional Neural Networks.	DAC	2020	DBLP DOI BibTeX RDF
26	Sobah Abbas Petersen, Manuel Fradinho Oliveira, Kristin Hestetun, Anette Østbø Sørensen	ALF - a Framework for Evaluating Accelerated Learning in Industry.	Int. J. Serious Games	2019	DBLP DOI BibTeX RDF
26	Johannes Schröpfer, Thomas Buchmann	Integrating UML and ALF: An Approach to Overcome the Code Generation Dilemma in Model-Driven Software Engineering.	MODELSWARD (Revised Selected Papers)	2019	DBLP DOI BibTeX RDF
26	Sobah Abbas Petersen, Manuel Fradinho Oliveira, Kristin Hestetun, Anette Østbø Sørensen	ALF - A Framework for Evaluating Accelerated Learning and Cognitive Skills Development in Industry Through Games.	GALA	2018	DBLP DOI BibTeX RDF
26	Eva Zangerle, Michael Tschuggnall, Stefan Wurzinger, Günther Specht	ALF-200k: Towards Extensive Multimodal Analyses of Music Tracks and Playlists.	ECIR	2018	DBLP DOI BibTeX RDF
26	Ed Seidewitz	A development environment for the Alf language within the MagicDraw UML tool (tool demo).	SLE	2017	DBLP DOI BibTeX RDF
26	Maria Fernanda Granda, Nelly Condori-Fernández, Tanja E. J. Vos	Using ALF within the CoSTest process for Validation of UML-based Conceptual Schemas.	ER Forum/Demos	2017	DBLP BibTeX RDF
26	Federico Ciccozzi, Antonio Cicchetti, Mikael Sjödin	On the Generation of Full-Fledged Code from UML Profiles and ALF for Complex Systems.	ITNG	2015	DBLP DOI BibTeX RDF
26	Sahar Guermazi, Jérémie Tatibouet, Arnaud Cuccuru, Ed Seidewitz, Saadia Dhouib, Sébastien Gérard	Executable Modeling with fUML and Alf in Papyrus: Tooling and Experiments.	EXE@MoDELS	2015	DBLP BibTeX RDF
26	Ed Seidewitz, Jérémie Tatibouet	Tool Paper: Combining Alf and UML in Modeling Tools - An Example with Papyrus -.	OCL@MoDELS	2015	DBLP BibTeX RDF
26	Ed Seidewitz	UML with meaning: executable modeling in foundational UML and the Alf action language.	HILT	2014	DBLP DOI BibTeX RDF
26	Zoltán Micskei, Raimund-Andreas Konnerth, Benedek Horváth, Oszkár Semeráth, András Vörös 0001, Dániel Varró	On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf.	OSS4MDE@MoDELS	2014	DBLP BibTeX RDF
26	Juergen Eckert 0001, Reinhard German, Falko Dressler	Self-organised localisation in indoor environments using the ALF framework.	Int. J. Commun. Networks Distributed Syst.	2013	DBLP DOI BibTeX RDF
26	Jonathan M. Borwein, Igor E. Shparlinski, Wadim Zudilin (eds.)	Number Theory and Related Fields, In Memory of Alf van der Poorten		2013	DBLP DOI BibTeX RDF
26	Alessandro Gerlinger Romero, Klaus Schneider 0001, Maurício Gonçalves Vieira Ferreira	Towards the Applicability of Alf to Model Cyber-Physical Systems.	FedCSIS	2013	DBLP BibTeX RDF
26	Daniel Plorin, Egon Müller	Developing an Ambient Assisted Living Environment Applying the advanced Learning Factory (aLF) - A Conceptual Approach for the Practical Use in the Research Project A2LICE.	ISAGA	2013	DBLP DOI BibTeX RDF
26	Federico Ciccozzi	From models to code and back: correct-by-construction code from UML and ALF.	ICSE	2013	DBLP DOI BibTeX RDF
26	Wadim Zudilin	Period(d)ness of L-Values.	Number Theory and Related Fields	2013	DBLP DOI BibTeX RDF
26	Juan Arias de Reyna, Richard P. Brent, Jan van de Lune	On the Sign of the Real Part of the Riemann Zeta Function.	Number Theory and Related Fields	2013	DBLP DOI BibTeX RDF
26	Claude Levesque, Michel Waldschmidt	Families of Cubic Thue Equations with Effective Bounds for the Solutions.	Number Theory and Related Fields	2013	DBLP DOI BibTeX RDF
26	Yoshinori Hamahata	Continued Fractions and Dedekind Sums for Function Fields.	Number Theory and Related Fields	2013	DBLP DOI BibTeX RDF
26	Khodakhast Bibak	Additive Combinatorics: With a View Towards Computer Science and Cryptography - An Exposition.	Number Theory and Related Fields	2013	DBLP DOI BibTeX RDF
26	John B. Friedlander, Henryk Iwaniec	Small Representations by Indefinite Ternary Quadratic Forms.	Number Theory and Related Fields	2013	DBLP DOI BibTeX RDF
26	Jennifer Seberry	The Impact of Number Theory and Computer-Aided Mathematics on Solving the Hadamard Matrix Conjecture.	Number Theory and Related Fields	2013	DBLP DOI BibTeX RDF
26	Gert Almkvist, Jesús Guillera	Ramanujan-Sato-Like Series.	Number Theory and Related Fields	2013	DBLP DOI BibTeX RDF
26	Peter Bundschuh	Algebraic Independence of Infinite Products and Their Derivatives.	Number Theory and Related Fields	2013	DBLP DOI BibTeX RDF
26	Yann Bugeaud	Transcendence of Stammering Continued Fractions.	Number Theory and Related Fields	2013	DBLP DOI BibTeX RDF
26	Eric L. Roettger, Hugh C. Williams, Richard K. Guy	Some Extensions of the Lucas Functions.	Number Theory and Related Fields	2013	DBLP DOI BibTeX RDF
26	David Hunt	Life and Mathematics of Alfred Jacobus van der Poorten (1942-2010).	Number Theory and Related Fields	2013	DBLP DOI BibTeX RDF
26	D. R. Heath-Brown	Burgess's Bounds for Character Sums.	Number Theory and Related Fields	2013	DBLP DOI BibTeX RDF
26	Jeffrey O. Shallit	Description of Generalized Continued Fractions by Finite Automata.	Number Theory and Related Fields	2013	DBLP DOI BibTeX RDF
26	Ouamporn Phuksuwan, Vichian Laohakosol	Consequences of a Factorization Theorem for Generalized Exponential Polynomials with Infinitely Many Integer Zeros.	Number Theory and Related Fields	2013	DBLP DOI BibTeX RDF
26	Ilias S. Kotsireas	Structured Hadamard Conjecture.	Number Theory and Related Fields	2013	DBLP DOI BibTeX RDF
26	C. L. Stewart	On Prime Factors of Terms of Linear Recurrence Sequences.	Number Theory and Related Fields	2013	DBLP DOI BibTeX RDF
26	Frank G. Garvan	Congruences for Andrews' spt-Function Modulo 32760 and Extension of Atkin's Hecke-Type Partition Congruences.	Number Theory and Related Fields	2013	DBLP DOI BibTeX RDF
26	James G. Wan	Some Notes on Weighted Sum Formulae for Double Zeta Values.	Number Theory and Related Fields	2013	DBLP DOI BibTeX RDF
26	Carl Pomerance, Douglas Ulmer	On Balanced Subgroups of the Multiplicative Group.	Number Theory and Related Fields	2013	DBLP DOI BibTeX RDF
26	Sanghyo Park 0001, Kiho Choi, Gyeong-gi Noh, Euee S. Jang	Frame-based adaptive selection of ALF for fast HEVC decoding.	BMSB	2012	DBLP DOI BibTeX RDF
26	Leif Azzopardi, Myles Doolan, Richard Glassey	ALF: a client side logger and server for capturing user interactions in web applications.	SIGIR	2012	DBLP DOI BibTeX RDF
26	Isabelle Perseil	ALF formal.	Innov. Syst. Softw. Eng.	2011	DBLP DOI BibTeX RDF
26	Madhukar Budagavi, Vivienne Sze, Minhua Zhou	HEVC ALF decode complexity analysis and reduction.	ICIP	2011	DBLP DOI BibTeX RDF
26	Juergen Eckert 0001, Reinhard German, Falko Dressler	ALF: An autonomous localization framework for self-localization in indoor environments.	DCOSS	2011	DBLP DOI BibTeX RDF
26	Arnaud Cuccuru, Sébastien Gérard, François Terrier	Defining MARTE's VSL as an Extension of Alf.	MoDELS	2011	DBLP DOI BibTeX RDF
26	Jan Gustafsson, Andreas Ermedahl, Björn Lisper, Christer Sandberg, Linus Källberg	ALF - A Language for WCET Flow Analysis.	WCET	2009	DBLP BibTeX RDF
26	Assim Sagahyroon, Maddu Karunaratne	Cell Library Creation using ALF.	J. Comput. Inf. Technol.	2005	DBLP DOI BibTeX RDF
26	Fairouz Kamareddine, Qiao Haiyan	Formalizing Strong Normalization Proofs of Explicit Substitution Calculi in ALF.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF
26	Wolfgang Roethig	Coherent functional, electrical and physical modeling of IP blocks using ALF.	CICC	2001	DBLP DOI BibTeX RDF
26	Isabelle Chrisment, Delphine Kaplan, Christophe Diot	An ALF communication architecture: design and automated implementation.	IEEE J. Sel. Areas Commun.	1998	DBLP DOI BibTeX RDF
26	Isabelle Chrisment, Christian Huitema	Evaluating the impact of ALF on communication subsystems design and performance.	J. High Speed Networks	1996	DBLP DOI BibTeX RDF
26	Bengt Ahlgren, Per Gunningberg, Kjersti Moldeklev	Increasing communication performance with a minimal-copy data path supporting ILP and ALF.	J. High Speed Networks	1996	DBLP DOI BibTeX RDF
26	Atanu Ghosh, Jon Crowcroft	Some Lessons Learned from Various ALF and ILP Applications.	Aust. Comput. J.	1996	DBLP BibTeX RDF
26	Michael Fry 0001, Atanu Ghosh	Some Issues for Dynamic Synthesis of ALF/ILP Systems.	Aust. Comput. J.	1996	DBLP BibTeX RDF
26	Torsten Braun, Isabelle Chrisment, Christophe Diot, François Gagnon, Laurent Gautier	ALF/ILP Based Automated Implementation of Distributed Applications.	Aust. Comput. J.	1996	DBLP BibTeX RDF
26	Sten Agerholm, Ilya Beylin, Peter Dybjer	A Comparison of HOL and ALF Formalizations of a Categorical Coherence Theorem.	TPHOLs	1996	DBLP DOI BibTeX RDF
26	Lena Magnusson, Bengt Nordström	The ALF Proof Editor and Its Proof Engine.	TYPES	1993	DBLP DOI BibTeX RDF
26	Henrik Eriksson, Per Larses	ALF-A: a knowledge acquisition tool for troubleshooting of laboratory equipment.	J. Chem. Inf. Comput. Sci.	1992	DBLP DOI BibTeX RDF
26	Michael Hanus	The ALF System.	PLILP	1991	DBLP DOI BibTeX RDF
26	Michael Hanus	The ALF System: An Efficient Implementation of a Functional Logic Language.	PDK	1991	DBLP DOI BibTeX RDF
26	Colin Potts	An overview of the ALF project.	ISPW	1989	DBLP BibTeX RDF
26	Rena Upitis	A Computer-Assisted Instruction Approach to Music for Junior-Age Children: Using ALF for Teaching Music Composition.	ICMC	1982	DBLP BibTeX RDF
23	Mira Baude, Alf Kimms	Modelling pandemic behavior with a network-SIRD approach.	Central Eur. J. Oper. Res.	2024	DBLP DOI BibTeX RDF
23	Rabail Tahir, Alf Inge Wang	Evaluating the effectiveness of game-based learning for teaching refugee children Arabic using the integrated LEAGUÊ-GQM approach.	Behav. Inf. Technol.	2024	DBLP DOI BibTeX RDF
23	Ian Gorton, Liz Fong-Jones, Alf Larsson	Observability Q&A.	IEEE Softw.	2024	DBLP DOI BibTeX RDF
23	Attila Szabó, Yevgeniy Puzikov, Sahan Ayvaz, Sonia Aurelio, Peter Gehler, Reza Shirvany, Malte Alf	Alias-Free GAN for 3D-Aware Image Generation.	VISIGRAPP (2): VISAPP	2024	DBLP DOI BibTeX RDF
23	Wenjie Chen, Kang Tai, Michael Wai Shing Lau, Ahmed Abdelhakim, Ricky Chan, Alf Kare Adnanes, Tegoeh Tjahjowidodo	Robust Real-Time Shipboard Energy Management System With Improved Adaptive Model Predictive Control.	IEEE Access	2023	DBLP DOI BibTeX RDF
23	Alf Kimms, Fabian Wilschewski	A new modeling approach for the unrestricted block relocation problem.	OR Spectr.	2023	DBLP DOI BibTeX RDF
23	Wenjie Chen, Kang Tai, Michael Wai Shing Lau, Ahmed Abdelhakim, Ricky Chan, Alf Kare Adnanes, Tegoeh Tjahjowidodo	Optimal Power and Energy Management Control for Hybrid Fuel Cell-Fed Shipboard DC Microgrid.	IEEE Trans. Intell. Transp. Syst.	2023	DBLP DOI BibTeX RDF
23	Erik Laurin Strelow, Alf Gerisch, Jens Lang 0001, Marc E. Pfetsch	Physics informed neural networks: A case study for gas transport problems.	J. Comput. Phys.	2023	DBLP DOI BibTeX RDF
23	Fabrizio Dabbene, Mark Cannon, Mohammadreza Chamanbaz, Alf Isaksson, Martina Mammarella, Davide M. Raimondo	Guest Editorial Special Issue on State-of-the-Art Applications of Model Predictive Control.	IEEE Trans. Control. Syst. Technol.	2023	DBLP DOI BibTeX RDF
23	Amrollah Seifoddini, Koen Vernooij, Timon Künzle, Alessandro Canopoli, Malte Alf, Anna Volokitin, Reza Shirvany	ALiSNet: Accurate and Lightweight Human Segmentation Network for Fashion E-Commerce.	CoRR	2023	DBLP DOI BibTeX RDF
23	Tong Dong Qiu, Andreas Thune, Markus Blatt, Alf Birger Rustad, Razvan Nane	An Evaluation and Comparison of GPU Hardware and Solver Libraries for Accelerating the OPM Flow Reservoir Simulator.	CoRR	2023	DBLP DOI BibTeX RDF
23	Alf Kimms, Hédi Király	An extended model formulation for the two-dimensional irregular strip packing problem considering general industry-relevant aspects.	Eur. J. Oper. Res.	2023	DBLP DOI BibTeX RDF
23	Fernando Garnacho, Fernando Álvarez, Alf-Peter Elg, Christian Mier, Kari Lahti, Abderrahim Khamlichi, Eduardo Arcones, Joni V. Klüss, Armando Rodrigo-Mor, Pertti Pakonen, José Ramón Vidal, Álvaro Camuñas, Jorge Rovira, Carlos Vera, Miran Haider	Metrological Qualification of PD Analysers for Insulation Diagnosis of HVDC and HVAC Grids.	Sensors	2023	DBLP DOI BibTeX RDF
23	Alf-Andre Walla, Paal E. Engelstad	Introducing TinyKVM for High-Performance CDN Edge Services.	CloudCom	2023	DBLP DOI BibTeX RDF
23	Carlo Vitucci, Daniel Sundmark, Marcus Jägemar, Jakob Danielsson, Alf Larsson, Thomas Nolte	Fault Management Impacts on the Networking Systems Hardware Design.	IECON	2023	DBLP DOI BibTeX RDF
23	Carlo Vitucci, Daniel Sundmark, Jakob Danielsson, Marcus Jägemar, Alf Larsson, Thomas Nolte	Run Time Memory Error Recovery Process in Networking System.	ICSRS	2023	DBLP DOI BibTeX RDF
23	Øystein Bjelland, William Gulliksen, Arkadiusz D. Kwiatkowski, Martin Skavø, Håkon Isern, Mohammadamin Shayestehpour, Martin Steinert, Robin T. Bye, Alf Inge Hellevik	Implementation and Evaluation of a Vibrotactile Assisted Monitoring and Correction System for Partial Weight-Bearing in Lower Extremities.	WHC	2023	DBLP DOI BibTeX RDF
23	Amrollah Seifoddini, Koen Vernooij, Timon Künzle, Alessandro Canopoli, Malte Alf, Anna Volokitin, Reza Shirvany	ALiSNet: Accurate and Lightweight Human Segmentation Network for Fashion E-Commerce.	VISIGRAPP (4: VISAPP)	2023	DBLP DOI BibTeX RDF
23	Tom Hogervorst, Razvan Nane, Giacomo Marchiori, Tong Dong Qiu, Markus Blatt, Alf Birger Rustad	Hardware Acceleration of High-Performance Computational Flow Dynamics Using High-Bandwidth Memory-Enabled Field-Programmable Gate Arrays.	ACM Trans. Reconfigurable Technol. Syst.	2022	DBLP DOI BibTeX RDF
23	Øystein Bjelland, Bismi Rasheed, Hans Georg Schaathun, Morten Dinhoff Pedersen, Martin Steinert, Alf Inge Hellevik, Robin T. Bye	Toward a Digital Twin for Arthroscopic Knee Surgery: A Systematic Review.	IEEE Access	2022	DBLP DOI BibTeX RDF
23	Catalina González-Uribe, Nicolás Yañez, Alf Onshuus Niño, Nubia Velasco, Juan M. Cordovez, Mauricio Santos-Vega, Natalia Niño-Machado, Andres Burbano, Angus G. Forbes, Ciro-Alberto Amaya Guio, Simon Turner, Diana Higuera-Mendieta, Sandra Martínez-Cabezas	A mixed-methods study on the design of Artificial Intelligence and data science-based strategies to inform public health responses to COVID-19 in different local health ecosystems: A study protocol for COLEV.	F1000Research	2022	DBLP DOI BibTeX RDF
23	Jingyuan Zhu, Aseem Salhotra, Christoph Robert Meinecke, Pradheebha Surendiran, Roman Lyttleton, Danny Reuter, Hillel Kugler, Stefan Diez, Alf Månsson, Heiner Linke, Till Korten	Solving the 3-Satisfiability Problem Using Network-Based Biocomputation.	Adv. Intell. Syst.	2022	DBLP DOI BibTeX RDF
23	Louise Petersen Matjeka, Dag Svanæs, Alf Inge Wang	Turning Eight Family Homes Into Interactive, Pervasive Playgrounds During the COVID-19 Pandemic Lockdown.	Frontiers Comput. Sci.	2022	DBLP DOI BibTeX RDF