Search results for "Eden"

Hits ?▲	Authors	Title	Venue	Year	Link
21	Mahdi Noorian, Ebrahim Bagheri, Weichang Du	Machine Learning-based Software Testing: Towards a Classification Framework.	SEKE	2011	DBLP BibTeX RDF
21	Emil Börjesson, Robert Feldt	Structuring Software Engineering Case Studies to Cover Multiple Perspectives.	SEKE	2011	DBLP BibTeX RDF
21	Zhengshan Wang, Bixin Li, Lulu Wang 0001, Qiao Li	A Brief Survey on Automatic Integration Test Order Generation.	SEKE	2011	DBLP BibTeX RDF
21	Leon Wu, Gail E. Kaiser	Constructing Subtle Concurrency Bugs Using Synchronization-Centric Second-Order Mutation Operators.	SEKE	2011	DBLP BibTeX RDF
21	Henrique Rocha, Marco Túlio Valente	How Annotations are Used in Java: An Empirical Study.	SEKE	2011	DBLP BibTeX RDF
21	Huiqun Yu, Dongmei Liu, Guisheng Fan, Liqiong Chen	A Regression Test Technique for Analyzing the Functionalities of Service Composition.	SEKE	2011	DBLP BibTeX RDF
21	Shuib Basri, Rory V. O'Connor	The Impact of Software Development Team Dynamics on the Knowledge Management Process(S).	SEKE	2011	DBLP BibTeX RDF
21	Sergiy Vilkomir, Ali Asghary Karahroudy, Nasseh Tabrizi	Interface Testing Using a Subgraph Splitting Algorithm: A Case Study.	SEKE	2011	DBLP BibTeX RDF
21	Rehab El-Kharboutly, Swapna S. Gokhale	Architecture-based Reliability Analysis of Concurrent Software Applications using Stochastic Reward Nets.	SEKE	2011	DBLP BibTeX RDF
21	Patricia Vilain, Alexandre Jonatan B. Martins	Neglecting Agile Principles and Practices: A Case Study.	SEKE	2011	DBLP BibTeX RDF
21	Vinícius Augusto Tagliatti Zani, Daniel Feitosa, Elisa Yumi Nakagawa	Current State of Reference Architectures in the Context of Agile Methodologies.	SEKE	2011	DBLP BibTeX RDF
21	Ge Li 0001, Zhi Jin	An Ontology based Method for Building Understandable Hierarchical Classification Structure for Software Assets Browsing.	SEKE	2011	DBLP BibTeX RDF
21	Crescencio Rodrigues Lima Neto, Ivan do Carmo Machado, Paulo Anselmo da Mota Silveira Neto, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira	Software Product Lines System Test Case Tool: A Proposal.	SEKE	2011	DBLP BibTeX RDF
21	Andreas Gregoriades, Vicky Papadopoulou Lesta, Petros Petrides	Project Risk Management Using Event Calculus(S).	SEKE	2011	DBLP BibTeX RDF
21	Riccardo Martoglia	Facilitate IT-Providing SMEs in Software Development: a Semantic Helper for Filtering and Searching Knowledge.	SEKE	2011	DBLP BibTeX RDF
21	Mehwish Riaz, Emilia Mendes, Ewan D. Tempero	Maintainability Predictors for Relational Database-Driven Software Applications: Results from a Survey.	SEKE	2011	DBLP BibTeX RDF
21	Carmelo Ardito, Paolo Buono, Danilo Caivano, Maria Francesca Costabile, Rosa Lanzilotti, Anders Bruun, Jan Stage	Usability evaluation: a survey of software development organizations.	SEKE	2011	DBLP BibTeX RDF
21	Neelam Soundarajan, Derek Bronish, Raffi Khatchadourian	Formalizing Reusable Aspect-Oriented Concurrency Control.	SEKE	2011	DBLP BibTeX RDF
21	Bruno Nandolpho Machado, Lucas de Oliveira Arantes, Ricardo de Almeida Falbo	Using Semantic Annotations for Supporting Requirements Evolution.	SEKE	2011	DBLP BibTeX RDF
21	Shi-Kuo Chang, Yao Sun 0009, Yingze Wang, Chia Chun Shih, Ting-Chun Peng	Design of Component-based Slow Intelligence Systems and Application to Social Influence Analysis.	SEKE	2011	DBLP BibTeX RDF
21	David de Almeida Ferreira, Alberto Rodrigues da Silva	Use Case Driven Extension of ProjectIT-RSL to Support Behavioral Concerns.	SEKE	2011	DBLP BibTeX RDF
21	Kaiping Liu, Hee Beng Kuan Tan, Xu Chen, Hongyu Zhang 0002, Bindu Padmanabhuni	Automated Extraction of Data Lifecycle Support from Database Applications.	SEKE	2011	DBLP BibTeX RDF
21	Chunli Xie, Bixin Li, Xifeng Wang	A Web Service Reliability Model Based on Birth-Death Process.	SEKE	2011	DBLP BibTeX RDF
21	Irfan Siap, Hasan Akin, Ferhat Sah	Garden of eden configurations for 2-D cellular automata with rule 2460 N.	Inf. Sci.	2010	DBLP DOI BibTeX RDF
21	Michel Coornaert	Some Extensions of the Moore-Myhill Garden of Eden Theorem.	JAC	2010	DBLP BibTeX RDF
21	Mischa Dieterle, Jost Berthold, Rita Loogen	A Skeleton for Distributed Work Pools in Eden.	FLOPS	2010	DBLP DOI BibTeX RDF
21	Jeonghwa Yang, W. Keith Edwards, David Haslem	Eden: supporting home network management through interactive visual tools.	UIST	2010	DBLP DOI BibTeX RDF
21	Oleg Lobachev, Rita Loogen	Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden.	CASC	2010	DBLP DOI BibTeX RDF
21	Mustafa Yagimli	Hareketli cisimleri tanıyan ve yörüngelerini tayin eden optoelektronik bir sistemin geliştirilmesi (An optoelectronics system develop which recognizes moving objects and detect their orbit)		2010	RDF
21	Maurice Margenstern	About the Garden of Eden Theorems for Cellular Automata in the Hyperbolic Plane.	AUTOMATA	2009	DBLP DOI BibTeX RDF
21	Steve Seif	Constrained Eden.	Complex Syst.	2009	DBLP DOI BibTeX RDF
21	Michael Jackson 0007	Managing the tensions created by mixing methods: comments for Eden et al from a critical systems perspective.	J. Oper. Res. Soc.	2009	DBLP DOI BibTeX RDF
21	Thomas Horstmeyer, Rita Loogen	Graph-based Communication in Eden.	Trends in Functional Programming	2009	DBLP BibTeX RDF
21	Perihan Kilimci	Hareket eden nesneler için sorgu sistemi (Query system for moving objects)		2009	RDF
21	Jeonghwa Yang	Eden: an interactive home network management system.		2009	RDF
21	Richard J. Ormerod	OR and systems - some comments on Checkland's reply to Eden and Ackerman.	J. Oper. Res. Soc.	2008	DBLP DOI BibTeX RDF
21	Barnabas M. Garay, Leon O. Chua	Isles of Eden and the Zuk Theorem in Rd.	Int. J. Bifurc. Chaos	2008	DBLP DOI BibTeX RDF
21	Resat Özgür Doruk	Nonlinear controller designs for a reaction wheel actuated observatory satellite (Tepki tekeri ile hareket eden gözlem uyduları için dogrusal olmayan denetleç tasarımları)		2008	RDF
21	Leon O. Chua, Kristóf Karacs, Valery I. Sbitnev, Junbiao Guan, Jinwook Shin	A Nonlinear Dynamics Perspective of Wolfram's New Kind of Science Part VIII: More ISLES of Eden.	Int. J. Bifurc. Chaos	2007	DBLP DOI BibTeX RDF
21	Leon O. Chua, Junbiao Guan, Valery I. Sbitnev, Jinwook Shin	A Nonlinear Dynamics Perspective of Wolfram's New Kind of Science Part VII: ISLES of Eden.	Int. J. Bifurc. Chaos	2007	DBLP DOI BibTeX RDF
21	Jost Berthold, Rita Loogen	Visualizing Parallel Functional Program Runs: Case Studies with the Eden Trace Viewer.	PARCO	2007	DBLP BibTeX RDF
21	Steffen Priebe	Structured generic programming in Eden.		2007	RDF
21	Mercedes Hidalgo-Herrero, Alberto Verdejo, Yolanda Ortega-Mallén	Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics.	WRS@FLoC	2006	DBLP DOI BibTeX RDF
21	Peter Checkland	Reply to Eden and Ackermann: Any future for problem structuring methods?	J. Oper. Res. Soc.	2006	DBLP DOI BibTeX RDF
21	Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio 0001	Analyzing the influence of mixed evaluation on the performance of Eden skeletons.	Parallel Comput.	2006	DBLP DOI BibTeX RDF
21	John Durno	EDEN: A Web-Based Model for Electronic Document Exchange.	Libr. Trends	2006	DBLP DOI BibTeX RDF
21	René Victor Valqui Vidal	J.M. Bryson, F. Ackermann, C. Eden and C.B. Finn, Visible Thinking Unlocking Causal Mapping for Practical Business Results, J. Wiley (2004) ISBN 0-470-86915-1.	Eur. J. Oper. Res.	2006	DBLP DOI BibTeX RDF
21	Predrag T. Tosic	On the Complexity of Counting Fixed Points and Gardens of Eden in Sequential Dynamical Systems on Planar Bipartite Graphs.	Int. J. Found. Comput. Sci.	2006	DBLP DOI BibTeX RDF
21	Predrag T. Tosic	Counting Fixed Points and Gardens of Eden of Sequential Dynamical Systems on Planar Bipartite Graphs.	Electron. Colloquium Comput. Complex.	2005	DBLP BibTeX RDF
21	Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí	Parallel functional programming in Eden.	J. Funct. Program.	2005	DBLP DOI BibTeX RDF
21	Ricardo Peña-Marí, Clara Segura	Reasoning About Skeletons in Eden.	PARCO	2005	DBLP BibTeX RDF
21	Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio 0001	Towards Improving Skeletons in Eden.	PARCO	2005	DBLP BibTeX RDF
21	Michael Stjernholm, Stefan Poslad, Landong Zuo, Ole Sortkjær, Xuan Huang 0002	The EDEN-IW Ontology Model for Sharing Knowledge and Water Quality Data between Heterogeneous Databases.	EnviroInfo (1)	2004	DBLP BibTeX RDF
21	Gianfranco Lamperti, Marina Zanella	EDEN: An Intelligent Software Environment for Diagnosis of Discrete-Event Systems.	Appl. Intell.	2003	DBLP DOI BibTeX RDF
21	Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña, Steffen Priebe, Fernando Rubio 0001	Parallelism Abstractions in Eden.	Patterns and Skeletons for Parallel and Distributed Computing	2003	DBLP DOI BibTeX RDF
21	Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén	An Operational Semantics for the Parallel Language Eden.	Parallel Process. Lett.	2002	DBLP DOI BibTeX RDF
21	Robert G. Brown	eden: A Home Beowulf.	login Usenix Mag.	2001	DBLP BibTeX RDF
21	Jon McCormack	Eden: An Evolutionary Sonic Ecosystem.	ECAL	2001	DBLP DOI BibTeX RDF
21	Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Predrag T. Tosic	Gardens of Eden and Fixed Points in Sequential Dynamical Systems.	DM-CCG	2001	DBLP BibTeX RDF
21	Deqin Yan, Qing-Hu Hou	The Enumeration of Preimages and Gardens-of-Eden in Sequential Cellular Automata.	Complex Syst.	2000	DBLP BibTeX RDF
21	Cristóbal Pareja, Ricardo Pena, Fernando Rubio 0001, Clara Segura	Optimizing Eden by Program Transformation.	WFLP	2000	DBLP BibTeX RDF
21	Cristóbal Pareja, Ricardo Pena, Fernando Rubio 0001, Clara Segura	Optimising Eden by transformation.	Scottish Functional Programming Workshop	2000	DBLP BibTeX RDF
21	Hans-Wolfgang Loidl, Ulrike Klusik, Kevin Hammond, Rita Loogen, Philip W. Trinder	GpH and Eden: Comparing two parallel functional languages on a Beowulf cluster.	Scottish Functional Programming Workshop	2000	DBLP BibTeX RDF
21	Ulrike Klusik, Rita Loogen, Steffen Priebe	Controlling parallelism and data distribution in Eden.	Scottish Functional Programming Workshop	2000	DBLP BibTeX RDF
21	Ulrike Klusik, Ricardo Pena, Clara Segura	Bypassing of Channels in Eden.	Scottish Functional Programming Workshop	1999	DBLP BibTeX RDF
21	Silvia Breitinger	Design and implementation of the parallel functional language Eden.		1998	RDF
21	Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí	High-level Parallel and Concurrent Programming in Eden.	APPIA-GULP-PRODE	1997	DBLP BibTeX RDF
21	Michael S. Jolly	Exponential Attractors for Dissipative Evolution Equations (A. Eden, C. Foias, B. Nicolaenko, and R. Témam).	SIAM Rev.	1996	DBLP DOI BibTeX RDF
21	Silvia Breitinger, Ulrike Klusik, Rita Loogen	An Implementation of Eden on Top of Concurrent Haskell.	Implementation of Functional Languages	1996	DBLP DOI BibTeX RDF
21	Luis A. Galán, Cristóbal Pareja, Ricardo Pena	Functional Skeletons Generate Process Topologies in Eden.	APPIA-GULP-PRODE	1996	DBLP BibTeX RDF
21	Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí	Eden - The Paradise of Functional Concurrent Programming.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
21	J. M. Hammersley, Giuseppe Mazzarino	Properties of Large Eden Clusters in the Plane.	Comb. Probab. Comput.	1994	DBLP DOI BibTeX RDF
21	Antonio Machi, Filippo Mignosi	Garden of Eden Configurations for Cellular Automata on Cayley Graphs of Groups.	SIAM J. Discret. Math.	1993	DBLP DOI BibTeX RDF
21	Dieter W. Fellner, Frank Kappe	Eden - an Editor Environment for Object- Oriented Graphics Editing.	Eurographics	1990	DBLP DOI BibTeX RDF
21	Calton Pu, Jerre D. Noe	Design and Implementation of Nested Transactions in Eden.	SRDS	1987	DBLP BibTeX RDF
21	Bruno Poizat	A L'Ouest D'Eden.	J. Symb. Log.	1986	DBLP DOI BibTeX RDF
21	Calton Pu, Jerre D. Noe, Andrew Proudfoot	Regeneration of Replicated Objects: A Technique and Its Eden Implementation.	ICDE	1986	DBLP DOI BibTeX RDF
21	Jerre D. Noe, Andrew Proudfoot, Calton Pu	Replication in Distributed Systems: The Eden Experience.	FJCC	1986	DBLP BibTeX RDF
21	Guy T. Almes, Andrew P. Black, Edward D. Lazowska, Jerre D. Noe	The Eden System: A Technical Review.	IEEE Trans. Software Eng.	1985	DBLP DOI BibTeX RDF
21	Andrew P. Black	Supporting Distributed Applications: Experience with Eden.	SOSP	1985	DBLP DOI BibTeX RDF
21	L. K. Bruckner	On the Garden-of-Eden problem for one-dimensional cellular automata.	Acta Cybern.	1979	DBLP BibTeX RDF
21	William I. Grosky	On the Existence of Garden-of-Eden Configurations	Inf. Control.	1978	DBLP DOI BibTeX RDF
21	Serafino Amoroso, Gerald Cooper, Yale N. Patt	Some Clarifications of the Concept of a Garden-of-Eden Configuration.	J. Comput. Syst. Sci.	1975	DBLP DOI BibTeX RDF
21	Thomas W. Calvert	Recognizing patterns: Studies in living and automatic systems: Paul A. Kolers and Murray Eden (editors) M.I.T. Press, Cambridge, Mass. (1968).	Autom.	1969	DBLP DOI BibTeX RDF
20	Shuang Xu, Selen Cremaschi, Mario R. Eden, Anjan Kumar Tula	Integrating reaction pathways and downstream separation network for optimal sustainable process route selection.	Comput. Chem. Eng.	2024	DBLP DOI BibTeX RDF
20	Evandro L. C. Macedo, Anselmo Luiz Éden Battisti, Juan Lucas Vieira, Julia Noce, Paulo F. Pires, Débora C. Muchaluat-Saade, Ana Cristina Bernardo de Oliveira, Flávia Coimbra Delicato	Distributed Auction-Based SFC Placement in a Multi-domain 5G Environment.	SN Comput. Sci.	2024	DBLP DOI BibTeX RDF
20	Eden Pelleg, Stanislav Zivný	Additive Sparsification of CSPs.	ACM Trans. Algorithms	2024	DBLP DOI BibTeX RDF
20	Meirav Taieb-Maimon, Eden Ya'akobi, Nevo Itzhak, Yossi Zaltsman	Comparing Visual Encodings for the Task of Anomaly Detection.	Int. J. Hum. Comput. Interact.	2024	DBLP DOI BibTeX RDF
20	Jiahe Pan, Jonathan Eden, Denny Oetomo, Wafa Johal	Exploring the Effects of Shared Autonomy on Cognitive Load and Trust in Human-Robot Interaction.	CoRR	2024	DBLP DOI BibTeX RDF
20	Alon Eden, Michal Feldman, Simon Mauras, Divyarthi Mohan	Private Interdependent Valuations: New Bounds for Single-Item Auctions and Matroids.	CoRR	2024	DBLP DOI BibTeX RDF
20	Surendra Nepal, Vishnu Raveendran, Michael Eden, Rainey Lyons, Adrian Muntean	Numerical Study of a Strongly Coupled Two-scale System with Nonlinear Dispersion.	CoRR	2024	DBLP DOI BibTeX RDF
20	Liang Zhang, Katherine Jijo, Spurthi Setty, Eden Chung, Fatima Javid, Natan Vidra, Tommy Clifford	Enhancing Large Language Model Performance To Answer Questions and Extract Information More Accurately.	CoRR	2024	DBLP DOI BibTeX RDF
20	Natan Vidra, Thomas Clifford, Katherine Jijo, Eden Chung, Liang Zhang	Improving Classification Performance With Human Feedback: Label a few, we label the rest.	CoRR	2024	DBLP DOI BibTeX RDF
20	Roger Karl, Gabriele Romano, Josephin Marx, Matthias Eden, Philipp Schlegel, Lubov Stroh, Samantha Fischer, Maximilian Hehl, Reinald Kühle, Lukas Mohl, Matthias Karck, Norbert Frey, Raffaele De Simone, Sandy Engelhardt	An ex-vivo and in-vitro dynamic simulator for surgical and transcatheter mitral valve interventions.	Int. J. Comput. Assist. Radiol. Surg.	2024	DBLP DOI BibTeX RDF
20	Mila Manzano, Kristen O'Donnell, Eden Espinosa, Sejong Yoon	MiRODES: Mini Intelligent Robot for On-campus Domain-specific Event Support.	HRI (Companion)	2024	DBLP DOI BibTeX RDF
20	Eden Or, Shachar Maidenbaum	When Vision Lies - Navigating Virtual Environments with Unreliable Visual Information.	VR	2024	DBLP DOI BibTeX RDF
20	Shuang Xu, Selen Cremaschi, Mario R. Eden, Anjan Kumar Tula	An integrated framework for sustainable process design by hybrid and intensified equipment.	Comput. Chem. Eng.	2023	DBLP DOI BibTeX RDF
20	Jun Zhang, Qin Wang, Mario R. Eden, Weifeng Shen	A Deep Learning-based Framework Towards inverse Green Solvent Design for Extractive Distillation with Multi-index Constraints.	Comput. Chem. Eng.	2023	DBLP DOI BibTeX RDF
20	Batchen Eden, Ilai Bistritz, Nicholas Bambos, Irad Ben-Gal, Evgeni Khmelnitsky	Personalized and Energy-Efficient Health Monitoring: A Reinforcement Learning Approach.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
20	Mee-Yung Shin, Claudia Gonzalez Viejo, Eden Jane Tongson, Tonya Wiechel, Paul W. J. Taylor, Sigfredo Fuentes	Early detection of Verticillium wilt of potatoes using near-infrared spectroscopy and machine learning modeling.	Comput. Electron. Agric.	2023	DBLP DOI BibTeX RDF