Search results for "SPARK"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
91	Jae-Jin Lee, Gi-Yong Song	High-Level Synthesis Using SPARK and Systolic Array.	ARC	2006	DBLP DOI BibTeX RDF
88	Simon D. Walters, Peter A. Howson, Robert J. Howlett	Semi-automatic Production Testing of Spark Plugs.	KES (2)	2007	DBLP DOI BibTeX RDF	spark plug, Neural network
78	David N. Morley, Karen L. Myers	The SPARK Agent Framework.	AAMAS	2004	DBLP DOI BibTeX RDF
78	Ondrej Lhoták, Laurie J. Hendren	Scaling Java Points-to Analysis Using SPARK.	CC	2003	DBLP DOI BibTeX RDF
75	Ricky E. Sward, Mark Gerken	Developing safety critical software for an unmanned aerial vehicle situational awareness tool.	SIGAda	2006	DBLP DOI BibTeX RDF	formal methods, UAV, unmanned aerial vehicle, safety critical, SPARK, high integrity
75	Roderick Chapman, Adrian Hilton 0002	Enforcing security and safety models with an information flow analysis tool.	SIGAda	2004	DBLP DOI BibTeX RDF	Bell-LaPadula, Dolev-Yao, SPARK Ada, security, Ada, safety, information flow
75	Tse-Min Lin, John A. McDermid	A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95.	Ada-Europe	2003	DBLP DOI BibTeX RDF	behavioural subtyping, supertype abstraction, object-oriented programming, SPARK, modular reasoning
74	Kung-Kiu Lau, Zheng Wang 0015	Verified component-based software in SPARK: experimental results for a missile guidance system.	SIGAda	2007	DBLP DOI BibTeX RDF	proof reuse, verified software, software components, SPARK
74	Xavier Sautejeau	Modeling SPARK systems with UML.	SIGAda	2005	DBLP DOI BibTeX RDF	UML, ada, profile, metamodel, informed, SPARK
65	Sunyoung Park, Tek-Jin Nam, Yuree Stacy Lim	Creating social value of interactive media installation: case study of designing "wish spark".	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	donation, participation
65	Qi Zhou, Chong Wang, Miao Xiong, Haofen Wang, Yong Yu 0001	SPARK: Adapting Keyword Query to Semantic Search.	ISWC/ASWC	2007	DBLP DOI BibTeX RDF
65	Ricky E. Sward, Leemon C. Baird III	Proving Functional Equivalence for Program Slicing in SPARK™.	Ada-Europe	2005	DBLP DOI BibTeX RDF
65	M. M. de Zoysa, Robert J. Howlett, Simon D. Walters	Effect of varying engine block temperature on spark voltage characterization for the measurement of air-fuel ratio in internal combustion engines.	KES	2000	DBLP DOI BibTeX RDF
62	Osman Yasar	Plasma Modeling of Ignition for Combustion Simulations.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF	Engine Combustion Simulations, Spark Ignition Modeling, Plasma Properties, Equation of State Data, Computational Fluid Dynamics
61	Katsutsugu Matsuyama, Tadahiro Fujimoto, Norishige Chiba	Real-time animation of spark discharge.	Vis. Comput.	2006	DBLP DOI BibTeX RDF	Spark discharge, Physically-based animation, Natural phenomena, Real-time graphics, Lightning
61	Anthony S. Ruocco	Experiences using SPARK in an undergraduate CS course.	SIGAda	2005	DBLP DOI BibTeX RDF	computer science education, computer science curriculum, SPARK
53	Benjamin P. Olding, Patrick J. Wolfe	Joint Localization and Parameter Estimation for Localized Calcium Release Events in Video Microscopy.	ICIP (6)	2007	DBLP DOI BibTeX RDF
53	Peter Amey	A language for systems not just software.	SIGAda	2001	DBLP DOI BibTeX RDF	Ada, specification, static analysis, Programming languages, critical systems
53	David Marques, Geoffroy Dallemagne, Georg Klinker, John P. McDermott, David Tung	Easy Programming: Empowering People to Build Their Own Applications.	IEEE Expert	1992	DBLP DOI BibTeX RDF
52	Tianshu Qu, Zheng Xiao, Mei Gong, Ying Huang, Xiaodong Li, Xihong Wu	Distance-Dependent Head-Related Transfer Functions Measured With High Spatial Resolution Using a Spark Gap.	IEEE Trans. Speech Audio Process.	2009	DBLP DOI BibTeX RDF
52	Damian Curtis	SPARK Annotations Within Executable UML.	Ada-Europe	2006	DBLP DOI BibTeX RDF
52	Ricky E. Sward, Leemon C. Baird III	Optimizing the SPARK program slicer.	SIGAda	2005	DBLP DOI BibTeX RDF	formal methods, program slicing, ASIS
52	Simon D. Walters, Peter A. Howson, Robert J. Howlett	Production Testing of Spark Plugs Using a Neural Network.	KES (4)	2005	DBLP DOI BibTeX RDF
52	Oliver Obst, Markus Rollmann	Spark - A Generic Simulator for Physical Multi-agent Simulations.	MATES	2004	DBLP DOI BibTeX RDF
52	Sumit Gupta, Nikil D. Dutt, Rajesh K. Gupta 0001, Alexandru Nicolau	SPARK: A High-Lev l Synthesis Framework For Applying Parallelizing Compiler Transformations.	VLSI Design	2003	DBLP DOI BibTeX RDF
52	Darren Foulger, Steve King 0001	Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software.	Ada-Europe	2001	DBLP DOI BibTeX RDF
52	J. Phil Thornley	Static Analysis and Diversity in the Software Development Process- Experiences with the Use of SPARK.	Ada-Europe	1997	DBLP DOI BibTeX RDF
49	Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes	An Integrated Approach to High Integrity Software Verification.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	static analysis, SPARK, program proof, proof planning
40	Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David A. Greve	Specification and Checking of Software Contracts for Conditional Information Flow.	FM	2008	DBLP DOI BibTeX RDF
40	Peter Amey, Brian Dobbing	High Integrity Ravenscar.	Ada-Europe	2003	DBLP DOI BibTeX RDF
40	Peter Amey	Closing the Loop: The Influence of Code Analysis on Design.	Ada-Europe	2002	DBLP DOI BibTeX RDF
40	Andrew Storey, Howard P. Haughton	A Strategy for the Production of Verifiable Code Using the B Method.	FME	1994	DBLP DOI BibTeX RDF
39	Mathieu Hillion, Jonathan Chauvin, Nicolas Petit	Open-loop combustion timing control of a Spark-Ignited engine.	CDC	2008	DBLP DOI BibTeX RDF
39	Katsutsugu Matsuyama, Tadahiro Fujimoto, Norishige Chiba	Real-time Sound Generation of Spark Discharge.	PG	2007	DBLP DOI BibTeX RDF
39		The SPARK Team: Languages, Ambiguity, and Verification.	VSTTE	2005	DBLP DOI BibTeX RDF
39	Roderick Chapman, Robert Dewar	Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Ada Language and Tools, High Integrity Systems
36	James H. Smith-Spark, Rebecca Gordon, Ashok S. Jansari	The impact of developmental dyslexia on workplace cognition: evidence from a virtual reality environment.	Behav. Inf. Technol.	2023	DBLP DOI BibTeX RDF
36	Tsz Chai Fung, Spark C. Tseung	Mixture of experts models for multilevel data: modelling framework and approximation theory.	CoRR	2022	DBLP DOI BibTeX RDF
36	James Hugo Smith-Spark, Rebecca Gordon, Ashok S. Jansari	The impact of developmental dyslexia on workplace cognition: Evidence from a virtual reality environment.	ECCE	2022	DBLP DOI BibTeX RDF
36	Rosemary Spark	Accessibility to Work from Home for the Disabled: The Need for a Shift in Management Style.	W4A	2017	DBLP DOI BibTeX RDF
36	Andi Spark	Coming Through.	JCSG	2016	DBLP DOI BibTeX RDF
36	Hillary B. Katz, James H. Smith-Spark, Thomas D. W. Wilcockson, Alexander Marchant	Cognitive Predictors of Accuracy in Quality Control Checking.	EAPCogSci	2015	DBLP BibTeX RDF
36	James Smith-Spark, Viv Moore, Tim Valentine	The Effects of Age of Acquisition and Semantic Congruency on Famous Person Category Verification.	EAPCogSci	2015	DBLP BibTeX RDF
36	James H. Smith-Spark, Hillary B. Katz, Alexander Marchant, Thomas D. W. Wilcockson	Label-checking strategies to adapt behaviour to design.	ECCE	2015	DBLP DOI BibTeX RDF
36	Evan Mertens, Rural Spark, M. A. van Houten, P. G. S. Rutten	Enable the growth of a smart energy and information network in rural India today.	ISGT Europe	2013	DBLP DOI BibTeX RDF
36	Andrew Percy, Ian Spark, M. Yousef Ibrahim 0001	New Algorithms for Navigating a Gantry Tractor Comprising a "Chorus Line" of Synchronized Modules.	IEEE Trans. Ind. Electron.	2011	DBLP DOI BibTeX RDF
36	Andrew Percy, Ian Spark, M. Yousef Ibrahim 0001, Leon C. Hardy	A numerical control algorithm for navigation of an operator-driven snake-like robot with 4WD-4WS segments.	Robotica	2011	DBLP DOI BibTeX RDF
36	Yousef Ibrahim, Ian Spark, Andrew Percy	New Control Concept for a Gantry Tractor Comprising a "Chorus Line" of Synchronized Modules.	IEEE Trans. Ind. Electron.	2010	DBLP DOI BibTeX RDF
36	Linda Spark	The Demographic Factors Affecting University Students' Intention to Pirate Software.	HCC	2010	DBLP DOI BibTeX RDF
36	Spark Y. Xue, Simon X. Yang	Power system frequency estimation using Supervised Gauss-Newton algorithm.	SMC	2007	DBLP DOI BibTeX RDF
36	Spark Y. Xue, Simon X. Yang	Accurate and fast frequency tracking for power system signals.	SMC	2007	DBLP DOI BibTeX RDF
36	David Glasspool, John Fox 0001, Ayelet Oettinger, James Smith-Spark	Argumentation in Decision Support for Medical Care Planning for Patients and Clinicians.	AAAI Spring Symposium: Argumentation for Consumers of Healthcare	2006	DBLP BibTeX RDF
36	Alan Burns 0001, Tse-Min Lin	An engineering process for the verification of real-time systems.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Rely/guarantee conditions, Model checking, Scheduling analysis, UPPAAL, SPARK, Ada95, Ravenscar profile
36	Richard Conn	Software Systems Requirements.	ACM J. Educ. Resour. Comput.	2002	DBLP DOI BibTeX RDF	Consortium Requirements Engineering, Evolutionary Spiral Model, Requirements-Based Testing, development requirements specifications interactively, documenting requirements, dynamics of interviewing, deriving and validating software requirements, problem domain modeling, rapid prototyping aids, requirements engineering methodologies, user/customer involvement, UML, formal methods, Z, extracting, SPARK
36	Peter Amey, Roderick Chapman	Industrial strength exception freedom.	SIGAda	2002	DBLP DOI BibTeX RDF	DO178B, exception freedom, run-time errors, security, Ada, safety, common criteria, SPARK, high-integrity systems
36	Krzysztof Czarnecki 0001, Michael Himsolt, Ernst Richter, Falk Vieweg, Alfred Rosskopf	DataFAN: A Practical Approach to Data Flow Analysis for Ada 95.	Ada-Europe	2002	DBLP DOI BibTeX RDF	language tools, verification, static analysis, quality assurance, safety critical, ASIS, SPARK, mission critical
36	Steve King 0001, Jonathan Hammond, Roderick Chapman, Andy Pryor	Is Proof More Cost-Effective Than Testing?	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	specification proof, code proof, proof vs. testing, formal specification, Safety-critical software, industrial case study, SPARK
36	Tse-Min Lin, John A. McDermid	(True) Polymorphism in SPARK2000.	Ada-Europe	2000	DBLP DOI BibTeX RDF	Ada, Object-Oriented Programming, Polymorphism, SPARK
26	Zhi Zhou 0001, Yingzi Du, George G. Rodney, Martin F. Schneider	Ca2+ Sparks Detection and Classification using Gaussian-Mexican Hat Wavelet.	ICIP (6)	2007	DBLP DOI BibTeX RDF
26	Aameek Singh, Madhukar R. Korupolu, Bhuvan Bamba	Integrated resource allocation in heterogeneous SAN data centers.	PODC	2007	DBLP DOI BibTeX RDF	SAN resource management, integrated allocation
26	Roberto Santinelli, Flavia Donno	Installing and Configuring Application Software on the LHC Computing Grid.	e-Science	2005	DBLP DOI BibTeX RDF
26	Sumit Gupta, Nicolae Savoiu, Nikil D. Dutt, Rajesh K. Gupta 0001, Alexandru Nicolau	Using global code motions to improve the quality of results for high-level synthesis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
26	Zhe Chen, Hongyu Wang 0001, Tianshuang Qiu	A TVAR Parametric Model Applying for Detecting Anti-electric-Corona Discharge.	ISNN (2)	2004	DBLP DOI BibTeX RDF
26	Bill J. Ellis, Andrew Ireland	An Integration of Program Analysis and Automated Theorem Proving.	IFM	2004	DBLP DOI BibTeX RDF
26	Adrian J. Hilton, Jon G. Hall	High-Integrity Interfacing to Programmable Logic with Ada.	Ada-Europe	2004	DBLP DOI BibTeX RDF
26	Bill J. Ellis, Andrew Ireland	Automation for Exception Freedom Proofs.	ASE	2003	DBLP DOI BibTeX RDF
26	Steve King 0001, Jonathan Hammond, Roderick Chapman, Andy Pryor	The Value of Verification: Positive Experience of Industrial Proof.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
25	Peter Shih, Brian C. Kaul, Sarangapani Jagannathan, James A. Drallmeier	Reinforcement-Learning-Based Dual-Control Methodology for Complex Nonlinear Discrete-Time Systems With Application to Spark Engine EGR Operation.	IEEE Trans. Neural Networks	2008	DBLP DOI BibTeX RDF
25	Jonathan Blake Vance, Atmika Singh, Brian C. Kaul, Sarangapani Jagannathan, James A. Drallmeier	Neural Network Controller Development and Implementation for Spark Ignition Engines With High EGR Levels.	IEEE Trans. Neural Networks	2007	DBLP DOI BibTeX RDF
25	Kung-Kiu Lau	Using SPARK for a beginner's course on reasoning about imperative programs.	SIGAda	2007	DBLP DOI BibTeX RDF	predicate transformer semantics, imperative programming
25	Yanhong Zhang, Lifeng Xi, James Liu	Transient Air-Fuel Ratio Estimation in Spark Ignition Engine Using Recurrent Neural Networks.	KES (2)	2007	DBLP DOI BibTeX RDF	Air-fuel ratio, air-fuel ratio estimation, recurrent neural network
25	Atmika Singh, Jonathan Blake Vance, Brian C. Kaul, Sarangapani Jagannathan, James A. Drallmeier	Neural Network Control of Spark Ignition Engines with High EGR Levels.	IJCNN	2006	DBLP DOI BibTeX RDF
25	Shi-Jie Deng, Blake Johnson, Aram Sogomonian	Spark Spread Options and the Valuation of Electricity Generation Assets.	HICSS	1999	DBLP DOI BibTeX RDF
24	Bhaskar Kantapalli, Babu Rao Markapudi	SSPO-DQN spark: shuffled student psychology optimization based deep Q network with spark architecture for big data classification.	Wirel. Networks	2023	DBLP DOI BibTeX RDF
24	Aïssata Maiga, Cyrille Artho, Florian Gilcher, Yannick Moy	Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library.	FTSCS	2023	DBLP DOI BibTeX RDF
24	Jiaqin Lin, Anghong Xiao, Shoubin Dong, Jing Zhou	Spark-ITGO: a parallel invasive tumor growth optimization algorithm on spark.	Clust. Comput.	2022	DBLP DOI BibTeX RDF
24	João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante	TRANSMUT-Spark: Transformation mutation for Apache Spark.	Softw. Test. Verification Reliab.	2022	DBLP DOI BibTeX RDF
24	Kinan Al-Attar, Aamir Shafi, Mustafa Abduljabbar, Hari Subramoni, Dhabaleswar K. Panda 0001	Spark Meets MPI: Towards High-Performance Communication Framework for Spark using MPI.	CLUSTER	2022	DBLP DOI BibTeX RDF
24	João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante	TRANSMUT-SPARK: Transformation Mutation for Apache Spark.	CoRR	2021	DBLP BibTeX RDF
24	Suyeon Lee, Yeonwoo Jeong, Minwoo Kim, Sungyong Park	Q-Spark: QoS Aware Micro-batch Stream Processing System Using Spark.	ACSOS-C	2021	DBLP DOI BibTeX RDF
24	Anar Taghiyev	Medical data analysis and model development based on machine learning using apache spark technology (Apache spark teknolojisi kullanılarak sağlık verilerinin analizi ve makine öğrenimine dayalı modelin geliştirilmesi)		2021	RDF
24	M. Reza HoseinyFarahabady, Javid Taheri, Albert Y. Zomaya, Zahir Tari	Spark-Tuner: An Elastic Auto-Tuner for Apache Spark Streaming.	CLOUD	2020	DBLP DOI BibTeX RDF
24	Sergii Minukhin, Natalia Brynza, Dmytro Sitnikov	Analyzing Performance of Apache Spark MLlib with Multinode Clusters on Azure HDInsight: Spark-Perf Case Study.	ISDMCI	2020	DBLP DOI BibTeX RDF
24	Xufeng Qu, Yuanyuan Wu, Jinze Liu, Licong Cui	HRV-Spark: Computing Heart Rate Variability Measures Using Apache Spark.	BIBM	2020	DBLP DOI BibTeX RDF
24	Enrique González Rodrigo, Juan A. Aledo, José A. Gámez 0001	spark-crowd: A Spark Package for Learning from Crowdsourced Big Data.	J. Mach. Learn. Res.	2019	DBLP BibTeX RDF
24	Bozena Malysiak-Mrozek, Tomasz Baron, Dariusz Mrozek	Spark-IDPP: high-throughput and scalable prediction of intrinsically disordered protein regions with Spark clusters on the Cloud.	Clust. Comput.	2019	DBLP DOI BibTeX RDF
24	Yahui Zhang, Jinwu Gao, Tielong Shen	Probabilistic Guaranteed Gradient Learning-Based Spark Advance Self-Optimizing Control for Spark-Ignited Engines.	IEEE Trans. Neural Networks Learn. Syst.	2018	DBLP DOI BibTeX RDF
24	Silvina Caíno-Lores, Jesús Carretero 0001, Bogdan Nicolae, Orcun Yildiz, Tom Peterka	Spark-DIY: A Framework for Interoperable Spark Operations with High Performance Block-Based Data Models.	BDCAT	2018	DBLP DOI BibTeX RDF
24	Alberto Fernández 0001, Eva Almansa, Francisco Herrera	Chi-Spark-RS: An Spark-built evolutionary fuzzy rule selection algorithm in imbalanced classification for big data problems.	FUZZ-IEEE	2017	DBLP DOI BibTeX RDF
24	Akhmedov Khumoyun, Yun Cui, Myoungjin Kim, Hanku Lee	Performance Analysis of Spark-DLF: Spark Based Distributed Deep Learning Framework for Article Headline Generation.	CSA/CUTE	2017	DBLP DOI BibTeX RDF
24	Xinming Zhang, YaoHua Yang, Li Shen 0007	Spark-SIFT: A Spark-Based Large-Scale Image Feature Extract System.	SKG	2017	DBLP DOI BibTeX RDF
24	Michael Armbrust, Reynold S. Xin, Cheng Lian, Yin Huai, Davies Liu, Joseph K. Bradley, Xiangrui Meng, Tomer Kaftan, Michael J. Franklin, Ali Ghodsi 0002, Matei Zaharia	Spark SQL: Relational Data Processing in Spark.	SIGMOD Conference	2015	DBLP DOI BibTeX RDF
24	Soichiro Taira, Osamu Fujiwara	FDTD Simulation Based on Spark Resistance Formula for Electromagnetic Fields due to Spark between Charged Metal Bars with Ferrite Core Attachment.	IEICE Trans. Commun.	2009	DBLP DOI BibTeX RDF
22	Ricky E. Sward, A. T. Chamillard	Re-engineering global variables in Ada.	SIGAda	2004	DBLP DOI BibTeX RDF	ASIS, SPARK, global variables
22	Peter Amey, Roderick Chapman	Static verification and extreme programming.	SIGAda	2003	DBLP DOI BibTeX RDF	Ada, extreme programming, SPARK, static verification, program proof, information-flow analysis
22	Colin O'Halloran, Alf Smith	Verification of Picture Generated Code.	ASE	1999	DBLP DOI BibTeX RDF	Ada, Z, Automatic Code Generation, Proof, Simulink, SPARK, Control Laws
13	Solomon Bisker, Mark D. Gross, Donald Carter, Eric Paulos, Stacey Kuznetsov	Personal, public: using DIY to explore citizen-led efforts in urban computing.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	public performance, throwies, ubiquitous computing, community, government, cameras, urban computing, photography, urban planning, diy, story telling
13	Qian Xiong, Jinliang Shi, Guorong Chen, Zeng Peng	Research on idle speed control for EFI gasoline engine with ETB.	IEEE ICCI	2009	DBLP DOI BibTeX RDF
13	Anastasia Meletiadou, Rüdiger Grimm	Using Instant Messaging Systems as a Platform for Electronic Voting.	MCETECH	2009	DBLP DOI BibTeX RDF	security, collaboration, Instant messaging, electronic voting
13	Karen J. McRitchie	Technology consultants: a successful generation of student staff.	SIGUCCS	2009	DBLP DOI BibTeX RDF	student staffing, training, management, helpdesk, lab management