Search results for "tutorial"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Samuel Madden 0001	Data Management in Sensor Networks.	EWSN	2006	DBLP DOI BibTeX RDF
13	Irfan Naufal Umar, Sajap Maswan	The Effects of Guided Inquiry Approach in a Web-based Learning Environment on the Achievement of Students with Different Cognitive Style.	ICALT	2006	DBLP DOI BibTeX RDF
13	Matt Davies, Richard Peel	Designing user interfaces for future mobile applications and devices: a user-centred interaction and visual design process walkthrough.	Mobile HCI	2006	DBLP DOI BibTeX RDF	mobile user interface (UI) design, telecommuications industry, interaction design, prototyping, design process, user-centred design, visual design
13	Jürgen Münch, Dirk Hamann	Software Product Metrics - Goal-Oriented Software Product Measurement.	PROFES	2006	DBLP DOI BibTeX RDF
13	Paul A. Strooper, Luke Wildman	Testing concurrent java components.	ICSE	2006	DBLP DOI BibTeX RDF	concurrency, component, testing methodology
13	Weizhong Shao, Gang Huang 0001, Haiyan Zhao	Modeling of component based systems.	ICSE	2006	DBLP DOI BibTeX RDF	UML, software architecture, component, feature model
13	Gerhard Fischer	Software engineering themes for the future.	ICSE	2006	DBLP DOI BibTeX RDF	collaborative design, meta-design, social creativity
13	Awais Rashid, Alessandro F. Garcia 0001, Ana Moreira 0001	Aspect-oriented software development beyond programming.	ICSE	2006	DBLP DOI BibTeX RDF	aspect-oriented architecture, aspect-oriented programming, aspect-oriented software development, early aspects, aspect-oriented requirements engineering, aspect-oriented design
13	Harald C. Gall, Michele Lanza	Software evolution: analysis and visualization.	ICSE	2006	DBLP DOI BibTeX RDF	visualization, software evolution
13	Tim Mattson	S08 - Introduction to OpenMP.	SC	2006	DBLP DOI BibTeX RDF
13	Brent Welch, Marc Unangst	S13 - Cluster storage and file system technologies.	SC	2006	DBLP DOI BibTeX RDF
13	Tarek A. El-Ghazawi, Duncan A. Buell, Volodymyr V. Kindratenko, Kris Gaj	M03 - Reconfigurable supercomputing.	SC	2006	DBLP DOI BibTeX RDF
13	Srinivas Aluru, David A. Bader, Anantharaman Kalyanaraman	M11 - High-performance computing methods for computational genomics.	SC	2006	DBLP DOI BibTeX RDF
13	Robert B. Ross, Rajeev Thakur, William Loewe, Robert Latham	M02 - Parallel I/O in practice.	SC	2006	DBLP DOI BibTeX RDF
13	Ilkay Altintas, Bertram Ludäscher, Scott Klasky, Mladen A. Vouk	S04 - Introduction to scientific workflow management and the Kepler system.	SC	2006	DBLP DOI BibTeX RDF
13	David Gehrig, D. Michael Freemon, Jaime Frey	M04 - Introduction to grid computing: the first steps.	SC	2006	DBLP DOI BibTeX RDF
13	Sharan Kalwani	M13 - HPC meets IT.	SC	2006	DBLP DOI BibTeX RDF
13	Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt	Integrating Object-Oriented Design and Deductive Verification of Software.	SEFM	2006	DBLP DOI BibTeX RDF
13	Erich L. Kaltofen, Lihong Zhi	Hybrid symbolic-numeric computation.	ISSAC	2006	DBLP DOI BibTeX RDF	symbolic/numeric hybrid methods
13	Giuseppe De Giacomo, Massimo Mecella	Automatic Web Service Composition.	IEEE SCC	2006	DBLP DOI BibTeX RDF
13	Jason Cong, Joseph R. Shinnerl, Min Xie 0004, Tim Kong, Xin Yuan 0005	Large-scale circuit placement.	ACM Trans. Design Autom. Electr. Syst.	2005	DBLP DOI BibTeX RDF	optimality, scalability, Placement, large-scale optimization
13	Vladimir Hahanov	2005 IEEE East-West Design and Test Workshop.	IEEE Des. Test Comput.	2005	DBLP DOI BibTeX RDF	EWDTW 2005, formal verification, fault diagnosis, debug, BIST, EDA, system-level modeling
13	Gerard J. Holzmann, Theo C. Ruys	Effective Bug Hunting with Spin and Modex.	SPIN	2005	DBLP DOI BibTeX RDF
13	Richard Conn	A brief dive into .NET.	ACM Southeast Regional Conference (1)	2005	DBLP DOI BibTeX RDF	.NET Compact Framework, .NET Framework, common language runtime (CLR), foundation class library (FxCL), visual studio 2005, visual studio team system, eXtensible Markup Language (XML), software engineering, systems engineering, integrated development environment (IDE), NET
13	Andrea Acquaviva, Edoardo Bontà, Emanuele Lattanzi	Dynamic Power Management Strategies Within the IEEE 802.11 Standard.	SFM	2005	DBLP DOI BibTeX RDF
13	Thomas T. Hewett	Designing with the human memory in mind.	Mobile HCI	2005	DBLP DOI BibTeX RDF	design, memory, models of the user
13	Tobias Heffelaar, Rüdiger Beer	Data collection and analysis tools for mobile HCI studies.	Mobile HCI	2005	DBLP DOI BibTeX RDF	usability, video, ethnography, multimodality, data analysis, observation, field studies, data collection
13	Amali Weerasinghe, Antonija Mitrovic	Using Affective Leaner States to Enhance Learning.	KES (4)	2005	DBLP DOI BibTeX RDF
13	Shigeru Chiba	Program Transformation with Reflection and Aspect-Oriented Programming.	GTTSE	2005	DBLP DOI BibTeX RDF
13	Thomas T. Hewett	Cognitive factors in design: overview and some implications for design.	Creativity & Cognition	2005	DBLP DOI BibTeX RDF	design, memory, problem solving, models of the user
13	Stephan Diehl 0001	Software visualization.	ICSE	2005	DBLP DOI BibTeX RDF	software architecture, program visualization, algorithm animation, visual debugging
13	Thomas Kühne 0001	Understanding metamodeling.	ICSE	2005	DBLP DOI BibTeX RDF	clabject, deep instantiation, instance-facet, linguistic classification, metatype, ontological classification, token model, type-facet, metamodeling, type model
13	Jane Cleland-Huang, Mark Denne	Financially informed requirements prioritization.	ICSE	2005	DBLP DOI BibTeX RDF	feature sequencing, net present value (NPV), decomposition, requirements prioritization, financial analysis
13	Paolo Tonella	Reverse engineering of object oriented code.	ICSE	2005	DBLP DOI BibTeX RDF	diagram recovery, object oriented programming, static code analysis
13	Ivica Crnkovic	Component-based software engineering for embedded systems.	ICSE	2005	DBLP DOI BibTeX RDF	embedded systems, component-based software engineering
13	Krishnendu Chakrabarty	Design, Testing, and Applications of Digital Microfluidics-Based Biochips.	VLSI Design	2005	DBLP DOI BibTeX RDF
13	Srinivas Raghvendra, Philippe Hurat	DFM: Linking Design and Manufacturing.	VLSI Design	2005	DBLP DOI BibTeX RDF
13	Cheer-Sun Yang	A two-tier on-line learning model for teaching Web services.	ITRE	2005	DBLP DOI BibTeX RDF
13	Min Luo, Benjamin Goldshlager, Liang-Jie Zhang	Designing and Implementing Enterprise Service Bus (ESB) and SOA Solutions.	IEEE SCC	2005	DBLP DOI BibTeX RDF
13	Sriram Anand, Srinivas Padmanabhuni, Jai Ganesh	Perspectives on Service Oriented Architecture.	IEEE SCC	2005	DBLP DOI BibTeX RDF
13	Anup Kumar	Distributed System Development Using Web Service and Enterprise Java Beans.	IEEE SCC	2005	DBLP DOI BibTeX RDF
13	Svetlana O. Shilova, Nikolay V. Shilov 0002	Addendum to Etude on theme of Dijkstra.	SIGACT News	2004	DBLP DOI BibTeX RDF
13	Svetlana O. Shilova, Nikolay V. Shilov 0002	Etude on theme of Dijkstra.	SIGACT News	2004	DBLP DOI BibTeX RDF
13	Ron Crocker	Large Scale Agile Software Development.	XP/Agile Universe	2004	DBLP DOI BibTeX RDF
13	Joshua Kerievsky	Refactoring to Patterns.	XP/Agile Universe	2004	DBLP DOI BibTeX RDF
13	Clifton Kussmaul	Outsourcing and Offshoring with Agility.	XP/Agile Universe	2004	DBLP DOI BibTeX RDF
13	Jeff Patton	Interaction Design Meets Agility: Practicing Usage Centered Design on Agile Development Projects.	XP/Agile Universe	2004	DBLP DOI BibTeX RDF
13	Ritu Chadha	Managing mobile ad hoc networks.	NOMS (1)	2004	DBLP DOI BibTeX RDF
13	Mehmet Ulema	Wireless sensor networks: architectures, protocols, and management.	NOMS (1)	2004	DBLP DOI BibTeX RDF
13	Jörg Kienzle	Fault Tolerance - Concepts and Implementation Issues.	FIDJI	2004	DBLP DOI BibTeX RDF
13	Enrico Macii	RTL power estimation and optimization.	SBCCI	2004	DBLP DOI BibTeX RDF
13	Arnon Rosenthal, Marianne Winslett	Security of Shared Data in Large Systems: State of the Art and Research Directions. (PDF / PS)	SIGMOD Conference	2004	DBLP DOI BibTeX RDF
13	Daniel Port, David Klappholz	Performing Empirical Software Engineering Research in the Classroom.	CSEE&T	2004	DBLP DOI BibTeX RDF
13	Roger Mohr	Image + Database != Image Database.	CVDB	2004	DBLP DOI BibTeX RDF
13	Paolo Tonella	Formal Concept Analysis in Software Engineering.	ICSE	2004	DBLP DOI BibTeX RDF
13	Ian Gorton, Anna Liu	Architectures and Technologies for Enterprise Application Integration.	ICSE	2004	DBLP DOI BibTeX RDF
13	Arie van Deursen, Claudio Riva	Software Architecture Reconstruction.	ICSE	2004	DBLP DOI BibTeX RDF
13	Daniel J. Paulish, Roman Pichler, Wolfgang Kuhn	Product Line Architectures for Global Software Development.	SPLC	2004	DBLP DOI BibTeX RDF
13	Bojan Petek	Predictive Connectionist Approach to Speech Recognition.	Summer School on Neural Networks	2004	DBLP DOI BibTeX RDF
13	Chokchai Leangsuksun, Ibrahim Haddad	Building highly available HPC clusters with HA-OSCAR.	CLUSTER	2004	DBLP DOI BibTeX RDF
13	R. Asbury, M. Wrinn	MPI tuning with Intel© Trace Analyzer and Intel Trace Collector.	CLUSTER	2004	DBLP DOI BibTeX RDF
13	Aaron Hertzmann	A Survey of Stroke-Based Rendering.	IEEE Computer Graphics and Applications	2003	DBLP DOI BibTeX RDF
13	Vaidy S. Sunderam	Programming Environments for Grids and Distributed Computing Systems.	PVM/MPI	2003	DBLP DOI BibTeX RDF
13	Alistair G. Sutcliffe	Scenario-Based Requirements Engineering.	RE	2003	DBLP DOI BibTeX RDF
13	Kung-Kiu Lau	Component-Based Software Development and Logic Programming.	ICLP	2003	DBLP DOI BibTeX RDF
13	Jason Cong, Tim Kong, Joseph R. Shinnerl, Min Xie 0004, Xin Yuan 0005	Large-Scale Circuit Placement: Gap and Promise.	ICCAD	2003	DBLP DOI BibTeX RDF	Optimality, Scalability, Placement, Large-Scale Optimization
13	John Klein, Barry Price, David M. Weiss	Industrial-Strength Software Product-Line Engineering.	ICSE	2003	DBLP DOI BibTeX RDF
13	Rajiv V. Joshi, Kaushik Roy 0001	Design of Deep Sub-Micron CMOS Circuits.	VLSI Design	2003	DBLP DOI BibTeX RDF
13	Krithi Ramamritham, Kavi Arya	System Support for Embedded Applications.	VLSI Design	2003	DBLP DOI BibTeX RDF
13	Bebo White	Web Accessibility, Mobility, and Findability.	LA-WEB	2003	DBLP DOI BibTeX RDF
13	Ricardo A. Baeza-Yates	XML Retrieval.	LA-WEB	2003	DBLP DOI BibTeX RDF
13	Pramod Sadalage, Peter Schuh	The Agile Database.	XP/Agile Universe	2002	DBLP DOI BibTeX RDF
13	John Goodsen	Effective Java Testing Strategies.	XP/Agile Universe	2002	DBLP DOI BibTeX RDF
13	Paul Hodgetts	Beyond the Customer: Agile Business Practices for XP.	XP/Agile Universe	2002	DBLP DOI BibTeX RDF
13	John W. Lloyd	Learning Comprehensible Theories from Structured Data.	Machine Learning Summer School	2002	DBLP DOI BibTeX RDF
13	Dagobert Soergel	Thesauri and ontologies in digital libraries: 2. design, evaluation, and development.	JCDL	2002	DBLP DOI BibTeX RDF	knowledge organization system standards, thesaurus development, ontology, classification, taxonomy, ontological engineering, conceptual structure
13	Salil P. Vadhan	Randomness Extractors and their Many Guises.	FOCS	2002	DBLP DOI BibTeX RDF
13	Zhiping Lin 0001	Grobner bases and applications in control and systems.	ICARCV	2002	DBLP DOI BibTeX RDF
13	Hélène Giroire, Françoise Le Calvez, Jacques Duma, Gérard Tisseau, Marie Urtasun	Targeted Detection: Application to Error Detection in a Pedagogical System.	Intelligent Tutoring Systems	2002	DBLP DOI BibTeX RDF
13	Bahar Biller, Barry L. Nelson	Input modeling: answers to the top ten input modeling questions.	WSC	2002	DBLP DOI BibTeX RDF
13	Maurizio Lenzerini	Data Integration: A Theoretical Perspective. (PDF / PS)	PODS	2002	DBLP DOI BibTeX RDF
13	Krzysztof Czarnecki 0001	Generative Programming: Methods, Techniques, and Applications.	ICSR	2002	DBLP DOI BibTeX RDF
13	Joseph Gil, John Howse, Stuart Kent 0001	Advanced visual modelling: beyond UML.	ICSE	2002	DBLP DOI BibTeX RDF	UML
13	Christoph Bussler	Semantic B2B Integration.	SIGMOD Conference	2001	DBLP DOI BibTeX RDF
13	Richard P. Marek, Debra A. Elkins, Donald R. Smith	Manufacturing controls: understanding the fundamentals of Kanban and CONWIP pull systems using simulation.	WSC	2001	DBLP DOI BibTeX RDF
13	Alexander Ran	Fundamental concepts for practical software architecture.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF
13	Mike Mannion, Hermann Kaindl	Requirements-based product line engineering.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	reuse, requirements, variability, product line engineering
13	Robert L. Nord, Daniel J. Paulish, Robert W. Schwanke, Dilip Soni	Software architecture in a changing world: developing design strategies that anticipate change.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	UML
13	Albert T. Corbett, John R. Anderson	Locus of feedback control in computer-based tutoring: impact on learning rate, achievement and attitudes.	CHI	2001	DBLP DOI BibTeX RDF	feedback in problem solving, instructional interface design, intelligent tutoring systems, student modeling
13	Dirk Stroobandt	A priori system-level interconnect prediction: Rent's rule and wire length distribution models.	SLIP	2001	DBLP DOI BibTeX RDF
13	Bill Thomas	The documentation process: create it, refine it, and get them to use it.	SIGDOC	2001	DBLP DOI BibTeX RDF	management, documentation, process, culture
13	Douglas C. Schmidt	Policies and Patterns for High-Performance, Real-Time Object Request Brokers.	LCN	2001	DBLP DOI BibTeX RDF
13	Reinhard German	Non-Markovian Analysis.	European Educational Forum: School on Formal Methods and Performance Analysis	2000	DBLP DOI BibTeX RDF
13	Lorenzo Moreno Ruiz, Carina S. González, Rosa María Aguilar, José Ignacio Estévez Damas, José L. Sánchez 0001, C. Barroso	Adaptive Multimedia Interface for Users with Intellectual and Cognitive Handicaps.	Intelligent Tutoring Systems	2000	DBLP DOI BibTeX RDF
13	Sami Khuri, Hsiu-Chin Hsu	Interactive packages for learning image compression algorithms.	ITiCSE	2000	DBLP DOI BibTeX RDF
13	Marvin S. Seppanen	Modeling for application: developing industrial strength simulation models using Visual Basic for Applications (VBA).	WSC	2000	DBLP DOI BibTeX RDF
13	Ray Haythornthwaite	Failure Mechanisms in Semiconductor Memory Circuits.	MTDT	2000	DBLP DOI BibTeX RDF
13	Leslie Lamport	Distributed algorithms in TLA (abstract).	PODC	2000	DBLP DOI BibTeX RDF
13	Roland Carl Backhouse	Galois Connections and Fixed Point Calculus.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
13	David L. Dill	Alternative Approaches to Hardware Verification (abstract).	CAV	1999	DBLP DOI BibTeX RDF