|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 204 occurrences of 154 keywords
|
|
|
Results
Found 2208 publication records. Showing 2200 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
91 | Jae-Jin Lee, Gi-Yong Song |
High-Level Synthesis Using SPARK and Systolic Array. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARC ![In: Reconfigurable Computing: Architectures and Applications, Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006, Revised Selected Papers, pp. 455-460, 2006, Springer. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
88 | Simon D. Walters, Peter A. Howson, Robert J. Howlett |
Semi-automatic Production Testing of Spark Plugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II, pp. 671-680, 2007, Springer, 978-3-540-74826-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
spark plug, Neural network |
78 | David N. Morley, Karen L. Myers |
The SPARK Agent Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA, pp. 714-721, 2004, IEEE Computer Society, 1-58113-864-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
78 | Ondrej Lhoták, Laurie J. Hendren |
Scaling Java Points-to Analysis Using SPARK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 153-169, 2003, Springer, 3-540-00904-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
75 | Ricky E. Sward, Mark Gerken |
Developing safety critical software for an unmanned aerial vehicle situational awareness tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2006 Annual ACM SIGAda International Conference on Ada, Albuquerque, New Mexico, USA, November 12-16, 2006, pp. 45-50, 2006, ACM, 1-59593-563-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2004, Atlanta, GA, USA, November 14-14, 2004, pp. 39-46, 2004, ACM, 1-58113-906-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings, pp. 309-321, 2003, Springer, 3-540-40376-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, November 4-8, 2007, pp. 51-58, 2007, ACM, 978-1-59593-876-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
proof reuse, verified software, software components, SPARK |
74 | Xavier Sautejeau |
Modeling SPARK systems with UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, Atlanta, GA, USA, November 13-17, 2005, pp. 11-16, 2005, ACM, 1-59593-185-6. The full citation details ...](Pics/full.jpeg) |
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". ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2008 Conference on Human Factors in Computing Systems, CHI 2008, Florence, Italy, April 5-10, 2008, pp. 2835-2840, 2008, ACM, 978-1-60558-012-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC/ASWC ![In: The Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007., pp. 694-707, 2007, Springer, 978-3-540-76297-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
65 | Ricky E. Sward, Leemon C. Baird III |
Proving Functional Equivalence for Program Slicing in SPARK™. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings, pp. 105-114, 2005, Springer, 3-540-26286-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Fourth International Conference on Knowledge-Based Intelligent Information Engineering Systems & Allied Technologies, KES 2000, Brighton, UK, 30 August - 1 September 2000, Proceedings, 2 Volumes, pp. 545-548, 2000, IEEE, 0-7803-6400-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
62 | Osman Yasar |
Plasma Modeling of Ignition for Combustion Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2001, International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part I, pp. 1147-1158, 2001, Springer, 3-540-42232-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 22(9-11), pp. 761-771, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, Atlanta, GA, USA, November 13-17, 2005, pp. 37-40, 2005, ACM, 1-59593-185-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (6) ![In: Proceedings of the International Conference on Image Processing, ICIP 2007, September 16-19, 2007, San Antonio, Texas, USA, pp. 257-260, 2007, IEEE, 978-1-4244-1436-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Peter Amey |
A language for systems not just software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings ACM SIGAda Annual International Conference, SIGAda 2001, Twin Cities, Best Western The Thunderbird Hotel & Convention Center, Bloomington, MN, USA, September 30 - October 4, 2001., pp. 3-11, 2001, ACM, 1-58113-392-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Expert ![In: IEEE Expert 7(3), pp. 16-29, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 17(6), pp. 1124-1132, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
52 | Damian Curtis |
SPARK Annotations Within Executable UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings, pp. 83-93, 2006, Springer, 3-540-34663-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
52 | Ricky E. Sward, Leemon C. Baird III |
Optimizing the SPARK program slicer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, Atlanta, GA, USA, November 13-17, 2005, pp. 17-22, 2005, ACM, 1-59593-185-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (4) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part IV, pp. 74-80, 2005, Springer, 3-540-28897-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
52 | Oliver Obst, Markus Rollmann |
Spark - A Generic Simulator for Physical Multi-agent Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATES ![In: Multiagent System Technologies, Second German Conference, MATES 2004, Erfurt, Germany, September 29-30, 2004, Proceedings, pp. 243-257, 2004, Springer, 3-540-23222-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 16th International Conference on VLSI Design (VLSI Design 2003), 4-8 January 2003, New Delhi, India, pp. 461-466, 2003, IEEE Computer Society, 0-7695-1868-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies: Ada Europe 2001, 6th Ade-Europe International Conference Leuven, Belgium, May 14-18, 2001, Proceedings, pp. 229-240, 2001, Springer, 3-540-42123-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
52 | J. Phil Thornley |
Static Analysis and Diversity in the Software Development Process- Experiences with the Use of SPARK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '97, 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997, Proceedings, pp. 266-277, 1997, Springer, 3-540-63114-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 36(4), pp. 379-410, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings, pp. 229-245, 2008, Springer, 978-3-540-68235-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Peter Amey, Brian Dobbing |
High Integrity Ravenscar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings, pp. 68-79, 2003, Springer, 3-540-40376-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
40 | Peter Amey |
Closing the Loop: The Influence of Code Analysis on Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings, pp. 151-162, 2002, Springer, 3-540-43784-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
40 | Andrew Storey, Howard P. Haughton |
A Strategy for the Production of Verifiable Code Using the B Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings, pp. 346-365, 1994, Springer, 3-540-58555-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
39 | Mathieu Hillion, Jonathan Chauvin, Nicolas Petit |
Open-loop combustion timing control of a Spark-Ignited engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 5635-5642, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Katsutsugu Matsuyama, Tadahiro Fujimoto, Norishige Chiba |
Real-time Sound Generation of Spark Discharge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PG ![In: 15th Pacific Conference on Computer Graphics and Applications, PG 2007, Maui, HI, USA, October 29 - November 2, 2007, pp. 423-426, 2007, IEEE Computer Society, 978-0-7695-3009-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | |
The SPARK Team: Languages, Ambiguity, and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions, pp. 486-490, 2005, Springer, 978-3-540-69147-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Roderick Chapman, Robert Dewar |
Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings, pp. 39-51, 1999, Springer, 3-540-66093-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behav. Inf. Technol. ![In: Behav. Inf. Technol. 42(3), pp. 269-277, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
36 | Tsz Chai Fung, Spark C. Tseung |
Mixture of experts models for multilevel data: modelling framework and approximation theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.15207, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCE ![In: ECCE 2022: 33rd European Conference on Cognitive Ergonomics, Kaiserslautern, Germany, October 4 - 7, 2022, pp. 1:1-1:4, 2022, ACM, 978-1-4503-9808-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Rosemary Spark |
Accessibility to Work from Home for the Disabled: The Need for a Shift in Management Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W4A ![In: Proceedings of the 14th Web for All Conference, W4A 2017: The Future of Accessible Work, Perth, Western Australia, Australia, April 2-4, 2017, pp. 4:1-4:4, 2017, ACM, 978-1-4503-4900-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
36 | Andi Spark |
Coming Through. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCSG ![In: Serious Games - Second Joint International Conference, JCSG 2016, Brisbane, QLD, Australia, September 26-27, 2016, Proceedings, pp. 282-284, 2016, Springer, 978-3-319-45840-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAPCogSci ![In: Proceedings of the EuroAsianPacific Joint Conference on Cognitive Science / 4th European Conference on Cognitive Science / 11th International Conference on Cognitive Science, Torino, Italy, September 25-27, 2015., 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAPCogSci ![In: Proceedings of the EuroAsianPacific Joint Conference on Cognitive Science / 4th European Conference on Cognitive Science / 11th International Conference on Cognitive Science, Torino, Italy, September 25-27, 2015., 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCE ![In: Proceedings of the European Conference on Cognitive Ergonomics, ECCE 2015, Warsaw, Poland, July 1-3, 2015, pp. 13:1-13:6, 2015, ACM, 978-1-4503-3612-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISGT Europe ![In: 4th IEEE PES Innovative Smart Grid Technologies Europe, ISGT Europe 2013, Lyngby, Denmark, October 6-9, 2013, pp. 1-5, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 58(2), pp. 398-402, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotica ![In: Robotica 29(3), pp. 471-482, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 57(2), pp. 762-768, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Linda Spark |
The Demographic Factors Affecting University Students' Intention to Pirate Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: What Kind of Information Society? Governance, Virtuality, Surveillance, Sustainability, Resilience - 9th IFIP TC 9 International Conference, HCC9 2010 and 1st IFIP TC 11 International Conference, CIP 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings, pp. 22-32, 2010, Springer, 978-3-642-15478-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Spark Y. Xue, Simon X. Yang |
Power system frequency estimation using Supervised Gauss-Newton algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007, pp. 3761-3766, 2007, IEEE, 978-1-4244-0990-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Spark Y. Xue, Simon X. Yang |
Accurate and fast frequency tracking for power system signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007, pp. 2754-2759, 2007, IEEE, 978-1-4244-0990-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Argumentation for Consumers of Healthcare ![In: Argumentation for Consumers of Healthcare, Papers from the 2006 AAAI Spring Symposium, Technical Report SS-06-01, Stanford, California, USA, March 27-29, 2006, pp. 58-63, 2006, AAAI. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
36 | Alan Burns 0001, Tse-Min Lin |
An engineering process for the verification of real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 19(1), pp. 111-136, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Rely/guarantee conditions, Model checking, Scheduling analysis, UPPAAL, SPARK, Ada95, Ravenscar profile |
36 | Richard Conn |
Software Systems Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM J. Educ. Resour. Comput. ![In: ACM J. Educ. Resour. Comput. 2(4), pp. 1, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2002 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2002, Houston, Texas, USA, December 8-12, 2002, pp. 1-9, 2002, ACM, 1-58113-611-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings, pp. 231-244, 2002, Springer, 3-540-43784-3. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 26(8), pp. 675-686, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000, Proceedings, pp. 252-265, 2000, Springer, 3-540-67669-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (6) ![In: Proceedings of the International Conference on Image Processing, ICIP 2007, September 16-19, 2007, San Antonio, Texas, USA, pp. 253-256, 2007, IEEE, 978-1-4244-1436-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Aameek Singh, Madhukar R. Korupolu, Bhuvan Bamba |
Integrated resource allocation in heterogeneous SAN data centers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, PODC 2007, Portland, Oregon, USA, August 12-15, 2007, pp. 328-329, 2007, ACM, 978-1-59593-616-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
e-Science ![In: First International Conference on e-Science and Grid Technologies (e-Science 2005), 5-8 December 2005, Melbourne, Australia, pp. 369-376, 2005, IEEE Computer Society, 0-7695-2448-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23(2), pp. 302-312, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Zhe Chen, Hongyu Wang 0001, Tianshuang Qiu |
A TVAR Parametric Model Applying for Detecting Anti-electric-Corona Discharge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (2) ![In: Advances in Neural Networks - ISNN 2004, International Symposium on Neural Networks, Dalian, China, August 19-21, 2004, Proceedings, Part II, pp. 607-612, 2004, Springer, 3-540-22843-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Bill J. Ellis, Andrew Ireland |
An Integration of Program Analysis and Automated Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, pp. 67-86, 2004, Springer, 3-540-21377-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Adrian J. Hilton, Jon G. Hall |
High-Integrity Interfacing to Programmable Logic with Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings, pp. 249-260, 2004, Springer, 3-540-22011-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Bill J. Ellis, Andrew Ireland |
Automation for Exception Freedom Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada, pp. 343-346, 2003, IEEE Computer Society, 0-7695-2035-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Steve King 0001, Jonathan Hammond, Roderick Chapman, Andy Pryor |
The Value of Verification: Positive Experience of Industrial Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1527-1545, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 19(8), pp. 1369-1388, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 18(4), pp. 1083-1100, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Kung-Kiu Lau |
Using SPARK for a beginner's course on reasoning about imperative programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, November 4-8, 2007, pp. 75-78, 2007, ACM, 978-1-59593-876-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II, pp. 240-246, 2007, Springer, 978-3-540-74826-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2006, part of the IEEE World Congress on Computational Intelligence, WCCI 2006, Vancouver, BC, Canada, 16-21 July 2006, pp. 4978-4985, 2006, IEEE, 0-7803-9490-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Shi-Jie Deng, Blake Johnson, Aram Sogomonian |
Spark Spread Options and the Valuation of Electricity Generation Assets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999, Maui, Hawaii, USA, 1999, IEEE Computer Society, 0-7695-0001-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 29(1), pp. 369-385, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTSCS ![In: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2023, Cascais, Portugal, 22 October 2023, pp. 37-47, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Clust. Comput. ![In: Clust. Comput. 25(4), pp. 2633-2660, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Test. Verification Reliab. ![In: Softw. Test. Verification Reliab. 32(8), 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: IEEE International Conference on Cluster Computing, CLUSTER 2022, Heidelberg, Germany, September 5-8, 2022, pp. 71-81, 2022, IEEE, 978-1-6654-9856-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.02589, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | Suyeon Lee, Yeonwoo Jeong, Minwoo Kim, Sungyong Park |
Q-Spark: QoS Aware Micro-batch Stream Processing System Using Spark. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSOS-C ![In: IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2021, Companion Volume, Washington, DC, USA, September 27 - Oct. 1, 2021, pp. 38-43, 2021, IEEE, 978-1-6654-4393-7. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
24 | M. Reza HoseinyFarahabady, Javid Taheri, Albert Y. Zomaya, Zahir Tari |
Spark-Tuner: An Elastic Auto-Tuner for Apache Spark Streaming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLOUD ![In: 13th IEEE International Conference on Cloud Computing, CLOUD 2020, Virtual Event, 18-24 October 2020., pp. 544-548, 2020, IEEE, 978-1-7281-8780-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISDMCI ![In: Lecture Notes in Computational Intelligence and Decision Making - Proceedings of the 2020 International Scientific Conference `Intellectual Systems of Decision-making and Problems of Computational Intelligence`, ISDMCI 2020, Kherson, Ukraine, May 25-29, 2020., pp. 114-134, 2020, Springer, 978-3-030-54214-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Xufeng Qu, Yuanyuan Wu, Jinze Liu, Licong Cui |
HRV-Spark: Computing Heart Rate Variability Measures Using Apache Spark. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBM ![In: IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2020, Virtual Event, South Korea, December 16-19, 2020, pp. 2235-2241, 2020, IEEE, 978-1-7281-6215-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Mach. Learn. Res. ![In: J. Mach. Learn. Res. 20, pp. 19:1-19:5, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Clust. Comput. ![In: Clust. Comput. 22(2), pp. 487-508, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks Learn. Syst. ![In: IEEE Trans. Neural Networks Learn. Syst. 29(10), pp. 4683-4693, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BDCAT ![In: 5th IEEE/ACM International Conference on Big Data Computing Applications and Technologies, BDCAT 2018, Zurich, Switzerland, December 17-20, 2018, pp. 1-10, 2018, IEEE Computer Society, 978-1-5386-5502-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: 2017 IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2017, Naples, Italy, July 9-12, 2017, pp. 1-6, 2017, IEEE, 978-1-5090-6034-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSA/CUTE ![In: Advances in Computer Science and Ubiquitous Computing - CSA/CUTE 2017, Taichung, Taiwan, 18-20 December., pp. 47-52, 2017, Springer, 978-981-10-7604-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Xinming Zhang, YaoHua Yang, Li Shen 0007 |
Spark-SIFT: A Spark-Based Large-Scale Image Feature Extract System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SKG ![In: 13th International Conference on Semantics, Knowledge and Grids, SKG 2017, Beijing, China, August 13-14, 2017, pp. 69-76, 2017, IEEE, 978-1-5386-2558-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, Melbourne, Victoria, Australia, May 31 - June 4, 2015, pp. 1383-1394, 2015, ACM, 978-1-4503-2758-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Commun. ![In: IEICE Trans. Commun. 92-B(6), pp. 1960-1964, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Ricky E. Sward, A. T. Chamillard |
Re-engineering global variables in Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2004, Atlanta, GA, USA, November 14-14, 2004, pp. 29-34, 2004, ACM, 1-58113-906-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
ASIS, SPARK, global variables |
22 | Peter Amey, Roderick Chapman |
Static verification and extreme programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2003 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2003, San Diego, CA, USA, December 7-11, 2003, pp. 4-9, 2003, ACM, 1-58113-476-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The 14th IEEE International Conference on Automated Software Engineering, ASE 1999, Cocoa Beach, Florida, USA, 12-15 October 1999, pp. 127-136, 1999, IEEE Computer Society, 0-7695-0415-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Extended Abstracts Volume, Atlanta, Georgia, USA, April 10-15, 2010, pp. 3547-3552, 2010, ACM, 978-1-60558-930-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the 8th IEEE International Conference on Cognitive Informatics, ICCI 2009, June 15-17, 2009, Hong Kong, China, pp. 222-226, 2009, IEEE Computer Society, 978-1-4244-4642-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Anastasia Meletiadou, Rüdiger Grimm |
Using Instant Messaging Systems as a Platform for Electronic Voting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCETECH ![In: E-Technologies: Innovation in an Open World, 4th International Conference, MCETECH 2009, Ottawa, Canada, May 4-6, 2009. Proceedings, pp. 12-24, 2009, Springer, 978-3-642-01186-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
security, collaboration, Instant messaging, electronic voting |
13 | Karen J. McRitchie |
Technology consultants: a successful generation of student staff. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the ACM SIGUCCS Fall Conference on User Services 2009, St. Louis, Missouri, USA, October 11-14, 2009, pp. 287-292, 2009, ACM, 978-1-60558-477-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
student staffing, training, management, helpdesk, lab management |
Displaying result #1 - #100 of 2200 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|