Search results for "SPARK"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Elizabeth M. Bonsignore, Cody Dunne, Dana Rotman, Marc A. Smith, Tony Capone, Derek L. Hansen, Ben Shneiderman	First Steps to Netviz Nirvana: Evaluating Social Network Analysis with NodeXL.	CSE (4)	2009	DBLP DOI BibTeX RDF
13	Fiona Redhead, Margot Brereton	Designing Interaction for Local Communications: An Urban Screen Study.	INTERACT (2)	2009	DBLP DOI BibTeX RDF	Urban Screen, Interaction, Situated Display, Internet Technologies
13	Fabien Lauer, Gérard Bloch	Incorporating prior knowledge in support vector regression.	Mach. Learn.	2008	DBLP DOI BibTeX RDF	Kernel approximation, Multi-outputs, Support Vector Regression, Prior knowledge
13	Gérard Bloch, Fabien Lauer, Guillaume Colin	On Learning Machines for Engine Control.	Computational Intelligence in Automotive Applications	2008	DBLP DOI BibTeX RDF
13	Sudipta Kundu, Sorin Lerner, Rajesh Gupta 0001	Validating High-Level Synthesis.	CAV	2008	DBLP DOI BibTeX RDF
13	Edward Turner, Helen Treharne, Steve A. Schneider, Neil Evans	Automatic Generation of CSP \|\| B Skeletons from xUML Models.	ICTAC	2008	DBLP DOI BibTeX RDF
13	Zachary Pousman, Hafez Rouzati, John T. Stasko	Imprint, a community visualization of printer data: designing for open-ended engagement on sustainability.	CSCW	2008	DBLP DOI BibTeX RDF	casual infrormation visualization, information radiator, privacy, sustainability, identity, persuasion
13	Christoph Kallenberger, Haris Hamedovic, Abdelhak M. Zoubir	Evaluation of torque estimation using gray-box and physical crankshaft modeling.	ICASSP	2008	DBLP DOI BibTeX RDF
13	Thomas Locher, Pascal von Rickenbach, Roger Wattenhofer	Sensor Networks Continue to Puzzle: Selected Open Problems.	ICDCN	2008	DBLP DOI BibTeX RDF
13	Mark W. Bailey, Clark L. Coleman, Jack W. Davidson	Defense against the dark arts.	SIGCSE	2008	DBLP DOI BibTeX RDF	anti-virus software, compilers, computer science education, computer viruses
13	Benjamin M. Brosgol	MP1: languages for safety-critical software: issues and assessment.	SIGAda	2008	DBLP DOI BibTeX RDF	do-178, security, software engineering, design, reliability, ada, object-oriented, software, safety, languages, systems, assurance, safety-critical, high integrity
13	Gang Zhou, Soo Wohn Lee, Yubao Li	Preparation and Microstructural Characterization of Al2O3/ZrO2 Nanocomposites to Use in the Femoral Head of Hip Replacement.	BMEI (1)	2008	DBLP DOI BibTeX RDF
13	Giorgos Kourlimpinis, Giorgos Gyftodimos, John E. Psarras, Dimitris Askounis	Knowledge Exploitation through Modeling, Navigation and Querying, an Ontology-Based Integrated Architecture.	Panhellenic Conference on Informatics	2008	DBLP DOI BibTeX RDF
13	Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump	Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006).	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Competition, Decision procedures, Automated theorem proving, SMT, Satisfiability modulo theories
13	Guillaume Colin, Yann Chamaillard, Gérard Bloch, Gilles Corde	Neural Control of Fast Nonlinear Systems- Application to a Turbocharged SI Engine With VCT.	IEEE Trans. Neural Networks	2007	DBLP DOI BibTeX RDF
13	F. Maxwell Harper, Dan Frankowski, Sara Drenner, Yuqing Ren, Sara B. Kiesler, Loren G. Terveen, Robert E. Kraut, John Riedl	Talk amongst yourselves: inviting users to participate in online conversations.	IUI	2007	DBLP DOI BibTeX RDF	invitations, personalization, online community, incentives, discussion forums
13	Benjamin M. Brosgol	SA2: languages for safety-critical software: issues and assessment.	SIGAda	2007	DBLP DOI BibTeX RDF
13	Rod Chapman	Correctness by construction: putting engineering (back) into software.	SIGAda	2007	DBLP DOI BibTeX RDF
13	Caitlin Kelleher, Randy F. Pausch, Sara B. Kiesler	Storytelling alice motivates middle school girls to learn computer programming.	CHI	2007	DBLP DOI BibTeX RDF	children, programming, computer science education, programming environments, motivation, gender, Alice
13	Peter Shih, Brian C. Kaul, Sarangapani Jagannathan, James A. Drallmeier	Near Optimal Output-Feedback Control of Nonlinear Discrete-time Systems in Nonstrict Feedback Form with Application to Engines.	IJCNN	2007	DBLP DOI BibTeX RDF
13	Benjamin M. Brosgol	Languages for Safety-Critical Software: Issues and Assessment.	ICSE Companion	2007	DBLP DOI BibTeX RDF
13	John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith	Aborting tasks in BDI agents.	AAMAS	2007	DBLP DOI BibTeX RDF	reactive and deliberative, architectures, agents, formal models of agency
13	Christopher B. Stapleton, Charles E. Hughes	Believing is Seeing: Cultivating Radical Media Innovations.	IEEE Computer Graphics and Applications	2006	DBLP DOI BibTeX RDF	media innovation, mixed reality
13	Yingzi Du, George G. Rodney, Martin F. Schneider, Lisa M. Brown	Automatic Ca2+ Sparks Detection System.	ICIP	2006	DBLP DOI BibTeX RDF
13	Jan Moons, Carlos De Backer, Herwig Mannaert	Components for a pervasive information dissemination architecture.	ICSNC	2006	DBLP DOI BibTeX RDF
13	Xiang Yin 0001	The echo approach to formal verification.	ICSE	2006	DBLP DOI BibTeX RDF	formal specification, formal verification
13	Beng Siong Lim, Geok Hong Phua, Leck Leng Aw, Zhongqiang Ding, Hao Zeng, Hao He	Multi-sensor electrode setup verification and diagnostics system for EDM Operation.	ETFA	2006	DBLP DOI BibTeX RDF
13	Kaj Grønbæk	Ubiquitous hypermedia and social interaction in physical environments.	Hypertext	2006	DBLP DOI BibTeX RDF	augmented reality, context awareness, social computing, ubiquitous hypermedia
13	David N. Morley, Karen L. Myers, Neil Yorke-Smith	Continuous refinement of agent resource estimates.	AAMAS	2006	DBLP DOI BibTeX RDF	belief-desire-intention agents, resource approximation, procedural knowledge, plan execution
13	Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump	Design and Results of the First Satisfiability Modulo Theories Competition (SMT-COMP 2005).	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	competition, decision procedures, satisfiability modulo theories
13	Christopher B. Stapleton, Eileen M. Smith, Charles E. Hughes	The Art of Nurturing Citizen Scientists through Mixed Reality.	ISMAR	2005	DBLP DOI BibTeX RDF
13	Mary Shaw	Sparking Research Ideas from the Friction Between Doctrine and Reality.	WICSA	2005	DBLP DOI BibTeX RDF
13	Joana Trimble	The I.T. circuit certificate: training for the future.	SIGUCCS	2005	DBLP DOI BibTeX RDF	computer certification, computer competency, computer training program, training, computer education, computer training
13	Liping Liu, Feng Xia 0001, Zhi Wang 0003, Jiming Chen 0001, Youxian Sun	Deployment Issues in Wireless Sensor Networks.	MSN	2005	DBLP DOI BibTeX RDF
13	Ding-Li Yu, Michael Beham	Comparative Study on Engine Torque Modelling Using Different Neural Networks.	ISNN (3)	2005	DBLP DOI BibTeX RDF
13	Hannes Högni Vilhjálmsson	Augmenting Online Conversation through Automated Discourse Tagging.	HICSS	2005	DBLP DOI BibTeX RDF
13	Nicola Cesario, M. Lavorgna, Francesco Pirozzi	Modelling on-off virtual lambda sensors based on multi-spread probabilistic neural networks.	ETFA	2005	DBLP DOI BibTeX RDF
13	Liu Yang, Guojie Li, Zhongzhi Shi	Learning from Ontologies for Common Meaningful Structures.	Web Intelligence	2005	DBLP DOI BibTeX RDF
13	Barton F. Branstetter, Brian J. Bartholmai, David S. Channin	Reviews in Radiology Informatics: Establishing a Core Informatics Curriculum.	J. Digit. Imaging	2004	DBLP DOI BibTeX RDF	residents, education, Informatics
13	Sumit Gupta, Rajesh K. Gupta 0001, Nikil D. Dutt, Alexandru Nicolau	Coordinated parallelizing compiler optimizations and high-level synthesis.	ACM Trans. Design Autom. Electr. Syst.	2004	DBLP DOI BibTeX RDF	dynamic CSE, parallelizing transformations, presynthesis, embedded systems, high-level synthesis, Code motions, common subexpression elimination
13	Paul Mason, Ken Cosh, Pulyamon Vihakapirom	On structuring formal, semi-formal and informal data to support traceability in systems engineering environments.	CIKM	2004	DBLP DOI BibTeX RDF	systems engineering data, traceability, meta-modelling
13	Sumit Gupta, Nikil D. Dutt, Rajesh Gupta 0001, Alexandru Nicolau	Loop Shifting and Compaction for the High-Level Synthesis of Designs with Complex Control Flow.	DATE	2004	DBLP DOI BibTeX RDF
13	Pamela J. Ludford, Dan Cosley, Dan Frankowski, Loren G. Terveen	Think different: increasing online community participation using uniqueness and group dissimilarity.	CHI	2004	DBLP DOI BibTeX RDF	recommender systems, similarity, online communities, uniqueness, social psychology
13	Anjali V. Kulkarni, Madhuri G. Karnik	Experimental Measurements and Theoretical Estimation of Temperature in ECDM Process.	ICMENS	2004	DBLP DOI BibTeX RDF
13	Hannes Högni Vilhjálmsson	Animating Conversation in Online Games.	ICEC	2004	DBLP DOI BibTeX RDF
13	Sumit Gupta, Nikil D. Dutt, Rajesh K. Gupta 0001, Alexandru Nicolau	Dynamic Conditional Branch Balancing during the High-Level Synthesis of Control-Intensive Designs.	DATE	2003	DBLP DOI BibTeX RDF
13	Allan R. Jones	Adult learning: the often overlooked aspect of technical training.	SIGUCCS	2003	DBLP DOI BibTeX RDF	technical training, teaching, technology, faculty development, student management
13	Mattias Esbjörnsson, Oskar Juhlin, Mattias Östergren	Motorcyclists Using Hocman - Field Trials on Mobile Interaction.	Mobile HCI	2003	DBLP DOI BibTeX RDF
13	Shaun H. Lee, Robert J. Howlett, Simon D. Walters	A Fuzzy Control System for a Small Gasoline Engine.	KES	2003	DBLP DOI BibTeX RDF
13	Alan Burns 0001, Tse-Min Lin	Adding Temporal Annotations and Associated Verification to Ravenscar Profile.	Ada-Europe	2003	DBLP DOI BibTeX RDF
13	Angela Garabet, Steve Mann 0001, James Fung	Exploring design through wearable computing art(ifacts).	CHI Extended Abstracts	2002	DBLP DOI BibTeX RDF	wearable computing, art, design research
13	Alexandru Nicolau, Nikil D. Dutt, Rajesh Gupta 0001, Nick Savoiu, Mehrdad Reshadi, Sumit Gupta	Dynamic Common Sub-Expression Elimination during Scheduling in High-Level Synthesis.	ISSS	2002	DBLP DOI BibTeX RDF	common sub-expression elimination, dynamic CSE, parallelizing transformations, high-level synthesis
13	Michael Ward, Neil C. Audsley	Hardware implementation of the Ravenscar Ada tasking profile.	CASES	2002	DBLP DOI BibTeX RDF	FPGA, timing, hardware compilation
13	Michael Ward, Neil C. Audsley	Hardware Implementation of Programming Languages for Real-Tim.	IEEE Real Time Technology and Applications Symposium	2002	DBLP DOI BibTeX RDF
13	Michael Ward, Neil C. Audsley	Language Issues of Compiling Ada to Hardware.	Ada-Europe	2002	DBLP DOI BibTeX RDF
13	Karen A. Schriver	Readability formulas in the new millenium: what's the use?	ACM J. Comput. Documentation	2000	DBLP DOI BibTeX RDF	criterion passages, reliability, validity
13	Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Guido M. Miconi, Ugo Pozzi, Tiziano Villa, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli	Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine.	HSCC	2000	DBLP DOI BibTeX RDF
13	Max Mühlhäuser	Ubiquitous Computing and Its Influence on MSE.	ISMSE	2000	DBLP DOI BibTeX RDF
13	A. K. Bhattacharjee, Gopa Sen, S. D. Dhodapkar, Kundapur Karunakar, Basant Rajan, R. K. Shyamasundar	A System for Object Code Validation.	FTRTFT	2000	DBLP DOI BibTeX RDF
13	Ken Wong, Jeff Joyce	Refinement of Safety-Related Hazards into Verifiable Code Assertions.	SAFECOMP	1998	DBLP DOI BibTeX RDF
13	Gregor Kiczales	Beyond the Black Box: Open Implementation.	IEEE Softw.	1996	DBLP DOI BibTeX RDF
13	Matthew Chalmers	Pearls, Swines and Sow's Ears: Interface Research Inside a Multinational Bank.	BNCOD	1996	DBLP DOI BibTeX RDF
13	Alfred Rosskopf	Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical Assessment.	Ada-Europe	1996	DBLP DOI BibTeX RDF
13	Colin O'Halloran	Evaluation Semantics in Z.	FME	1994	DBLP DOI BibTeX RDF
13	Koen Langendoen, Willem G. Vree	FRATS: A Parallel Reduction Strategy for Shared Memory.	PLILP	1991	DBLP DOI BibTeX RDF
13	Amos O. Olagunju	In search of heuristics for keyword detection (abstract only): my source of discontent.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
13	Genevieve Greenwald-Katz	Computers in architecture.	AFIPS National Computer Conference	1976	DBLP DOI BibTeX RDF
13	Richard I. Shrager	Nonlinear Regression With Linear Constraints: An Extension of the Magnified Diagonal Method.	J. ACM	1970	DBLP DOI BibTeX RDF
13	Alan C. Shaw	Parsing of Graph-Representable Pictures.	J. ACM	1970	DBLP DOI BibTeX RDF
12	Savita Chaudhary, V. Karthik, R. Shankar, Ayesha Taranum, Naresh E.	Parametrized Optimization Based on an Investigation of Musical Similarities Using SPARK and Hadoop.	SN Comput. Sci.	2024	DBLP DOI BibTeX RDF
12	Imtisenla Longkumer, Dilwar Hussain Mazumder	Improving cancer prediction using feature selection in spark environment.	Concurr. Comput. Pract. Exp.	2024	DBLP DOI BibTeX RDF
12	Danlin Jia, Li Wang, Natalia Valencia, Janki Bhimani, Bo Sheng, Ningfang Mi	Learning-Based Dynamic Memory Allocation Schemes for Apache Spark Data Processing.	IEEE Trans. Cloud Comput.	2024	DBLP DOI BibTeX RDF
12	Nguyen Minh Tuan, Nguyen Van Toan, Luong Van Duong, Vu Thang Long, Tran Bao Trung, Pham Van Trinh, Doan Dinh Phuong	Microstructure and Microhardness of Conical-Shaped W-Cu Composites Prepared by Spark Plasma Sintering and Subsequent Spinning Process.	IEEE Access	2024	DBLP DOI BibTeX RDF
12	Rajesh Dwivedi, Aruna Tiwari, Neha Bharill, Milind B. Ratnaparkhe, Parul Mogre, Pranjal Gadge, Kethavath Jagadeesh	A novel apache spark-based 14-dimensional scalable feature extraction approach for the clustering of genomics data.	J. Supercomput.	2024	DBLP DOI BibTeX RDF
12	Piyush Sewal, Hari Singh	Correction: Analyzing distributed Spark MLlib regression algorithms for accuracy, execution efficiency and scalability using best subset selection approach.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
12	Piyush Sewal, Hari Singh	Analyzing distributed Spark MLlib regression algorithms for accuracy, execution efficiency and scalability using best subset selection approach.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
12	Abdelrahman Elgendy, Jihong Yan, Mingyang Zhang	A Parallel distributed genetic algorithm using Apache Spark for flexible scheduling of multitasks in a cloud manufacturing environment.	Int. J. Comput. Integr. Manuf.	2024	DBLP DOI BibTeX RDF
12	Weiping Ding 0001, Ying Sun, Ming Li, Jun Liu 0001, Hengrong Ju, Jiashuang Huang, Chin-Teng Lin	A Novel Spark-Based Attribute Reduction and Neighborhood Classification for Rough Evidence.	IEEE Trans. Cybern.	2024	DBLP DOI BibTeX RDF
12	M. Maruf Öztürk	Tuning parameters of Apache Spark with Gauss-Pareto-based multi-objective optimization.	Knowl. Inf. Syst.	2024	DBLP DOI BibTeX RDF
12	Xudong Sun 0004, Alladoumbaye Ngueilbaye, Kaijing Luo, Yongda Cai, Dingming Wu 0001, Joshua Zhexue Huang	A scalable and flexible basket analysis system for big transaction data in Spark.	Inf. Process. Manag.	2024	DBLP DOI BibTeX RDF
12	B. Srivani, N. Sandhya, B. Padmaja Rani	A case study for performance analysis of big data stream classification using spark architecture.	Int. J. Syst. Assur. Eng. Manag.	2024	DBLP DOI BibTeX RDF
12	Shishi Xiao, Suizi Huang, Yue Lin, Yilin Ye, Wei Zeng 0004	Let the Chart Spark: Embedding Semantic Context into Chart with Text-to-Image Generative Model.	IEEE Trans. Vis. Comput. Graph.	2024	DBLP DOI BibTeX RDF
12	Farhan Ullah, Gautam Srivastava 0001, Shamsher Ullah, Kenji Yoshigoe, Yue Zhao	NIDS-VSB: Network Intrusion Detection System for VANET Using Spark-Based Big Data Optimization and Transfer Learning.	IEEE Trans. Consumer Electron.	2024	DBLP DOI BibTeX RDF
12	Chenghao Lyu, Qi Fan, Philippe Guyard, Yanlei Diao	A Spark Optimizer for Adaptive, Fine-Grained Parameter Tuning.	CoRR	2024	DBLP DOI BibTeX RDF
12	Hussien Ali El-Sayed Ali, M. H. Alham, Doaa Khalil Ibrahim	Big data resolving using Apache Spark for load forecasting and demand response in smart grid: a case study of Low Carbon London Project.	J. Big Data	2024	DBLP DOI BibTeX RDF
12	Yin Zhao, Ma. Finipina Ramos, Bin Li	Integrated framework to integrate Spark-based big data analytics and for health monitoring and recommendation in sports using XGBoost algorithm.	Soft Comput.	2024	DBLP DOI BibTeX RDF
12	Yuxing Chen, Mohammad Ashraful Hoque, Pengfei Xu 0004, Jiaheng Lu, Sasu Tarkoma	SimCost: cost-effective resource provision prediction and recommendation for spark workloads.	Distributed Parallel Databases	2024	DBLP DOI BibTeX RDF
12	Piyush Sewal, Hari Singh	Performance Comparison of Apache Spark and Hadoop for Machine Learning based iterative GBTR on HIGGS and Covid-19 Datasets.	Scalable Comput. Pract. Exp.	2024	DBLP DOI BibTeX RDF
12	Vijayakumar Polepally, Jagannadha Rao D. B., Parsi Kalpana, S. Nagendra Prabhu	Exponential Squirrel Search Algorithm-Based Deep Classifier for Intrusion Detection in Cloud Computing with Big Data Assisted Spark Framework.	Cybern. Syst.	2024	DBLP DOI BibTeX RDF
12	Ali Kelkawi, Imtiaz Ahmad, Mohammed El-Abd	Spark-based cooperative coevolution for large scale global optimization.	Clust. Comput.	2024	DBLP DOI BibTeX RDF
12	Carlos Fernandez-Basso, M. Dolores Ruiz, María J. Martín-Bautista	New Spark solutions for distributed frequent itemset and association rule mining algorithms.	Clust. Comput.	2024	DBLP DOI BibTeX RDF
12	Senxing Lu, Mingming Zhao, Chunlin Li 0001, Quanbing Du, Youlong Luo	Time-Aware Data Partition Optimization and Heterogeneous Task Scheduling Strategies in Spark Clusters.	Comput. J.	2024	DBLP DOI BibTeX RDF
12	Esra'a Alhenawi, Ruba Abu Khurma, Robertas Damasevicius, Abdelazim G. Hussien	Solving Traveling Salesman Problem Using Parallel River Formation Dynamics Optimization Algorithm on Multi-core Architecture Using Apache Spark.	Int. J. Comput. Intell. Syst.	2024	DBLP DOI BibTeX RDF
12	Fangxin Liu, Ning Yang, Haomin Li, Zongwu Wang, Zhuoran Song, Songwen Pei, Li Jiang 0002	SPARK: Scalable and Precision-Aware Acceleration of Neural Networks via Efficient Encoding.	HPCA	2024	DBLP DOI BibTeX RDF
12	Harsha Yelchuri, Abhigna V. Kumar, Siddharth Sahu, Savinay Kumar, Shrutkirthi S. Godkhindi, T. V. Prabhakar 0001	GASP: Gap Analysis for Spark Plug.	COMSNETS	2024	DBLP DOI BibTeX RDF
12	Mengying Shang, Yonghua Zhou, Yiduo Mei, Jie Zhao, Hamido Fujita	Energy-Saving Train Operation Synergy Based on Multi-Agent Deep Reinforcement Learning on Spark Cloud.	IEEE Trans. Veh. Technol.	2023	DBLP DOI BibTeX RDF
12	Álvaro Fernández Casaní, Carlos García-Montoro, Santiago González de la Hoz, José Salt, Javier Sánchez, Miguel Villaplana Perez	Big Data Analytics for the ATLAS EventIndex Project with Apache Spark.	Comput. Math. Methods	2023	DBLP DOI BibTeX RDF
12	Ahlam Kourid, Salim Chikhi, Diego Reforgiato Recupero	Fuzzy optimized V-detector algorithm on Apache Spark for class imbalance issue of intrusion detection in big data.	Neural Comput. Appl.	2023	DBLP DOI BibTeX RDF
12	Chuan Luo 0001, Qian Cao, Tianrui Li 0001, Hongmei Chen 0001, Sizhao Wang	MapReduce accelerated attribute reduction based on neighborhood entropy with Apache Spark.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
12	Xiaochuang Yao, Guojiang Yu, Guoqing Li, Shuai Yan, Long Zhao, Dehai Zhu	HexTile: A Hexagonal DGGS-Based Map Tile Algorithm for Visualizing Big Remote Sensing Data in Spark.	ISPRS Int. J. Geo Inf.	2023	DBLP DOI BibTeX RDF