The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for jump with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1958-1972 (15) 1973-1975 (15) 1977-1980 (18) 1981-1984 (20) 1985-1987 (18) 1988-1989 (18) 1990-1991 (19) 1992-1993 (17) 1994 (16) 1995 (15) 1996 (16) 1997 (22) 1998 (21) 1999 (34) 2000 (62) 2001 (60) 2002 (68) 2003 (64) 2004 (117) 2005 (118) 2006 (163) 2007 (160) 2008 (179) 2009 (162) 2010 (104) 2011 (111) 2012 (145) 2013 (171) 2014 (191) 2015 (180) 2016 (215) 2017 (236) 2018 (267) 2019 (305) 2020 (292) 2021 (373) 2022 (351) 2023 (335) 2024 (116)
Publication types (Num. hits)
article(3355) book(5) incollection(14) inproceedings(1421) phdthesis(14)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 783 occurrences of 656 keywords

Results
Found 4820 publication records. Showing 4809 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
72Mohamed H. El-Zahar On Jump-Critical Posets with Jump-Number Equal to Width. Search on Bibsonomy Order The full citation details ... 2000 DBLP  DOI  BibTeX  RDF jump-number, jump-critical posets, order-critical posets
71Ayelet Butman, Noa Lewenstein, Benny Porat, Ely Porat Jump-Matching with Errors. Search on Bibsonomy SPIRE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
71V. Baleva The jump operation for structure degrees. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Structure degrees, Enumeration degrees, Degrees of structures, Reducibility, Degree, Jump
62Zhao Jing, Li Qian An analytical algorithm with minimum joint velocity jump for redundant robots in the presence of locked-joint failures. Search on Bibsonomy ICRA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
62Guang Zeng, Yang Yang, Wenbao Han, Shuqin Fan Word Oriented Cascade Jump sigma-LFSR. Search on Bibsonomy AAECC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Cascade Jump LFSR, ??LFSR, Fast Software Encryption, Stream Cipher, Linear Feedback Shift Register(LFSR)
62Kisoeb Park, Moonseong Kim, Seki Kim On Sharp Estimating of Bond Option Prices for Heath-Jarrow-Morton Model Based on Jump. Search on Bibsonomy ICCSA (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Heath-Jarrow-Morton Model with Jump, Bond Option Price, Monte Carlo Method
62Kisoeb Park, Moonseong Kim, Seki Kim Simulation Analysis for the Pricing of Bond Option on Arbitrage-Free Models with Jump. Search on Bibsonomy ICCSA (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Arbitrage-free Models with Jump, Bond Option Price, Simulation
62Tor Helleseth, Cees J. A. Jansen, Shahram Khazaei, Alexander Kholosha Security of Jump Controlled Sequence Generators for Stream Ciphers. Search on Bibsonomy SETA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF jump register, key-stream generator, linear relations, Cryptanalysis, stream cipher, Pomaranch
61José A. Joao, Onur Mutlu, Hyesoon Kim, Rishi Agarwal, Yale N. Patt Improving the performance of object-oriented languages with dynamic predication of indirect jumps. Search on Bibsonomy ASPLOS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF dynamic predication, indirect jumps, object-oriented languages, predicated execution, virtual functions
54Guodong Rong, Tiow Seng Tan Jump flooding in GPU with applications to Voronoi diagram and distance transform. Search on Bibsonomy SI3D The full citation details ... 2006 DBLP  DOI  BibTeX  RDF digital geometry, interactive application, programmable graphics hardware
54Dan Grove, Linda Torczon Interprocedural Constant Propagation: A Study of Jump Function Implementations. Search on Bibsonomy PLDI The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
53George Dotsis, Dimitris Psychoyios, Raphael N. Markellos Modeling Greek equity prices using jump diffusion processes. Search on Bibsonomy Oper. Res. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Jump diffusion, maximum likelihood, characteristic function
51Jaroslav Král One way of estimating frequencies of jumps in a program. Search on Bibsonomy Commun. ACM The full citation details ... 1968 DBLP  DOI  BibTeX  RDF Markov chain program correspondence, control transfers estimation, jump frequencies, jump frequencies estimation, locally estimated jump frequencies, object program reduction, one-entry subgraph, optimal program segmentation, program segmentation algorithm, supervisor calls decreasing, supervisor overheading decreasing, program graph
45David Meirion Hughes, Ik Soo Lim Kd-Jump: a Path-Preserving Stackless Traversal for Faster Isosurface Raytracing on GPUs. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
45Simon Curran, David E. Orin Evolution of a jump in an articulated leg with series-elastic actuation. Search on Bibsonomy ICRA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
45Michael Vielhaber 0001 Continued Fraction Expansion as Isometry - The Law of the Iterated Logarithm for Linear, Jump, and 2-Adic Complexity. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
45Michael A. Terry, Janet Cheung, Justin Lee, Terry Park, Nigel Williams Jump: a system for interactive, tangible queries of paper. Search on Bibsonomy Graphics Interface The full citation details ... 2007 DBLP  DOI  BibTeX  RDF augmented reality, tangible user interface, error recovery, zoomable user interface, recognition error
45Hantao Zhang 0001 A Complete Random Jump Strategy with Guiding Paths. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
45Kisoeb Park, Moonseong Kim, Seki Kim On Monte Carlo Simulation for the HJM Model Based on Jump. Search on Bibsonomy International Conference on Computational Science (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
45Kisoeb Park, Moonseong Kim, Seki Kim Stochastic Simulation Method for the Term Structure Models with Jump. Search on Bibsonomy ICCSA (3) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
45Han-Shen Huang, Bou-Ho Yang, Chun-Nan Hsu Triple Jump Acceleration for the EM Algorithm. Search on Bibsonomy ICDM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
45Bin Wang 0021, Jun-Hai Yong, Jia-Guang Sun 0001 Real-Time Texture Synthesis with Patch Jump Maps. Search on Bibsonomy CIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
45Cristina Cifuentes, Mike Van Emmerik Recovery of Jump Table Case Statements from Binary Code. Search on Bibsonomy IWPC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Reverse engineering, binary translation, decompilation
45Steven Dawson, C. R. Ramakrishnan 0001, I. V. Ramakrishnan Design and Implementation of Jump Tables for Fast Indexing of Logic Programs Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
45Harald Niederreiter The Linear Complexity Profile and the Jump Complexity of Keystream Sequences. Search on Bibsonomy EUROCRYPT The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
45Yanan Fan, Gareth W. Peters, Scott A. Sisson Automating and evaluating reversible jump MCMC proposal distributions. Search on Bibsonomy Stat. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Between-model mappings, Path sampling, Transdimensional MCMC, Markov chain Monte Carlo, Density estimation, Reversible jump
45Rong Long Wang, Shan-Shan Guo, Kozo Okazaki A hill-jump algorithm of Hopfield neural network for shortest path problem in communication network. Search on Bibsonomy Soft Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Hill-jump algorithm, Hopfield neural network, Shortest path problem, Combinatorial optimization problem, Local minimum
45Sergio Hernandez-Marin, Andrew M. Wallace, Gavin J. Gibson Creating Multi-layered 3D Images Using Reversible Jump MCMC Algorithms. Search on Bibsonomy ISVC (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF 3D ranging and imaging, reversible jump Markov chain Monte Carlo, multi-layered image, time-correlated single photon counting, burst illumination laser, Markov random fields
45Zhihua Zhang, Kap Luk Chan, Yiming Wu, Chibiao Chen Learning a multivariate Gaussian mixture model with the reversible jump MCMC algorithm. Search on Bibsonomy Stat. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF reversible jump methodology, split and combine moves, Gaussian mixture model, Bayesian inference, model selection, Markov chain Monte Carlo
45Steve Zelinka, Michael Garland Jump map-based interactive texture synthesis. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Interactive texture synthesis, jump maps, texturing surfaces
45Vadim V. Lozin, Michael U. Gerber On the Jump Number Problem in Hereditary Classes of Bipartite Graphs. Search on Bibsonomy Order The full citation details ... 2000 DBLP  DOI  BibTeX  RDF jump number, bipartite graphs, polynomial algorithm
43Mirko Kovac, Manuel Schlegel, Jean-Christophe Zufferey, Dario Floreano A miniature jumping robot with self-recovery capabilities. Search on Bibsonomy IROS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
43Mirko Kovac, Manuel Schlegel, Jean-Christophe Zufferey, Dario Floreano A miniature jumping robot with self-recovery capabilities. Search on Bibsonomy IROS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
43Dennis Cates, Anne Gelb Detecting derivative discontinuity locations in piecewise continuous functions from Fourier spectral data. Search on Bibsonomy Numer. Algorithms The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 60G35, 65T40
43Charles R. Blair On Computer Transcription of Manual Morse. Search on Bibsonomy J. ACM The full citation details ... 1959 DBLP  DOI  BibTeX  RDF
38Ivan N. Soskov A jump inversion theorem for the enumeration jump. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (1991):03D30
36Wen Ming Liu, Lingyu Wang 0001, Lei Zhang 0004 k-jump strategy for preserving privacy in micro-data disclosure. Search on Bibsonomy ICDT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
36Tanmoy Chakraborty 0001, Sanjeev Khanna Nash Dynamics in Constant Player and Bounded Jump Congestion Games. Search on Bibsonomy SAGT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
36Alexandra A. Soskova A Jump Inversion Theorem for the Degree Spectra. Search on Bibsonomy CiE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF enumeration degrees, degree spectra, Marker’s extensions, enumerations
36N. S. D. Arrifano, Vilma Alves de Oliveira Robust H∞ Fuzzy Control Approach for a Class of Markovian Jump Nonlinear Systems. Search on Bibsonomy IEEE Trans. Fuzzy Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Sophie Sakka, Ee Sian Neo, Kazuhito Yokoi Motion Pattern for the Landing Phase of a Vertical Jump for Humanoid Robots. Search on Bibsonomy IROS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Sanghamitra Bandyopadhyay Simulated Annealing Using a Reversible Jump Markov Chain Monte Carlo Algorithm for Fuzzy Clustering. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Hervé Brönnimann, Frédéric Cazals, Marianne Durand Randomized Jumplists: A Jump-and-Walk Dictionary Data Structure. Search on Bibsonomy STACS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Dictionary data structures, Searching and sorting, Randomization, Asymptotic analysis
36Niklas Johansson, Fredrik Alriksson, Ulf F. Jönsson JUMP mode---a dynamic window-based scheduling framework for Bluetooth scatternets. Search on Bibsonomy MobiHoc The full citation details ... 2001 DBLP  DOI  BibTeX  RDF scheduling, ad hoc networks, Bluetooth, scatternet
36Katinka Wolter Jump Transitions in Second Order FSPNs. Search on Bibsonomy MASCOTS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF performability modelling, stochastic process, diffusion, stochastic Petri net, Fluid model
36Amir Roth, Gurindar S. Sohi Effective Jump-Pointer Prefetching for Linked Data Structures. Search on Bibsonomy ISCA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
36Lars Kristiansen A jump operator on honest subrecursive degrees. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
36Takashi Matsumoto 0002, Tomohiro Kudoh, Katsunobu Nishimura, Kei Hiraki, Hidehiko Tanaka Distributed Shared Memory Architecture for JUMP-1: A General-Purpose MPP Prototype. Search on Bibsonomy ISPAN The full citation details ... 1996 DBLP  DOI  BibTeX  RDF parallel processing, multicast, interconnection network, distributed shared memory
36David J. Lunn, Nicky Best, John C. Whittaker Generic reversible jump MCMC using graphical models. Search on Bibsonomy Stat. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Trans-dimensional model, WinBUGS, Graphical model, Directed acyclic graph, Markov chain Monte Carlo, Reversible jump
36Chuan-Ju Wang, Tian-Shyr Dai, Yuh-Dauh Lyuu, Yen-Chun Liu An efficient and accurate lattice for pricing derivatives under a jump-diffusion process. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF pricing algorithm, complexity, jump-diffusion process
36Gou Nakura Stochastic Optimal Tracking with Preview for Linear Discrete-Time Markovian Jump Systems (Extended Abstract). Search on Bibsonomy HSCC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Markovian jump systems, Stochastic optimization theory, Tracking control with preview, Coupled Riccati difference equations, Coupled feedforward compensators
36Cees J. A. Jansen, Tor Helleseth, Alexander Kholosha Cascade Jump Controlled Sequence Generator and Pomaranch Stream Cipher. Search on Bibsonomy The eSTREAM Finalists The full citation details ... 2008 DBLP  DOI  BibTeX  RDF jump register, stream cipher, Pomaranch
36Hyun-Joo Lee, Seung-Ho Yang, Gyu-Sik Han, Jaewook Lee 0001 Simulations for American Option Pricing Under a Jump-Diffusion Model: Comparison Study between Kernel-Based and Regression-based Methods. Search on Bibsonomy ISNN (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF American option, kernel-based regression, jump-diffusion model
36Stéphan Ceroi A Weighted Version of the Jump Number Problem on Two-Dimensional Orders is NP-Complete. Search on Bibsonomy Order The full citation details ... 2003 DBLP  DOI  BibTeX  RDF jump number, dimension, maximal independent set
36Stephen J. Roberts, Christopher C. Holmes, Dave Denison Minimum-Entropy Data Partitioning Using Reversible Jump Markov Chain Monte Carlo. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Unsupervised data analysis, reversible-jump Markov Chain Monte Carlo, mixture models, Bayesian analysis, number of clusters
36Song Chun Zhu Stochastic Jump-Diffusion Process for Computing Medial Axes in Markov Random Fields. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Markov random field, energy minimization, Medial axis transform, jump-diffusion process
35Francisco J. Piera, Ravi R. Mazumdar, Fabrice Guillemin Existence and characterization of product-form invariant distributions for state-dependent stochastic networks in the heavy-traffic diffusion limit. Search on Bibsonomy Queueing Syst. Theory Appl. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 60J60, 60J75, 34D20, 60J50, 60J55, 60K25
35Anne Gelb, Dennis Cates Detection of Edges in Spectral Data III - Refinement of the Concentration Method. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Piecewise smooth functions, Fourier data, Edge detection, Filtering, Convolution, Gaussian noise
35Feng Lian, Chongzhao Han, Yong Shi 0011 Adaptive on-line registration algorithm based on GLR. Search on Bibsonomy IJCNN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35José A. Joao, Onur Mutlu, Hyesoon Kim, Yale N. Patt Dynamic Predication of Indirect Jumps. Search on Bibsonomy IEEE Comput. Archit. Lett. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Al Geist Building a Foundation for the Next PVM: Petascale Virtual Machines. Search on Bibsonomy PVM/MPI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
35Tao Pei, Ajay Jasra, David J. Hand, A-Xing Zhu, Chenghu Zhou DECODE: a new method for discovering clusters of different densities in spatial data. Search on Bibsonomy Data Min. Knowl. Discov. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Data mining, Nearest neighbor, MCMC, Point process, Earthquake, Reversible jump
35Li Xie, Lihua Xie Stability analysis and stabilization of networked linear systems with random packet losses. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF networked sampled-data and discrete-time linear systems, Markovian packet losses, stability and stabilization, Markov jump linear systems, randomly sampled linear systems
35Paul Macklin, John S. Lowengrub A New Ghost Cell/Level Set Method for Moving Boundary Problems: Application to Tumor Growth. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Ghost fluid method, Ghost cell method, Tumor growth, NAGSI, Nonlinear elliptic equations, Heaviside function, Heterogeneous media, Heterogeneous tissue structure, Adaptive normal vector calculation, Normal derivative jump boundary condition, Level set method, Poisson equation
35Soumyadeb Mitra, Marianne Winslett, Windsor W. Hsu, Kevin Chen-Chuan Chang Trustworthy keyword search for compliance storage. Search on Bibsonomy VLDB J. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Compliance storage, Jump index, Inverted index
35Chao Dai, Jianmin Pang, Rongcai Zhao, Xiaojun Ma Static Analysis of the Disassembly against Malicious Code Obfuscated with Conditional Jumps. Search on Bibsonomy ACIS-ICIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF conditional jump, obfuscation, malicious codes, disassembly
35Jie Zhao 0003, Meng Wang, Xizhe Zang, Hegao Cai Biological Characteristics Analysis and Mechanical Jumping Leg Design for Frog Robot. Search on Bibsonomy ICIRA (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF frog jump modality, jumping robot, modeling, kinematic analysis
35Yuuta Sugiyama, Shinichi Hirai Crawling and Jumping by a Deformable Robot. Search on Bibsonomy ISER The full citation details ... 2004 DBLP  DOI  BibTeX  RDF deformation, locomotion, crawl, jump
34Richard J. Boys, Darren J. Wilkinson, Thomas B. L. Kirkwood Bayesian inference for a discretely observed stochastic kinetic model. Search on Bibsonomy Stat. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Biochemical networks, Block updating, Lotka-Volterra model, Markov jump process, MCMC methods, Parameter estimation, Systems biology, Reversible jump
31Brian F. Eberle, Jonathan D. Rogers, Mushfiqul Alam, Michael Jump Rapid Method for Computing Reachable Landing Distances in Helicopter Autorotative Descent. Search on Bibsonomy J. Aerosp. Inf. Syst. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
31Chad Hogg, Maria Jump Designing Autograders for Novice Programmers. Search on Bibsonomy SIGCSE (2) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
31F. Jerry Reen, Owen Jump, Brian P. McSharry, John Morgan, David Murphy, Niall O'Leary, Billy O'Mahony, Martina Scallan, Briony Supple The Use of Virtual Reality in the Teaching of Challenging Concepts in Virology, Cell Culture and Molecular Biology. Search on Bibsonomy Frontiers Virtual Real. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
31Sunah Song, Brigid M. Wilson, Joseph Marek, Robin L. P. Jump Use of electronic pharmacy transaction data and website development to assess antibiotic use in nursing homes. Search on Bibsonomy BMC Medical Informatics Decis. Mak. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
31Michael Fisher 0001, Rafael C. Cardoso 0001, Emily C. Collins 0001, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando 0001, Xiaowei Huang 0001, Mike Jump, Georgios Kourtis, Alexei Lisitsa 0001, Matt Luckcuck, Shan Luo 0001, Vincent Pagé, Fabio Papacchini, Matt Webster An Overview of Verification and Validation Challenges for Inspection Robots. Search on Bibsonomy Robotics The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
31Vincent Pagé, Christopher Dadswell, Matt Webster, Mike Jump, Michael Fisher 0001 Towards the Determination of Safe Operating Envelopes for Autonomous UAS in Offshore Inspection Missions. Search on Bibsonomy Robotics The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
31Maria Jump, Martin Schedlbauer Effective Practices for Online Teaching. Search on Bibsonomy SIGCSE The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
31Peter J. Morley, Daniel N. M. Donoghue, Jan-Chang Chen, Alistair S. Jump Integrating remote sensing and demography for more efficient and effective assessment of changing mountain forest distribution. Search on Bibsonomy Ecol. Informatics The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
31Michael Fisher 0001, Emily C. Collins 0001, Louise A. Dennis, Matt Luckcuck, Matt Webster, Mike Jump, Vincent Pagé, Charles Patchett, Fateme Dinmohammadi, David Flynn, Valentin Robu, Xingyu Zhao 0001 Verifiable Self-Certifying Autonomous Systems. Search on Bibsonomy ISSRE Workshops The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
31Matthew P. Webster, Neil Cameron, Michael Fisher 0001, Mike Jump Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation. Search on Bibsonomy J. Aerosp. Inf. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
31Matthew Hertz, Maria Jump Trace-based teaching in early programming courses. Search on Bibsonomy SIGCSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
31Elias J. Griffith, Yuan Chi, Michael Jump, Jason F. Ralph Equivalence of BRISK Descriptors for the Registration of Variable Bit-Depth Aerial Imagery. Search on Bibsonomy SMC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
31Brett E. Shelton, Mary Ann Parlin, Jon Scoresby, Vonda Jump, Claudia Pagliaro Iterative Technology-based Design with Deaf/Hard of Hearing Populations: Working with Teachers to Build a Better Educational Game. Search on Bibsonomy ICLS The full citation details ... 2012 DBLP  BibTeX  RDF
31Matt Webster, Neil Cameron, Michael Jump, Michael Fisher 0001 Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation. Search on Bibsonomy Infotech@Aerospace The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
31Matthew P. Webster, Michael Fisher 0001, Neil Cameron, Mike Jump Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
31Maria Jump, Kathryn S. McKinley Detecting memory leaks in managed languages with Cork. Search on Bibsonomy Softw. Pract. Exp. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
31Maria Jump, Kathryn S. McKinley Dynamic shape analysis via degree metrics. Search on Bibsonomy ISMM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF degree metrics, dynamic invariants, dynamic shape analysis
31Stephen M. Blackburn, Kathryn S. McKinley, Robin Garner, Chris Hoffmann, Asjad M. Khan, Rotem Bentzur, Amer Diwan, Daniel Feinberg, Daniel Frampton, Samuel Z. Guyer, Martin Hirzel, Antony L. Hosking, Maria Jump, Han Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanovic, Thomas VanDrunen, Daniel von Dincklage, Ben Wiedermann Wake up and smell the coffee: evaluation methodology for the 21st century. Search on Bibsonomy Commun. ACM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Maria Jump, Kathryn S. McKinley Cork: dynamic memory leak detection for garbage-collected languages. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF memory leak detection, garbage collection, dynamic, runtime analysis, memory leaks
31Stephen M. Blackburn, Robin Garner, Chris Hoffmann, Asjad M. Khan, Kathryn S. McKinley, Rotem Bentzur, Amer Diwan, Daniel Feinberg, Daniel Frampton, Samuel Z. Guyer, Martin Hirzel, Antony L. Hosking, Maria Jump, Han Bok Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanovic, Thomas VanDrunen, Daniel von Dincklage, Ben Wiedermann The DaCapo benchmarks: java benchmarking development and analysis. Search on Bibsonomy OOPSLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF DaCapo, Java, benchmark, methodology, SPEC
31Salwa Ammar, William Duncombe, Bernard Jump, Ronald Wright Constructing a fuzzy-knowledge-based-system: an application for assessing the financial condition of public schools. Search on Bibsonomy Expert Syst. Appl. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Maria Jump, Stephen M. Blackburn, Kathryn S. McKinley Dynamic object sampling for pretenuring. Search on Bibsonomy ISMM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF dynamic pretenuring, object sampling, garbage collection, memory management
31William R. Penuel, Christine Korbak, Karen A. Cole, Otak Jump Imagination, production, and collaboration in project-based learning using multimedia. Search on Bibsonomy CSCL The full citation details ... 1999 DBLP  BibTeX  RDF
31Sandhya Dwarkadas, J. Robert Jump, James B. Sinclair Execution-Driven Simulation of Multiprocessors: Address and Timing Analysis. Search on Bibsonomy ACM Trans. Model. Comput. Simul. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF parallel tracing, distributed systems, shared-memory multiprocessors, execution-driven simulation
31H. A. Rizvi, James B. Sinclair, J. Robert Jump, J. Carson Execution-Driven Simulation of a Superscalar Processor. Search on Bibsonomy HICSS (1) The full citation details ... 1994 DBLP  BibTeX  RDF
31J. Robert Jump, Sridhar Lakshmanamurthy NETSIM: A General-Purpose Interconnection Network Simulator. Search on Bibsonomy MASCOTS The full citation details ... 1993 DBLP  BibTeX  RDF
31Sandhya Dwarkadas, J. Robert Jump, R. Mukherjee, James B. Sinclair Execution-Driven Simulation of Shared-Memory Multiprocessors. Search on Bibsonomy MASCOTS The full citation details ... 1993 DBLP  BibTeX  RDF
31Richard Covington, Sandhya Dwarkadas, J. Robert Jump, James B. Sinclair, Sridhar Madala Efficient Simulation of Parallel Computer Systems. Search on Bibsonomy Int. J. Comput. Simul. The full citation details ... 1991 DBLP  BibTeX  RDF
31David T. Harper III, J. Robert Jump Evaluation of Reduced Bandwidth Multistage Networks. Search on Bibsonomy J. Parallel Distributed Comput. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
31W. P. Dawkins, V. Debbad, J. Robert Jump, James B. Sinclair Efficient Simulation of Multiprogramming. Search on Bibsonomy SIGMETRICS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
31Graham G. Jump Disaster Recovery Planning at BOC (UK). Search on Bibsonomy Int. CMG Conference The full citation details ... 1989 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 4809 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license