Search results for "functional evaluation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Rawat Siripokarpirom	Distribution of Bitstream-Level IP Cores for Functional Evaluation Using FPGAs.	FPL	2004	DBLP DOI BibTeX RDF
2	Nancy A. Day, Jeffrey J. Joyce	Symbolic Functional Evaluation.	TPHOLs	1999	DBLP DOI BibTeX RDF
1	David C. J. Matthews, Makarius Wenzel	Efficient parallel programming in Poly/ML and Isabelle/ML.	DAMP	2010	DBLP DOI BibTeX RDF	parallel standard ml, poly/ml, theorem proving applications, data parallelism, isabelle
1	Yuichiro Tsuchiya, Yoshie Kodera, Rie Tanaka, Shigeru Sanada	Quantitative Kinetic Analysis of Lung Nodules Using the Temporal Subtraction Technique in Dynamic Chest Radiographies Performed with a Flat Panel Detector.	J. Digital Imaging	2009	DBLP DOI BibTeX RDF	computerized method, image analysis, computer analysis, computer-assisted instruction, lung, Chest radiographs
1	Huáscar Espinoza, David Servat, Sébastien Gérard	Leveraging analysis-aided design decision knowledge in UML-based development of embedded systems.	SHARK	2008	DBLP DOI BibTeX RDF	UML, embedded systems, model-driven engineering, design space exploration, trade-off analysis
1	Francisco Corbera, Eladio Gutiérrez, Julián Ramos, Sergio Romero, María A. Trenas	Development of a new MOODLE module for a basic course on computer architecture.	ITiCSE	2008	DBLP DOI BibTeX RDF	computer architecture, LMS, Moodle, automatic assessment
1	Beatrice Chevaillier, Yannick Ponvianne, Jean-Luc Collette, Damien Mandry, Michel Claudon, Olivier Pietquin	Functional semi-automated segmentation of renal DCE-MRI sequences.	ICASSP	2008	DBLP DOI BibTeX RDF
1	Yan Wen, Jinjing Zhao, Huaimin Wang	A Novel Intrusion-Tolerant Approach for Internet Access.	ISIP	2008	DBLP DOI BibTeX RDF	local-booting technology, virtual machine, intrusion tolerant
1	Andreas Schlicker, Carola Huthmacher, Fidel Ramírez, Thomas Lengauer, Mario Albrecht	Functional evaluation of domain-domain interactions and human protein interaction networks.	Bioinformatics	2007	DBLP DOI BibTeX RDF
1	Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer	A Single-Step Term-Graph Reduction System for Proof Assistants.	AGTIVE	2007	DBLP DOI BibTeX RDF
1	Gregorio Andria, Filippo Attivissimo, Nicola Giaquinto, Anna Maria Lucia Lanzolla, Livio Quagliarella, Nicola Sasanelli	Functional Evaluation of Handgrip Signals for Parkinsonian Patients.	IEEE T. Instrumentation and Measurement	2006	DBLP DOI BibTeX RDF
1	Andreas Schlicker, Carola Huthmacher, Fidel Ramírez, Thomas Lengauer, Mario Albrecht	Functional Evaluation of Domain-Domain Interactions and Human Protein Interaction Networks.	German Conference on Bioinformatics	2006	DBLP BibTeX RDF
1	Sinan Isik, Mehmet Yunus Donmez, Cem Ersoy	Itinerant Delivery of Popular Data via WIDE Hot Spots.	MONET	2006	DBLP DOI BibTeX RDF	reliable and secure data dissemination, wireless hot spots, wireless LANs
1	Deima Elnatour	Functional-driven heuristic evaluation of administrative portal systems used in institutions of higher education.	SIGITE Conference	2005	DBLP DOI BibTeX RDF	administrative portals, usability evaluation methods (UEM), usability testing, heuristic evaluation, cognitive walkthrough, functional evaluation
1	Takahiro Ueoka, Tatsuyuki Kawamura, Yasuyuki Kono, Masatsugu Kidode	Functional evaluation of a vision-based object remembrance support system.	ICME	2004	DBLP BibTeX RDF
1	Joan Serrat, Eduardo Grampín, Lampros Raptis, Fotis Karayannis, Kostas Vaxevanakis, Dimitris Chronis, Harris Katopodis, Gerard Hoekstra, Willem A. Romijn, Alex Galis, Eugene Kozlovski	Functional Evaluation of an Integrated IP over WDM.	Integrated Network Management	2003	DBLP BibTeX RDF
1	Keith Hanna	Interactive visual functional programming.	ICFP	2002	DBLP DOI BibTeX RDF	visual, interactive, Haskell, functional, live, edit, stylesheet
1	Hui Xie, Hong Qin	A Physics-Based Framework for Subdivision Surface Design with Automatic Rules Control.	Pacific Conference on Computer Graphics and Applications	2002	DBLP DOI BibTeX RDF	Computer graphics, CAD, Physics-based modeling, subdivision
1	Gabriele Wurm, Willibald Wies, Mathilde Schnizer, Karin Nussbaumer, Kurt Holl	Image guidance and functional evaluation in epilepsy surgery and lesional surgery.	CARS	2001	DBLP BibTeX RDF
1	R. Pieper, S. Michael	Considerations for predicting freezeout and exhaustion under a variety of nontrivial conditions.	ISCAS	2001	DBLP DOI BibTeX RDF
1	Mauro Torchio, Stefania Battista, Fabrizio Bar, Cristina Pollet, Marina Marzuoli, Maria Cesira Bucchi, Roberto Pagni, Gianpaolo Molino	A Decision-Support System for the Identification, Staging, Functional Evaluation of Liver Diseases.	AIMDM	1999	DBLP DOI BibTeX RDF
1	Enamul Amyeen, W. Kent Fuchs, Irith Pomeranz, Vamsi Boppana	Implication and Evaluation Techniques for Proving Fault Equivalence.	VTS	1999	DBLP DOI BibTeX RDF
1	Christoph Scholl, Rolf Drechsler, Bernd Becker	Functional simulation using binary decision diagrams.	ICCAD	1997	DBLP DOI BibTeX RDF	Binary Decision Diagrams, Functional simulation
1	Sergio Antoy, Zena M. Ariola	Narrowing the Narrowing Space.	PLILP	1997	DBLP DOI BibTeX RDF	Narrowing space, Computed expression, Regular computed expression, Finite representation, Narrowing, Functional logic programming
1	Vincent Danos, Marco Pedicini, Laurent Regnier	Directed Virtual Reductions.	CSL	1996	DBLP DOI BibTeX RDF
1	Olof Torgersson	A Definitional Approach to Functional Logic Programming.	ELP	1996	DBLP DOI BibTeX RDF
1	Stéfan Jacques Darmoni, Philippe Massari, Jean-Michel Droy, Thierry Blanc, Jacques Leroy	Functional Evaluation of SETH: An Expert System In Clinical Toxicology.	AIME	1995	DBLP DOI BibTeX RDF
1	Georges Gardarin, Fernando Machuca, Philippe Pucheral	Functional Evaluation of OQL Queries.	BDA	1994	DBLP BibTeX RDF
1	Isabelle Attali, Jacques Chazarain	Functional Evaluation of Strongly Non Circular Typol Specifications.	WAGA	1990	DBLP DOI BibTeX RDF