Search results for "artifacts"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Paolo Pazzaglia, Claudio Mandrioli, Martina Maggio, Anton Cervin	DMAC: Deadline-Miss-Aware Control (Artifact).	Dagstuhl Artifacts Ser.	2019	DBLP DOI BibTeX RDF
20	Alexi Turcotte, Ellen Arteca, Gregor Richards	Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language (Artifact).	Dagstuhl Artifacts Ser.	2019	DBLP DOI BibTeX RDF
20	Matthias Springer, Hidehiko Masuhara	DynaSOAr: A Parallel Memory Allocator for Object-Oriented Programming on GPUs with Efficient Memory Access (Artifact).	Dagstuhl Artifacts Ser.	2019	DBLP DOI BibTeX RDF
20	Noah Van Es, Quentin Stiévenart, Coen De Roover	Garbage-Free Abstract Interpretation Through Abstract Reference Counting (Artifact).	Dagstuhl Artifacts Ser.	2019	DBLP DOI BibTeX RDF
20	Nathanaël Sensfelder, Julien Brunel, Claire Pagetti	Modeling Cache Coherence to Expose Interference (Artifact).	Dagstuhl Artifacts Ser.	2019	DBLP DOI BibTeX RDF
20	Daniel Casini, Tobias Blaß, Ingo Lütkebohle, Björn B. Brandenburg	Response-Time Analysis of ROS 2 Processing Chains Under Reservation-Based Scheduling (Artifact).	Dagstuhl Artifacts Ser.	2019	DBLP DOI BibTeX RDF
20	Jan de Muijnck-Hughes, Wim Vanderbauwhede	A Typing Discipline for Hardware Interfaces (Artifact).	Dagstuhl Artifacts Ser.	2019	DBLP DOI BibTeX RDF
20	Roberto Cavicchioli, Nicola Capodieci, Marco Solieri, Marko Bertogna	API Comparison of CPU-To-GPU Command Offloading Latency on Embedded Platforms (Artifact).	Dagstuhl Artifacts Ser.	2019	DBLP DOI BibTeX RDF
20	Gianluca Mezzetti, Anders Møller, Martin Toldam Torp	Type Regression Testing to Detect Breaking Changes in Node.js Libraries (Artifact).	Dagstuhl Artifacts Ser.	2018	DBLP DOI BibTeX RDF
20	Alessandro Vittorio Papadopoulos, Enrico Bini, Sanjoy K. Baruah, Alan Burns 0001	AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems (Artifact).	Dagstuhl Artifacts Ser.	2018	DBLP DOI BibTeX RDF
20	Nathalie Oostvogels, Joeri De Koster, Wolfgang De Meuter	Static Typing of Complex Presence Constraints in Interfaces (Artifact).	Dagstuhl Artifacts Ser.	2018	DBLP DOI BibTeX RDF
20	Wito Delnat, Thomas Heyman, Wouter Joosen, Davy Preuveneers, Ansar Rafique, Eddy Truyen, Dimitri Van Landuyt	K8-Scalar: a workbench to compare autoscalers for container-orchestrated services (Artifact).	Dagstuhl Artifacts Ser.	2018	DBLP DOI BibTeX RDF
20	Xuan Bi, Bruno C. d. S. Oliveira	Typed First-Class Traits (Artifact).	Dagstuhl Artifacts Ser.	2018	DBLP DOI BibTeX RDF
20	Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers	The Essence of Nested Composition (Artifact).	Dagstuhl Artifacts Ser.	2018	DBLP DOI BibTeX RDF
20	John Toman, Dan Grossman	Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates (Artifact).	Dagstuhl Artifacts Ser.	2018	DBLP DOI BibTeX RDF
20	Waqar Ali, Heechul Yun	Protecting Real-Time GPU Kernels on Integrated CPU-GPU SoC Platforms (Artifact).	Dagstuhl Artifacts Ser.	2018	DBLP DOI BibTeX RDF
20	Ana L. Milanova, Wei Huang 0001	Definite Reference Mutability (Artifact).	Dagstuhl Artifacts Ser.	2018	DBLP DOI BibTeX RDF
20	Peter Wägemann, Christian Dietrich 0001, Tobias Distler, Peter Ulbrich, Wolfgang Schröder-Preikschat	Whole-System WCEC Analysis for Energy-Constrained Real-Time Systems (Artifact).	Dagstuhl Artifacts Ser.	2018	DBLP DOI BibTeX RDF
20	Muhammad Ali Awan, Pedro F. Souto, Konstantinos Bletsas, Benny Akesson, Eduardo Tovar	Worst-case Stall Analysis for Multicore Architectures with Two Memory Controllers (Artifact).	Dagstuhl Artifacts Ser.	2018	DBLP DOI BibTeX RDF
20	Jian-Jia Chen, Georg von der Brüggen, Niklas Ueter	Evaluations of Push Forward: Global Fixed-Priority Scheduling of Arbitrary-Deadline Sporadic Task Systems (Artifact).	Dagstuhl Artifacts Ser.	2018	DBLP DOI BibTeX RDF
20	Stefan Krüger, Johannes Späth, Karim Ali 0001, Eric Bodden, Mira Mezini	CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact).	Dagstuhl Artifacts Ser.	2018	DBLP DOI BibTeX RDF
20	Paolo Pazzaglia, Luigi Pannocchi, Alessandro Biondi 0001, Marco Di Natale	Beyond the Weakly Hard Model: Measuring the Performance Cost of Deadline Misses (Artifact).	Dagstuhl Artifacts Ser.	2018	DBLP DOI BibTeX RDF
20	Catherine E. Nemitz, Tanya Amert, James H. Anderson	Using Lock Servers to Scale Real-Time Locking Protocols: Chasing Ever-Increasing Core Counts (Artifact).	Dagstuhl Artifacts Ser.	2018	DBLP DOI BibTeX RDF
20	Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi	ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact).	Dagstuhl Artifacts Ser.	2018	DBLP DOI BibTeX RDF
20	Thomas Vogel 0001	mRUBiS: An Exemplar for Model-Based Architectural Self-Healing and Self-Optimization (Artifact).	Dagstuhl Artifacts Ser.	2018	DBLP DOI BibTeX RDF
20	Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek	KafKa: Gradual Typing for Objects (Artifact).	Dagstuhl Artifacts Ser.	2018	DBLP DOI BibTeX RDF
20	Joana Campos 0002, Vasco T. Vasconcelos	Dependent Types for Class-based Mutable Objects (Artifact).	Dagstuhl Artifacts Ser.	2018	DBLP DOI BibTeX RDF
20	Todd A. Anderson 0001, Hai Liu 0012, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman	Parallelizing Julia with a Non-Invasive DSL (Artifact).	Dagstuhl Artifacts Ser.	2017	DBLP DOI BibTeX RDF
20	Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter	Type Abstraction for Relaxed Noninterference (Artifact).	Dagstuhl Artifacts Ser.	2017	DBLP DOI BibTeX RDF
20	Mikaël Mayer, Jad Hamza, Viktor Kuncak	Proactive Synthesis of Recursive Tree-to-String Functions from Examples (Artifact).	Dagstuhl Artifacts Ser.	2017	DBLP DOI BibTeX RDF
20	Fei Wang 0046, Tiark Rompf	Towards Strong Normalization for Dependent Object Types (DOT) (Artifact).	Dagstuhl Artifacts Ser.	2017	DBLP DOI BibTeX RDF
20	Tomas Petricek 0001	Data Exploration through Dot-driven Development (Artifact).	Dagstuhl Artifacts Ser.	2017	DBLP DOI BibTeX RDF
20	Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida	A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact).	Dagstuhl Artifacts Ser.	2017	DBLP DOI BibTeX RDF
20	Davi Monteiro Barbosa, Rómulo Gadelha de Moura Lima, Paulo Henrique Mendes Maia, Evilásio Costa Junior	Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-adaptive Systems (Artifact).	Dagstuhl Artifacts Ser.	2017	DBLP DOI BibTeX RDF
20	Martina Maggio, Alessandro Vittorio Papadopoulos, Antonio Filieri, Henry Hoffmann	Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple (Artifact).	Dagstuhl Artifacts Ser.	2017	DBLP DOI BibTeX RDF
20	Sanny Schmid, Ilias Gerostathopoulos, Christian Prehofer, Tomás Bures	Model Problem (CrowdNav) and Framework (RTX) for Self-Adaptation Based on Big Data Analytics (Artifact).	Dagstuhl Artifacts Ser.	2017	DBLP DOI BibTeX RDF
20	Daco Harkes, Eelco Visser	IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition (Artifact).	Dagstuhl Artifacts Ser.	2017	DBLP DOI BibTeX RDF
20	Bo Zhang 0013, Filip Krikava, Romain Rouvoy, Lionel Seinturier	Hadoop-Benchmark: Rapid Prototyping and Evaluation of Self-Adaptive Behaviors in Hadoop Clusters (Artifact).	Dagstuhl Artifacts Ser.	2017	DBLP DOI BibTeX RDF
20	Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover	Mailbox Abstractions for Static Analysis of Actor Programs (Artifact).	Dagstuhl Artifacts Ser.	2017	DBLP DOI BibTeX RDF
20	Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee 0001	Concurrent Data Structures Linked in Time (Artifact).	Dagstuhl Artifacts Ser.	2017	DBLP DOI BibTeX RDF
20	Jens Dietrich 0001, Kamil Jezek, Shawn Rasheed, Amjed Tahir, Alex Potanin	Evil Pickles: DoS Attacks Based on Object-Graph Engineering (Artifact).	Dagstuhl Artifacts Ser.	2017	DBLP DOI BibTeX RDF
20	Jack Williams 0001, J. Garrett Morris, Philip Wadler, Jakub Zalewski	Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact).	Dagstuhl Artifacts Ser.	2017	DBLP DOI BibTeX RDF
20	Filip Krijt, Zbynek Jirácek, Tomás Bures, Petr Hnetynka, Ilias Gerostathopoulos	Intelligent Ensembles - a Declarative Group Description Language and Java Framework (Artifact).	Dagstuhl Artifacts Ser.	2017	DBLP DOI BibTeX RDF
20	Weixin Zhang, Bruno C. d. S. Oliveira	EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse (Artifact).	Dagstuhl Artifacts Ser.	2017	DBLP DOI BibTeX RDF
20	Simos Gerasimou, Radu Calinescu, Stepan Shevtsov, Danny Weyns	UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles (Artifact).	Dagstuhl Artifacts Ser.	2017	DBLP DOI BibTeX RDF
20	Baptiste Saleil, Marc Feeley	Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis (Artifact).	Dagstuhl Artifacts Ser.	2017	DBLP DOI BibTeX RDF
20	M. Usman Iftikhar, Gowri Sankar Ramachandran, Pablo Bollansée, Danny Weyns, Danny Hughes 0001	DeltaIoT: A Real World Exemplar for Self-Adaptive Internet of Things (Artifact).	Dagstuhl Artifacts Ser.	2017	DBLP DOI BibTeX RDF
20	Jens Dietrich 0001, David J. Pearce 0001, Kamil Jezek, Premek Brada	Contracts in the Wild: A Study of Java Programs (Artifact).	Dagstuhl Artifacts Ser.	2017	DBLP DOI BibTeX RDF
20	Jan-Oliver Kaiser, Hoang-Hai Dang, Derek Dreyer, Ori Lahav 0001, Viktor Vafeiadis	Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris (Artifact).	Dagstuhl Artifacts Ser.	2017	DBLP DOI BibTeX RDF
20	Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich	A Capability-Based Module System for Authority Control (Artifact).	Dagstuhl Artifacts Ser.	2017	DBLP DOI BibTeX RDF
20	Jon Eyolfson, Patrick Lam 0001	C++ const and Immutability: An Empirical Study of Writes-Through-const (Artifact).	Dagstuhl Artifacts Ser.	2016	DBLP DOI BibTeX RDF
20	Janwillem Swalens	Transactional Tasks: Parallelism in Software Transactions (Artifact).	Dagstuhl Artifacts Ser.	2016	DBLP DOI BibTeX RDF
20	Alceste Scalas, Nobuko Yoshida	Lightweight Session Programming in Scala (Artifact).	Dagstuhl Artifacts Ser.	2016	DBLP DOI BibTeX RDF
20	Jaakko Järvi, Sean Parent	One Way to Select Many (Artifact).	Dagstuhl Artifacts Ser.	2016	DBLP DOI BibTeX RDF
20	Leandro Facchinetti, Zachary Palmer, Scott F. Smith 0001	Higher-Order Demand-Driven Program Analysis (Artifact).	Dagstuhl Artifacts Ser.	2016	DBLP DOI BibTeX RDF
20	Matthew Flatt, Tijs van der Storm	Front Matter, Table of Contents, Preface, Artifact Evaluation Committee.	Dagstuhl Artifacts Ser.	2016	DBLP DOI BibTeX RDF
20	Tian Tan 0001, Yue Li 0006, Yifei Zhang 0001, Jingling Xue	Program Tailoring: Slicing by Sequential Criteria (Artifact).	Dagstuhl Artifacts Ser.	2016	DBLP DOI BibTeX RDF
20	Edd Barrett, Carl Friedrich Bolz, Lukas Diekmann, Laurence Tratt	Fine-grained Language Composition: A Case Study (Artifact).	Dagstuhl Artifacts Ser.	2016	DBLP DOI BibTeX RDF
20	Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser	Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact).	Dagstuhl Artifacts Ser.	2016	DBLP DOI BibTeX RDF
20	Kamil Jezek, Jens Dietrich 0001	Magic with Dynamo - Flexible Cross-Component Linking for Java with Invokedynamic (Artifact).	Dagstuhl Artifacts Ser.	2016	DBLP DOI BibTeX RDF
20	Timothy Jones 0002, Michael Homer	Object Inheritance Without Classes (Artifact).	Dagstuhl Artifacts Ser.	2016	DBLP DOI BibTeX RDF
20	Johannes Späth, Lisa Nguyen Quang Do, Karim Ali 0001, Eric Bodden	Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact).	Dagstuhl Artifacts Ser.	2016	DBLP DOI BibTeX RDF
20	Luminous Fennell, Peter Thiemann 0001	LJGS: Gradual Security Types for Object-Oriented Languages (Artifact).	Dagstuhl Artifacts Ser.	2016	DBLP DOI BibTeX RDF
20	John Toman, Dan Grossman	Staccato: A Bug Finder for Dynamic Configuration Updates (Artifact).	Dagstuhl Artifacts Ser.	2016	DBLP DOI BibTeX RDF
20	Carl Friedrich Bolz, Darya Kurilova, Laurence Tratt	Making an Embedded DBMS JIT-friendly (Artifact).	Dagstuhl Artifacts Ser.	2016	DBLP DOI BibTeX RDF
20	Flávio Medeiros, Christian Kästner, Márcio Ribeiro 0001, Sarah Nadi, Rohit Gheyi	The Love/Hate Relationship with the C Preprocessor: An Interview Study (Artifact).	Dagstuhl Artifacts Ser.	2015	DBLP DOI BibTeX RDF
20	Matthias Keil 0002, Peter Thiemann 0001	TreatJS: Higher-Order Contracts for JavaScript (Artifact).	Dagstuhl Artifacts Ser.	2015	DBLP DOI BibTeX RDF
20	Vincent St-Amour, Shu-yu Guo	Optimization Coaching for JavaScript (Artifact).	Dagstuhl Artifacts Ser.	2015	DBLP DOI BibTeX RDF
20	Matthias Keil 0002, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann 0001	Transparent Object Proxies for JavaScript (Artifact).	Dagstuhl Artifacts Ser.	2015	DBLP DOI BibTeX RDF
20	Malte Schwerhoff, Alexander J. Summers	Lightweight Support for Magic Wands in an Automatic Verifier (Artifact).	Dagstuhl Artifacts Ser.	2015	DBLP DOI BibTeX RDF
20	Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin, Benjamin Chung	A Theory of Tagged Objects (Artifact).	Dagstuhl Artifacts Ser.	2015	DBLP DOI BibTeX RDF
20	Shams Imam, Vivek Sarkar	The Eureka Programming Model for Speculative Task Parallelism (Artifact).	Dagstuhl Artifacts Ser.	2015	DBLP DOI BibTeX RDF
20	Avraham Shinnar, Jérôme Siméon, Martin Hirzel	A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact).	Dagstuhl Artifacts Ser.	2015	DBLP DOI BibTeX RDF
20	Timothy Jones 0002, Michael Homer, James Noble 0001	Brand Objects for Nominal Typing (Artifact).	Dagstuhl Artifacts Ser.	2015	DBLP DOI BibTeX RDF
20	David Hauzar, Jan Kofron	Framework for Static Analysis of PHP Applications (Artifact).	Dagstuhl Artifacts Ser.	2015	DBLP DOI BibTeX RDF
20	Changhee Park, Sukyoung Ryu	Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (Artifact).	Dagstuhl Artifacts Ser.	2015	DBLP DOI BibTeX RDF
20	Camil Demetrescu, Matthew Flatt	Front Matter, Table of Contents.	Dagstuhl Artifacts Ser.	2015	DBLP DOI BibTeX RDF
20	Aggelos Biboudis, Nick Palladinos, George Fourtounis, Yannis Smaragdakis	Streams à la carte: Extensible Pipelines with Object Algebras (Artifact).	Dagstuhl Artifacts Ser.	2015	DBLP DOI BibTeX RDF
20	Peter Brödner	The misery of digital organisations and the semiotic nature of IT.	AI Soc.	2009	DBLP DOI BibTeX RDF	Software crisis, IT productivity paradox, Semiotic perspective on computer artifacts, Computers as means of organising, Digital organisation
20	Walter Ritter	Measuring Psychophysiological Signals in Every-Day Situations.	HCI (6)	2009	DBLP DOI BibTeX RDF	real-life settings, artifacts, heart rate, psychophysiology, skin conductance, sensor technology
20	Rudolf Melcher, Martin Hitz, Gerhard Leitner	ActionSpaces: Device Independent Places of Thought, Memory and Evolution.	HCI (6)	2009	DBLP DOI BibTeX RDF	3DUI, semantic desktop metaphor, virtual file system, post-WIMP, post-desktop, digital artifacts, ubiquitous computing, distributed computing, mixed realities, concept maps, distributed cognition, information space, interaction paradigm
20	Hassan Khosravi, Recep Colak	Exploratory Analysis of Co-Change Graphs for Code Refactoring.	Canadian AI	2009	DBLP DOI BibTeX RDF	Clustering, Expectation Maximization, Software artifacts
20	Tian Chao, David Cohn, Adrian Flatgard, Sandy Hahn, Mark H. Linehan, Prabir Nandi, Anil Nigam, Florian Pinel, John Vergo, Frederick Y. Wu	Artifact-Based Transformation of IBM Global Financing.	BPM	2009	DBLP DOI BibTeX RDF	Business Entities, Business Design, Service-Oriented Architecture, Business Process Management, Business Architecture, Business Artifacts
20	Pooja Mathur, Karrie Karahalios	Visualizing remote voice conversations.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	remote audio, VoIP, conversation, content, archival, artifacts, social visualization, volume, pitch, skype
20	Jack Downey	An artifact-centric method for creating software job descriptions.	CPR	2008	DBLP DOI BibTeX RDF	irish telecommunications software, job descriptions, knowledge, grounded theory, skills, software artifacts, abilities
20	Alessandro Ricci, Mirko Viroli	simpA: an agent-oriented approach for prototyping concurrent applications on top of Java.	PPPJ	2007	DBLP DOI BibTeX RDF	agents & artifacts, simpA, concurrent programming
20	Lei Jing, Zixue Cheng, Tongjun Huang	Search in Virtual and Study in Real: A Ubiquitous Query/Answer System.	DNIS	2007	DBLP DOI BibTeX RDF	Digital Artifacts, Mapping between virtual and real worlds, Ubiquitous Computing, Ubiquitous Learning, Question and Answer
20	Shaowen Bardzell, Kalpana Shankar	Video Game Technologies and Virtual Design: A Study of Virtual Design Teams in a Metaverse.	HCI (14)	2007	DBLP DOI BibTeX RDF	virtual design teams, designers, collaboration, artifacts, boundary objects, metaverse
20	Kjeld Schmidt, Ina Wagner, Marianne Tolar	Permutations of cooperative work practices: a study of two oncology clinics.	GROUP	2007	DBLP DOI BibTeX RDF	ordering systems, ethnography, work practices, coordinative artifacts
20	Jinyong Fang, Jun Sun 0005	Ringing Artifact Reduction for JPEG2000 Images.	ICIC (3)	2007	DBLP DOI BibTeX RDF	ringing artifacts reduction, JPEG2000, non-linear filter, shift invariance
20	Christopher Paul Middup, Peter Johnson 0001	Modeling Group Artifact Adoption for Awareness in Activity-Focused Co-located Meetings.	TAMODIA	2007	DBLP DOI BibTeX RDF	Work groups, co-located meetings, knowledge artifacts, SYMLOG, groupware, group modeling
20	Nicholas A. Knouf	syngva: an object that raises questions of agency, relationship, and control.	Creativity & Cognition	2007	DBLP DOI BibTeX RDF	non-speech expression, relational artifacts, evolutionary algorithms, robotics, agency
20	Scott Pobiner	Collaborative multimedia learning environments.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	beneficial interruption, collaborative multimedia learning system, digital artifacts, rich control interfaces, shared interfaces, multiple displays
20	Youcef Baghdadi	A business model for deploying Web services: A data-centric approach based on factual dependencies.	Inf. Syst. E Bus. Manag.	2005	DBLP DOI BibTeX RDF	Business events, Factual dependency, Web services generation and deployment, SOA, Information systems, Business model, Business objects, Coordination artifacts
20	Zoë J. Wood, Hugues Hoppe, Mathieu Desbrun, Peter Schröder	Removing excess topology from isosurfaces.	ACM Trans. Graph.	2004	DBLP DOI BibTeX RDF	Topological artifacts, genus reduction, surface reconstruction, marching cubes
20	Klaus B. Bærentsen, Johan Trettvik	An activity theory approach to affordance.	NordiCHI	2002	DBLP DOI BibTeX RDF	ecological psychology, praxis, perception, activity theory, activity, affordance, artifacts, appropriation
20	Jessica Chen	A study on static analysis in network of synchronizing FSMs.	APSEC	2000	DBLP DOI BibTeX RDF	synchronizing FSMs, multithreaded systems, nondeterministic behavior, Java monitors, Java, static analysis, finite state machines, synchronisation, operational semantics, multi-threading, labeled transition systems, thread synchronization, design artifacts
20	Arnaldo de Albuquerque Araújo, Bernardo Moreira De Faria, Helton J. Rees, Marco Aurélio R. Silva	Enhancing Microscope Biological Images with DIP Techniques.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	biological image enhancement, nervous system, laser-scanning confocal microscope, digital image processing techniques, cell nucleus, nervous terminations, nonideal image acquisition, error elimination, nonuniform brightness, image artifacts, regions of interest, neurophysiology, microscope images, hidden information, image noise
20	Heinz Mayer	Image-Based Texture Analysis for Realistic Image Synthesis.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	image based texture analysis, digital image synthesis, intensity values, highlighting artifacts, image based measurement system, BRDF values, diffuse reflectance coefficient, compact description, measured surface properties, arbitrary shape, standard CCD camera, image texture, reflectance model, realistic image synthesis, light source, measurement system, surface reflectance, bidirectional reflectance distribution function
20	Liliana Favre, Liliana Martinez, Claudia Pereira	Transforming UML Static Models into Object-Oriented Code.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	UML static models, reuse based rigorous method, object oriented code generation, rigorous process, GSBL/sup OO/ language, SpReIm model, OCL specifications, object-oriented programming, software maintenance, software maintenance, specification languages, software reusability, program compilers, object-oriented languages, algebraic specification, algebraic specifications, reusable components, UML class diagrams, forward engineering, design artifacts