Search results for "analyser"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	S. B. Wright, M. G. Silk	A small computer as an on line multi-parameter analyser for a neutron spectrometer.	AFIPS Fall Joint Computing Conference (2)	1968	DBLP DOI BibTeX RDF
19	Michael John Short	The conjoint use of a network analyser and analogue computer for studies of the automatic governing and regulating of power systems.		1965	RDF
13	Stefan Holdermans, Jurriaan Hage	Making "stricterness" more relevant.	PEPM	2010	DBLP DOI BibTeX RDF	explicit strictness annotations, relevance typing, lazy evaluation, strictness analysis
13	Frédéric Dabrowski, David Pichardie	A Certified Data Race Analysis for a Java-like Language.	TPHOLs	2009	DBLP DOI BibTeX RDF
13	Pietro Longo, Andrea Sterbini, Marco Temperini	TSW: A Web-Based Automatic Correction System for C Programming Exercises.	WSKS (1)	2009	DBLP DOI BibTeX RDF	automatic grading, automatic correction, programming exercises
13	Samir Genaim, Andy King	Inferring non-suspension conditions for logic programs with dynamic scheduling.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	concurrency, logic programming, debugging, Abstract interpretation
13	Howard Foster	WS-Engineer 2008.	ICSOC	2008	DBLP DOI BibTeX RDF
13	Joshua Broadway, Benjamin P. Turnbull, Jill Slay	Improving the Analysis of Lawfully Intercepted Network Packet Data Captured for Forensic Analysis.	ARES	2008	DBLP DOI BibTeX RDF	lawful interception, packet analysis, network, forensic computing
13	R. Vijay Sundar Ram, Sobha Lalitha Devi	Clause Boundary Identification Using Conditional Random Fields.	CICLing	2008	DBLP DOI BibTeX RDF
13	H. Foster	Service Compositions: From Models to Self-Management.	EDOC	2008	DBLP DOI BibTeX RDF
13	Nadia Oberhofer, Nicoletta Paruccini, Ehrenfried Moroder	Image Quality Assessment and Equipment Optimisation with Automated Phantom Evaluation in Full Field Digital Mammography (FFDM).	Digital Mammography / IWDM	2008	DBLP DOI BibTeX RDF	threshold-detail phantom, automatic exposure control, digital mammography
13	Allan Clark	The ipclib PEPA Library.	QEST	2007	DBLP DOI BibTeX RDF
13	Jean Souyris, David Delmas	Experimental Assessment of Astrée on Safety-Critical Avionics Software.	SAFECOMP	2007	DBLP DOI BibTeX RDF	avionics software, run-time errors, Astrée, verification, static analysis, Abstract Interpretation, safety
13	Arturas Kaklauskas, Edmundas Kazimieras Zavadskas, Edmundas Babenskas, Marko Seniut, Andrejus Vlasenko, Vytautas Plakys	Intelligent Library and Tutoring System for Brita in the PuBs Project.	CDVE	2007	DBLP DOI BibTeX RDF	intelligent library and tutoring system, Brita in PuBs Project, voice stress analysis, real-time system, knowledge management, multiple user
13	David Delmas, Jean Souyris	Astrée: From Research to Industry.	SAS	2007	DBLP DOI BibTeX RDF	avionics software, run-time errors, Astrée, verification, static analysis, abstract interpretation
13	Luís Miguel Cabral, Luís Fernando Costa, Diana Santos	What Happened to Esfinge in 2007?	CLEF	2007	DBLP DOI BibTeX RDF	anaphor resolution, question reformulation, answer choice, Wikipedia processing, Question answering, Portuguese
13	Xiao Yan Deng, Greg Michaelson, Philip W. Trinder	Automatically Costed Autonomous Mobility.	IAT	2007	DBLP DOI BibTeX RDF
13	Dalila Boughaci, Kamel Ider, Sofiane Yahiaoui	Design and implementation of a misused intrusion detection system using autonomous and mobile agents.	EATIS	2007	DBLP DOI BibTeX RDF	mobile agents, intrusion detection, autonomous agents, aglets, distributed intrusion detection
13	Paul A. Strooper, Luke Wildman	Testing Concurrent Java Components.	ICSE Companion	2007	DBLP DOI BibTeX RDF
13	Md. Rafiqul Islam 0001, Wanlei Zhou 0001	Email Categorization Using Multi-stage Classification Technique.	PDCAT	2007	DBLP DOI BibTeX RDF	Grey list, Classification, Email, False positive
13	Patricia M. Hill, Fausto Spoto	Deriving escape analysis by abstract interpretation.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Garbage collection, Abstract interpretation, Denotational semantics
13	Gerwin Klein, Tobias Nipkow	A machine-checked model for a Java-like language, virtual machine, and compiler.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Java, theorem proving, operational semantics
13	Armelle Bonenfant, Christian Ferdinand, Kevin Hammond, Reinhold Heckmann	Worst-Case Execution Times for a Purely Functional Language.	IFL	2006	DBLP DOI BibTeX RDF
13	Yi Sun 0009, Peiping Zhu, Jian Yu, Ying Hou	Computerized tomography based on X-ray refraction information.	ISBI	2006	DBLP DOI BibTeX RDF
13	Lei Wang, Padmanabhan Krishnan	An Approach to Provisioning E-Commerce Applications with Commercial Components.	ICEBE	2006	DBLP DOI BibTeX RDF
13	Pavel Ircing, Ludek Müller	Benefit of Proper Language Processing for Czech Speech Retrieval in the CL-SR Task at CLEF 2006.	CLEF	2006	DBLP DOI BibTeX RDF
13	Jeff Kramer	Component-Based Modeling, Analysis and Animation.	CCGRID	2006	DBLP DOI BibTeX RDF
13	Gérard P. Huet	Shallow syntax analysis in Sanskrit guided by semantic nets constraints.	IWRIDL	2006	DBLP DOI BibTeX RDF	Sanskrit parser, natuaral language processing, computational linguistic, semantic net, syntax analysis
13	Paul A. Strooper, Luke Wildman	Testing concurrent java components.	ICSE	2006	DBLP DOI BibTeX RDF	concurrency, component, testing methodology
13	Dana Hlavácková-Schindler, Ales Horák, Vladimír Kadlec	Exploitation of the VerbaLex Verb Valency Lexicon in the Syntactic Analysis of Czech.	TSD	2006	DBLP DOI BibTeX RDF
13	Étienne Payet	Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator.	LOPSTR	2006	DBLP DOI BibTeX RDF
13	Toshihiro Kanahori, Alan P. Sexton, Volker Sorge, Masakazu Suzuki	Capturing Abstract Matrices from Paper.	MKM	2006	DBLP DOI BibTeX RDF
13	Margarida Taborda Duarte, Joanne Mae Robison Fernlund	Analysis of Meso Textures of Geomaterials Through Haralick Parameters.	IbPRIA (2)	2005	DBLP DOI BibTeX RDF
13	Dimitris Rousidis, Christos Tjortjis	Clustering Data Retrieved from Java Source Code to Support Software Maintenance: A Case Study.	CSMR	2005	DBLP DOI BibTeX RDF
13	John P. Gallagher, Kim S. Henriksen, Gourinath Banda	Techniques for Scaling Up Analyses Based on Pre-interpretations.	ICLP	2005	DBLP DOI BibTeX RDF
13	Loïc Kervajan, Emilie Guimier De Neef, Jean Véronis	French Sign Language Processing: Verb Agreement.	Gesture Workshop	2005	DBLP DOI BibTeX RDF	French Sign Language, verb typology, nominal classes, computational sciences, morphology, agreement
13	Behzad Bordbar, Kyriakos Anastasakis	MDA and Analysis of Web Applications.	TEAA	2005	DBLP DOI BibTeX RDF
13	Choon Hean Gan, Arkady B. Zaslavsky, Stephen Giles	CAWAnalyser: Enhancing Wireless Intrusion Response with Runtime Context-Awareness.	ICN (1)	2005	DBLP DOI BibTeX RDF
13	Ian Toyn, Andy Galloway	Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ.	ZB	2005	DBLP DOI BibTeX RDF
13	Halina Kwasnicka, Magdalena Gierusz	Managing of Cooperative Genetic Algorithms by Intelligent Agent.	ISDA	2005	DBLP DOI BibTeX RDF
13	Aurélie Lemaitre, Bertrand Coüasnon, Ivan Leplumey	Using a Neighbourhood Graph Based on Voronoï Tessellation with DMOS, a Generic Method for Structured Document Recognition.	GREC	2005	DBLP DOI BibTeX RDF
13	Jacques Demerjian, Ibrahim Hajjeh, Mohamad Badra, Salim Ferraz	A Secure Way to Combine IPsec, NAT & DHCP.	MMM-ACNS	2005	DBLP DOI BibTeX RDF
13	Marcus Thoss	Automated High-Accuracy Hybrid Measurement for Distributed Embedded Systems.	WISES	2005	DBLP DOI BibTeX RDF
13	He Guo 0001, Chunyan Guo, Feng Chen 0004, Hongji Yang	Wrapping Client-Server Application to Web Services for Internet Computing.	PDCAT	2005	DBLP DOI BibTeX RDF
13	Patricio Bulic, Veselko Gustin	Fast Dependence Analysis in a Multimedia Vectorizing Compiler.	PDP	2004	DBLP DOI BibTeX RDF
13	Andrew J. Bennett, A. J. Field, C. Murray Woodside	Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time.	UML	2004	DBLP DOI BibTeX RDF
13	Timo Latvala, Marko Mäkelä	LTL Model Checking for Modular Petri Nets.	ICATPN	2004	DBLP DOI BibTeX RDF
13	Wim Vanhoof, Maurice Bruynooghe, Michael Leuschel	Binding-Time Analysis for Mercury.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
13	Peter T. Breuer, Marisol García-Valls	Static Deadlock Detection in the Linux Kernel.	Ada-Europe	2004	DBLP DOI BibTeX RDF
13	Elaine Uí Dhonnchadha, Caoilfhionn Nic Pháidín, Josef van Genabith	Design, Implementation and Evaluation of an Inflectional Morphology Finite State Transducer for Irish.	Mach. Transl.	2003	DBLP DOI BibTeX RDF	computational morphology, Irish, Celtic languages, minority languages, finite state transducer
13	Brad Long, Daniel Hoffman, Paul A. Strooper	Tool Support for Testing Concurrent Java Components.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	concurrency, unit testing, tool support, Component testing
13	Gérard P. Huet	Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics.	PADL	2003	DBLP DOI BibTeX RDF
13	Warwick Irwin, Neville I. Churcher	Object Oriented Metrics: Precision Tools and Configurable Visualisations.	IEEE METRICS	2003	DBLP DOI BibTeX RDF	metric visualisation, XML, static analysis, VRML, software metrics, empirical software engineering, object-oriented metrics, software visualisation
13	Patricio Bulic, Veselko Gustin	Data Dependence Analysis for Intra-Register Vectorization.	ISPDC	2003	DBLP DOI BibTeX RDF
13	Alistair G. Sutcliffe, Wei-Chun Chang, Richard Neville	Evolutionary Requirements Analysis.	RE	2003	DBLP DOI BibTeX RDF
13	Kyongho Min	Related Factors of Document Classification Performance in a Highly Inflectional Language.	IDEAL	2003	DBLP DOI BibTeX RDF
13	Eva Mráková, Radek Sedlácek	From Czech Morphology through Partial Parsing to Disambiguation.	CICLing	2003	DBLP DOI BibTeX RDF	partial syntactic parsing, verb valencies, disambiguation, Morphological analysis
13	Christos Tjortjis, Loukas Sinos, Paul J. Layzell 0001	Facilitating Program Comprehension by Mining Association Rules from Source Code.	IWPC	2003	DBLP DOI BibTeX RDF
13	Jeff Kramer, Jeff Magee, Sebastián Uchitel	Software Architecture Modeling & Analysis: A Rigorous Approach.	SFM	2003	DBLP DOI BibTeX RDF
13	Kyongho Min, William H. Wilson	Effectiveness of Syntactic Information for Document Classification.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF
13	Patricia M. Hill, Fausto Spoto	A Foundation of Escape Analysis.	AMAST	2002	DBLP DOI BibTeX RDF
13	Alistair G. Sutcliffe, Andreas Gregoriades	Validating Functional System Requirements with Scenarios.	RE	2002	DBLP DOI BibTeX RDF
13	Michael Codish, Harald Søndergaard	Meta-circular Abstract Interpretation in Prolog.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
13	Hung-Xin Zhao, Yea-Shuan Huang	Real-Time Multiple-Person Tracking System.	ICPR (2)	2002	DBLP DOI BibTeX RDF
13	Sergey Ablameyko 0001, V. Kirillov, Dmitry Lagunovsky, O. Patsko, Nadeshda Paramonova, Maria Petrou, O. Tchij	From Cell Image Segmentation to Differential Diagnosis of Thyroid Cancer.	ICPR (1)	2002	DBLP DOI BibTeX RDF
13	Hussein Raad, Bernard Causse	Modelling of an Adaptive Hypermedia System Based on Active Rules.	Intelligent Tutoring Systems	2002	DBLP DOI BibTeX RDF
13	Andreas Schaad, Jonathan D. Moffett	A lightweight approach to specification and analysis of role-based access control extensions.	SACMAT	2002	DBLP DOI BibTeX RDF	ARBAC97, alloy, separation of duties
13	Leonid Mikhailov, Michael J. Butler	An Approach to Combining B and Alloy.	ZB	2002	DBLP DOI BibTeX RDF	B-method, Alloy
13	B. B. Chaudhuri 0001	Towards Indian Language Spell-checker Design.	Language Engineering Conference	2002	DBLP DOI BibTeX RDF
13	Gil Francopoulo	Experiments with a Chunker and Lucene.	CLEF	2002	DBLP DOI BibTeX RDF
13	Aleksandra Rankov, Gaynor E. Taylor, John Webster	Robust Data Compression for Analogue Test Outputs.	IOLTW	2002	DBLP DOI BibTeX RDF
13	Diego Garat, Dina Wonsever	A Constraint Parser for Contextual Rules.	SCCC	2002	DBLP DOI BibTeX RDF
13	Leo Ojala, Nisse Husberg, Teemu Tynjälä	Modelling and analysing a distributed dynamic channel allocation algorithm for mobile computing using high-level net methods.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Mobile computing, Reachability analysis, High-level Petri nets
13	Rogardt Heldal, John Hughes 0001	Binding-Time Analysis for Polymorphic Types.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
13	Alexander Serebrenik, Danny De Schreye	Inference of Termination Conditions for Numerical Loops in Prolog.	LPAR	2001	DBLP DOI BibTeX RDF
13	Marko Mäkelä	Optimising Enabling Tests and Unfoldings of Algebraic System Nets.	ICATPN	2001	DBLP DOI BibTeX RDF	reachability analysis, unification, high-level Petri nets, unfolding
13	Sebastián Uchitel, Jeff Kramer, Jeff Magee	Detecting implied scenarios in message sequence chart specifications.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	FSP, implementability, synthesis, labelled transition systems, message sequence charts, LTSA
13	Thierry Monteil 0001, Patricia Pascal	Task Allocation Using Processor Load Prediction on Multiprocessors Cluster.	IWCC	2001	DBLP DOI BibTeX RDF
13	Gianluca Amato, Fausto Spoto	Abstract Compilation for Sharing Analysis.	FLOPS	2001	DBLP DOI BibTeX RDF	linear refinement, logic programming, Abstract interpretation, linear logic, domain theory
13	Kevin Glynn, Peter J. Stuckey, Martin Sulzmann	Effective Strictness Analysis with HORN Constraints.	SAS	2001	DBLP DOI BibTeX RDF
13	Brad Long, Daniel Hoffman, Paul A. Strooper	A Concurrency Test Tool for Java Monitors.	ASE	2001	DBLP DOI BibTeX RDF
13	Georgios Petasis, Vangelis Karkaletsis, Dimitra Farmakiotou, Ion Androutsopoulos, Constantine D. Spyropoulos	A Greek Morphological Lexicon and Its Exploitation by Natural Language Processing Applications.	Panhellenic Conference on Informatics	2001	DBLP DOI BibTeX RDF
13	Peter Sykacek, Stephen J. Roberts, Iead Rezek, Arthur Flexer, Georg Dorffner	A Probabilistic Approach to High-Resolution Sleep Analysis.	ICANN	2001	DBLP DOI BibTeX RDF
13	Jacob M. Howe, Andy King	Implementing Groundness Analysis with Definite Boolean Functions.	ESOP	2000	DBLP DOI BibTeX RDF	definite Boolean functions, interpretation, groundness analysis, (constraint) logic programs
13	Reiner W. Hartenstein, Michael Herz, Thomas Hoffmann 0001, Ulrich Nageldinger	Generation of Design Suggestions for Coarse-Grain Reconfigurable Architectures.	FPL	2000	DBLP DOI BibTeX RDF
13	Rattasit Sukhahuta, Dan J. Smith	Information extraction for Thai documents.	IRAL	2000	DBLP DOI BibTeX RDF	grammar parser, part-of-speech tagger, phrase structure, information extraction, word segmentation
13	Bärbel Ripplinger	The Use of NLP Techniques in CLIR.	CLEF	2000	DBLP DOI BibTeX RDF
13	Olivier Paul, Maryline Laurent, Sylvain Gombault	A Full Bandwidth ATM Firewall.	ESORICS	2000	DBLP DOI BibTeX RDF
13	Jindrich Matousek	Building a New Czech Text-to-Speech System Using Triphone-Based Speech Units.	TSD	2000	DBLP DOI BibTeX RDF
13	Marek Trabalka, Mária Bieliková	Realization of Syntactic Parser for Inflectional Language Using XML and Regular Expressions.	TSD	2000	DBLP DOI BibTeX RDF
13	Ramin Sadre, Boudewijn R. Haverkort	FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
13	Liz Whiting, Mike Hill	Safety Analysis of Hawk in Flight Monitor.	PASTE	1999	DBLP DOI BibTeX RDF
13	Kin Wee Choo, Guoxiao Guo, Ben M. Chen	Development of a Multi-Channel PC-Based Hard Disk Drive Bode-Plot Generator.	Asian Test Symposium	1998	DBLP DOI BibTeX RDF
13	O. A. Petlin, Stephen B. Furber	Built-In Self-Testing of Micropipelines.	ASYNC	1997	DBLP DOI BibTeX RDF	Built-in self-test, Design for test, Asynchronous design, Micropipelines
13	Jerome Robinson, Barry G. T. Lowden	Data Analysis for Query Processing.	IDA	1997	DBLP DOI BibTeX RDF
13	Andrew Heaton, Patricia M. Hill, Andy King	Analysis of Logic Programs with Delay.	LOPSTR	1997	DBLP DOI BibTeX RDF
13	Greg Michaelson	Automatic Analysis Of Functional Program Style.	Australian Software Engineering Conference	1996	DBLP DOI BibTeX RDF	automatic program assessment, functional programming, style analysis
13	Pascal Fradet, Ronan Caugne, Daniel Le Métayer	Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm.	ESOP	1996	DBLP DOI BibTeX RDF
13	P. Blysa	SDT a tool for complex real-time systems.	ICECCS	1995	DBLP DOI BibTeX RDF	SDT, complex real-time systems tool, object-oriented design tool, object-oriented formal specification technique SDL, C++ environments, simulator, real-time systems, real-time system, formal specification, object-oriented programming, validator, C, programming environments, editor
13	Jean-Marc Champarnaud	A Programming Language for Symbolic Computation of Regular Languages, Automata and Semigroups.	STACS	1992	DBLP DOI BibTeX RDF