The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1975-1978 (21) 1979-1980 (19) 1981-1983 (21) 1984-1986 (19) 1987 (16) 1988 (32) 1989 (26) 1990 (21) 1991 (28) 1992 (39) 1993 (32) 1994 (59) 1995 (44) 1996 (56) 1997 (57) 1998 (72) 1999 (105) 2000 (95) 2001 (116) 2002 (137) 2003 (207) 2004 (246) 2005 (273) 2006 (272) 2007 (287) 2008 (310) 2009 (260) 2010 (106) 2011 (74) 2012 (109) 2013 (81) 2014 (95) 2015 (79) 2016 (83) 2017 (101) 2018 (101) 2019 (91) 2020 (93) 2021 (107) 2022 (127) 2023 (129) 2024 (28)
Publication types (Num. hits)
article(975) book(13) incollection(30) inproceedings(3136) phdthesis(117) proceedings(3)
Venues (Conferences, Journals, ...)
CoRR(275) CDC(44) CAV(38) POPL(37) HSCC(35) IEEE Trans. Software Eng.(33) VMCAI(31) IPDPS(29) TACAS(27) SAS(26) ICSE(23) OOPSLA(23) ECOOP(22) PLDI(22) SARA(22) IJCAI(21) More (+10 of total 1442)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3119 occurrences of 1737 keywords

Results
Found 4274 publication records. Showing 4274 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
130Jeong Lim, Ralph E. Johnson The heart of object-oriented concurrent programming. Search on Bibsonomy OOPSLA/ECOOP Workshop on Object-based Concurrent Programming The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
74Bent Bruun Kristensen Architectural Abstractions and Language Mechanisms. Search on Bibsonomy APSEC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Language mechanisms, design and programming, Software architecture, Object-oriented analysis, Architectural abstractions
68Ron Cytron, Andy Lowry, F. Kenneth Zadeck Code Motion of Control Structures in High-Level Languages. Search on Bibsonomy POPL The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
61Michael Gagliardi, Ragunathan Rajkumar, Lui Sha Designing for evolvability: building blocks for evolvable real-time systems. Search on Bibsonomy IEEE Real Time Technology and Applications Symposium The full citation details ... 1996 DBLP  DOI  BibTeX  RDF evolvable real-time systems, fielded real-time systems, system abstractions, run-time abstractions, replaceable unit abstraction, extensible cell, real-time POSIX testbed, Simplex architecture, Real-Time Publisher/Subscriber communication model, safe evolutionary requirements, communication rights, real-time systems, semantics, software maintenance, distributed processing, Unix, resource reservation, evolvability
57Helen J. Wang, Xiaofeng Fan, Jon Howell, Collin Jackson Protection and communication abstractions for web browsers in MashupOS. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF multi-principal OS, security, communications, web, abstractions, protection, browser, same-origin policy
57George W. Ernst, Raymond J. Hookway, William F. Ogden Modular Verification of Data Abstractions with Shared Realizations. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF shared realizations, realization level data structure, abstract specification, data structures, semantics, program verification, specification languages, data abstractions, quantification, modular verification, modular specification
56Prince Kohli, Mustaque Ahamad, Karsten Schwan Indigo: User-Level Support for Building Distributed Shared Abstractions. Search on Bibsonomy HPDC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Indigo, user-level support, distributed shared abstractions, user-level library, state sharing techniques, DSM protocols, consistency actions, shared abstractions, programming environments, parallel machines, shared memory systems, distributed memory systems, shared memory machines, high performance interconnects
52Susan Darling Urban, Taoufik Ben Abdellatif, Suzanne W. Dietrich, Amy Sundermier Delta Abstractions: A Technique for Managing Database States in Runtime Debugging of Active Database Rules. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF object deltas, rule analysis and debugging, Active database systems
51Paulo Tabuada, George J. Pappas, Pedro U. Lima Compositional Abstractions of Hybrid Control Systems. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF abstractions, hybrid systems, compositionality
46Kerstin Bauer, Raffaella Gentilini, Klaus Schneider 0001 A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
46Roy Friedman, Michel Raynal, Corentin Travers Two Abstractions for Implementing Atomic Objects in Dynamic Systems. Search on Bibsonomy OPODIS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Atomic object, Distributed system, Shared memory, Dynamic system, Server, Quorum, Crash failures, Communication primitive
46Dimitri Van Landuyt, Steven Op de beeck, Eddy Truyen, Wouter Joosen Domain-driven discovery of stable abstractions for pointcut interfaces. Search on Bibsonomy AOSD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF domain-driven architecture, reusable pointcut interfaces, stable domain abstractions
46Li Yi, Christopher Moretti, Scott J. Emrich, Kenneth Judd, Douglas Thain Harnessing parallelism in multicore clusters with the all-pairs and wavefront abstractions. Search on Bibsonomy HPDC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF bioinformatics, abstractions, multicore, economics
46Andreas Ulbrich, Gero Mühl, Torben Weis, Kurt Geihs Programming Abstractions for Content-Based Publish/Subscribe in Object-Oriented Languages. Search on Bibsonomy CoopIS/DOA/ODBASE (2) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF middleware, programming abstractions, composite events, content-based publish/subscribe
45Daniel J. Quinlan, Brian Miller 0001, Bobby Philip, Markus Schordan Treating a User-Defined Parallel Library as a Domain-Specific Language. Search on Bibsonomy IPDPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Avik Chaudhuri A concurrent ML library in concurrent Haskell. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF concurrent haskell, distributed synchronization protocol, synchronization abstractions, pi calculus, concurrent ML
44Luqi, Valdis Berzins, Raymond T. Yeh A Prototyping Language for Real-Time Software. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF prototyping language, PSDL, nonprocedural control constraints, operator abstractions, real-time systems, real-time systems, embedded systems, data structures, specification languages, specification languages, software reusability, requirements analysis, timing constraints, data abstractions, real-time software, reusable software components, feasibility studies
41Chunhua Liao, Daniel J. Quinlan, Jeremiah Willcock, Thomas Panas Extending Automatic Parallelization to Optimize High-Level Abstractions for Multicore. Search on Bibsonomy IWOMP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
41Shantenu Jha, Daniel S. Katz, Manish Parashar, Omer F. Rana, Murray Cole Abstractions for Distributed Systems (DPA 2008). Search on Bibsonomy Euro-Par Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
41Patrick H. S. Brito, Rogério de Lemos, Cecília M. F. Rubira Development of Fault-Tolerant Software Systems Based on Architectural Abstractions. Search on Bibsonomy ECSA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
41Matthias Finke, Michael Blackstock, Rodger Lea Deployment Experience Toward Core Abstractions for Context Aware Applications. Search on Bibsonomy EuroSSC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
41Daniel J. Quinlan, Markus Schordan, Richard W. Vuduc, Qing Yi Annotating user-defined abstractions for optimization. Search on Bibsonomy IPDPS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
41Daniel J. Quinlan, Markus Schordan, Qing Yi, Andreas Sæbjørnsen Classification and Utilization of Abstractions for Optimization. Search on Bibsonomy ISoLA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Christian Heide Damm, Patrick Th. Eugster, Rachid Guerraoui Linguistic Support for Distributed Programming Abstractions. Search on Bibsonomy ICDCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Amy McGovern Autonomous Discovery of Abstractions through Interaction with an Environment. Search on Bibsonomy SARA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
41Christian Clémençon, Bodhisattwa Mukherjee, Karsten Schwan Distributed Shared Abstractions (DSA) on Multiprocessor. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF application dependent memory consistency, fragmented objects, topology, Distributed shared memory, asynchronous events
40José Antonio Álvarez-Bermejo, Javier Roca Piera High Level Abstractions for Improving Parallel Image Reconstruction Algorithms. Search on Bibsonomy IWANN (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF High Level Parallel Constructions, Concurrence, Object Orientation, Abstractions, Threads
40José Antonio Álvarez-Bermejo, Javier Roca Piera Tomographic Image Reconstruction Using Abstractions. Search on Bibsonomy EUROCAST The full citation details ... 2009 DBLP  DOI  BibTeX  RDF High Level Parallel Constructions, Concurrence, Object Orientation, Abstractions, Threads
40Rebecca Wirfs-Brock Looking for Powerful Abstractions. Search on Bibsonomy IEEE Softw. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF abstractions
40Xinyu Feng 0001, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni Modular verification of assembly code with stack-based control abstractions. Search on Bibsonomy PLDI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF assembly code verification, control abstractions, stack-based, modularity, proof-carrying code
39Shuichi Oikawa, Ragunathan Rajkumar Scalability in a real-time kernel. Search on Bibsonomy RTCSA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF software functionalities, scalable kernel architecture, real-time systems, scalability, abstractions, operating system kernels, operating system kernels, real-time kernel, hardware resources
37Yan Solihin Persistent Memory: Abstractions, Abstractions, and Abstractions. Search on Bibsonomy IEEE Micro The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
35Antoine Girard Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications. Search on Bibsonomy HSCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF approximate bisimulation, abstraction, synthesis, safety, hybrid systems, switched systems
35Kenneth L. McMillan, Lenore D. Zuck Abstract Counterexamples for Non-disjunctive Abstractions. Search on Bibsonomy RP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35Antoine Girard Approximately Bisimilar Finite Abstractions of Stable Linear Systems. Search on Bibsonomy HSCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35JeongKyu Lee, Jung-Hwan Oh 0001, Sae Hwang Scenario based dynamic video abstractions using graph matching. Search on Bibsonomy ACM Multimedia The full citation details ... 2005 DBLP  DOI  BibTeX  RDF graph similarity measure, video summarization, shot boundary detection, region adjacency graph
35Kim B. Bruce Using abstractions to make concepts concrete. Search on Bibsonomy SIGCSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35Douglas Thain, Sander Klous, Justin M. Wozniak, Paul R. Brenner, Aaron Striegel, Jesús A. Izaguirre Separating Abstractions from Resources in a Tactical Storage System. Search on Bibsonomy SC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35Robert Smith 0003, Glenn Smith, Aster Wardhani Platform Relative Sensor Abstractions across Mobile Robots Using Computer Vision and Sensor Integration. Search on Bibsonomy DICTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan Abstractions from proofs. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF counterexample analysis, software model checking, predicate abstraction
35Matthew Flatt, Robert Bruce Findler Kill-safe synchronization abstractions. Search on Bibsonomy PLDI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Qing Yi, Daniel J. Quinlan Applying Loop Optimizations to Object-Oriented Abstractions Through General Classification of Array Semantics. Search on Bibsonomy LCPC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Simon St. James, Ulrich Ultes-Nitsche Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness. Search on Bibsonomy PODC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF behaviour abstraction, satisfaction within fairness, weakly continuation-closed homomorphisms, partial-order methods, trace reduction
34Diego Bernini Architectural abstractions for space and time awareness: the case of responsive environments. Search on Bibsonomy ECSA Companion Volume The full citation details ... 2010 DBLP  DOI  BibTeX  RDF space-awareness, time-awareness, software architectures, publish-subscribe, responsive environments, architectural abstractions
34Marco Aldinucci, Marco Danelutto, Peter Kilpatrick Co-design of Distributed Systems Using Skeleton and Autonomic Management Abstractions. Search on Bibsonomy Euro-Par Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF distributed programming abstractions, multi/ many core, grids, design patterns, autonomic computing, clouds, Algorithmic skeletons
34Lucia Sacchi, Cristiana Larizza, Carlo Combi, Riccardo Bellazzi Data mining with Temporal Abstractions: learning rules from time series. Search on Bibsonomy Data Min. Knowl. Discov. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Biomedical time series, Temporal data mining, Rule discovery, Temporal abstractions
34Milind Kulkarni 0001, Keshav Pingali, Bruce Walter, Ganesh Ramanarayanan, Kavita Bala, L. Paul Chew Optimistic parallelism requires abstractions. Search on Bibsonomy PLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF abstractions, optimistic parallelism, irregular programs
34Marc Lettrari Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF UML, abstractions, heuristic search, symbolic execution
34Pamela O'Shea, Christopher Exton An Investigation of Java Abstraction Usage for Program Modifications. Search on Bibsonomy IWPC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Moshé M. Zloof Selected ingredients in end-user programming. Search on Bibsonomy AVI The full citation details ... 1998 DBLP  DOI  BibTeX  RDF WYSIWYG programming, application abstractions, declarative programming
33Stan Jarzabek, Irene Woon Towards a precise description of reverse engineering methods and tools. Search on Bibsonomy CSMR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF reverse engineering methods, reverse engineering techniques, design abstractions, incomplete program documentation, reverse engineering tools, source language, formal mapping, source language design model, use object recovery scenarios, reverse engineering, program understanding, explicit knowledge, automatic recovery
30Sumit Kumar Jha 0001, Susmit Jha Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions in Model Checking. Search on Bibsonomy HASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Jonas Schrieb, Heike Wehrheim, Daniel Wonisch Three-Valued Spotlight Abstractions. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Ashish Tiwari 0001 Abstractions for hybrid systems. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Hybrid systems, Predicate abstraction, Qualitative simulation
29Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson Modal Abstractions of Concurrent Behaviour. Search on Bibsonomy SAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Vijay D'Silva, Sampada Sonalkar, S. Ramesh Existential abstractions for distributed reactive systems via syntactic transformations. Search on Bibsonomy EMSOFT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Raffaella Gentilini, Klaus Schneider 0001, Bud Mishra Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking. Search on Bibsonomy LFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Harald Fecher, Michael Huth 0001 More Precise Partition Abstractions. Search on Bibsonomy VMCAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Ferucio Laurentiu Tiplea, Constantin Enea Abstractions of data types. Search on Bibsonomy Acta Informatica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Verification, Abstraction, Data type, Universal algebra
29Tao Xie 0001, David Notkin Tool-assisted unit-test generation and selection based on operational abstractions. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek Lower and upper bounds in zone-based abstractions of timed automata. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Verification, Abstraction, Timed automata, Extrapolation
29Laxmikant V. Kalé New parallel programming abstractions and the role of compilers. Search on Bibsonomy IPDPS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Javier Esparza, Pierre Ganty, Stefan Schwoon Locality-Based Abstractions. Search on Bibsonomy SAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Pascal Van Hentenryck, Laurent Michel Scheduling Abstractions for Local Search. Search on Bibsonomy CPAIOR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Daniel Coore Abstractions for Directing Self-organising Patterns. Search on Bibsonomy UPP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek Lower and Upper Bounds in Zone Based Abstractions of Timed Automata. Search on Bibsonomy TACAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Guido Tack, Didier Le Botlan Compositional Abstractions for Search Factories. Search on Bibsonomy MOZ The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Elina Megalou, Thanasis Hadzilacos Semantic Abstractions in the Multimedia Domain. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF semantic multimedia abstraction, spatio-temporal retrieval, multimedia query language, presentational unit, abstraction, semantic modeling, Multimedia data model
29Ashish Tiwari 0001, Gaurav Khanna 0001 Series of Abstractions for Hybrid Automata. Search on Bibsonomy HSCC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
29Dilma Da Silva, Karsten Schwan, Greg Eisenhauer CTK: Configurable Object Abstractions for Multiprocessors. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF high-performance objects, object fragmentation, complex parallel programming, library operating systems, dynamic adaptation, Configurable systems
29Michel Bidoit, Alexandre Boisseau Algebraic Abstractions. Search on Bibsonomy WADT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
29Yoshiaki Okubo, Yoshimitsu Kudoh, Makoto Haraguchi Constructing Appropriate Data Abstractions for Mining Classification Knowledge. Search on Bibsonomy INAP (LNCS Volume) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
29Tommi Mikkonen, Risto Pitkänen Facilities of Practice Reflecting Abstractions of Theory, and Vice Versa. Search on Bibsonomy SCCC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
29Branimir Boguraev, Rachel K. E. Bellamy, Christopher Kennedy Dynamic Presentation of Phrasally-based Document Abstractions. Search on Bibsonomy HICSS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
29Manuel Fähndrich, John Boyland Statically Checkable Pattern Abstractions. Search on Bibsonomy ICFP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF ML
29Mary Shaw, Robert DeLine, Daniel V. Klein, Theodore L. Ross, David M. Young, Gregory Zelesnik Abstractions for Software Architecture and Tools to Support Them. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF software system organization, software engineering, Software architecture, architecture description language, architectural abstraction
29Douglas Thain, Christopher Moretti, Hoang Bui, Li Yu, Nitesh V. Chawla, Patrick J. Flynn Using Small Abstractions to Program Large Distributed Systems. Search on Bibsonomy eScience The full citation details ... 2008 DBLP  DOI  BibTeX  RDF distributed systems, Abstractions, programming languages
29Eyðun Eli Jacobsen, Bent Bruun Kristensen, Palle Nowack Architecture = Abstractions over Software. Search on Bibsonomy TOOLS (32) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Software Architecture, Conceptual Modeling, Architectural Abstractions
28Tom Dinkelaker Versatile language semantics with reflective embedding. Search on Bibsonomy OOPSLA Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF embedded domain-specific languages, aspect-oriented programming, meta-object protocols
28Matti A. Hiltunen, Richard D. Schlichting The Lost Art of Abstraction. Search on Bibsonomy WADS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
28Rachid Guerraoui Dissecting Distributed Computations. Search on Bibsonomy Future Directions in Distributed Computing The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28Ahmed Bouajjani, Javier Esparza, Tayssir Touili A generic approach to the static analysis of concurrent programs with procedures. Search on Bibsonomy POPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF concurrent programs with procedures, verification, static analysis, abstraction, kleene algebras, pushdown systems
28Marc Fuchs, Dirk Fuchs Abstraction-Based Relevancy Testing for Model Elimination. Search on Bibsonomy CADE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28Dwight Deugo, Franz Oppacher, Bruce Ashfield, Michael Weiss 0001 Communication as a Means to Differentiate Objects, Components and Agents. Search on Bibsonomy TOOLS (30) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Communication, Agent, Component, Pattern, Object
28Rajesh K. Karmani, Amin Shali, Gul Agha Actor frameworks for the JVM platform: a comparative analysis. Search on Bibsonomy PPPJ The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Java, performance, semantics, frameworks, abstractions, JVM, libraries, comparison, actors
28Marcos E. B. Broinizi, João Eduardo Ferreira, Alfredo Goldman Using annotations in the naked objects framework to explore data requirements. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF agile methods of software development, conceptual data design, data requirements exploration, requirements engineering, requirements specification, data abstractions
28Douglas S. Blank, Deepak Kumar 0002, Lisa Meeden, Holly A. Yanco Pyro: A python-based versatile programming environment for teaching robotics. Search on Bibsonomy ACM J. Educ. Resour. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF platform-independent robotics control, robot abstractions, top-down instruction, education, Mobile robotics, programming languages, computer science education, autonomous control
28Douglas S. Blank, Deepak Kumar 0002, Lisa Meeden, Holly A. Yanco Pyro: A python-based versatile programming environment for teaching robotics. Search on Bibsonomy ACM J. Educ. Resour. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF platform-independent robotics control, robot abstractions, top-down instruction, education, Mobile robotics, programming languages, computer science education, autonomous control
28Eric Cariou, Antoine Beugnard The Specification of UML Collaborations as Interaction Components. Search on Bibsonomy UML The full citation details ... 2002 DBLP  DOI  BibTeX  RDF UML collaborations, specification methodology, interaction abstractions, interaction components
28Mohamed Mancona Kandé, Alfred Strohmeier Towards a UML Profile for Software Architecture Descriptions. Search on Bibsonomy UML The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Software architecture abstractions, software architecture descrip-tion, architectural viewpoint, UML, component, configuration, ADL, connector, architectural modeling, architectural view
28Ian T. Foster, Stephen Taylor A Compiler Approach to Scalable Concurrent-Program Design. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF program composition, monotonicity, programming abstractions, source-to-source transformations
28Anne Helga Seltveit An Abstraction-Based Rule Approach to Large-Scale Information Systems Development Search on Bibsonomy CAiSE The full citation details ... 1993 DBLP  DOI  BibTeX  RDF abstraction-based development, abstractions, views, multiple views, structuring mechanisms
28Georg Lausen Modeling and Analysis of the Behavior of Information Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF semantic hierarchy data model, formal specification, Petri net, Petri nets, data structures, information systems, information flows, data abstractions, flowcharting, specification techniques, behavior constraints
28Robert I. Winner Naming and Binding in a vertical Migration Environment. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF vertical migration environment, maximum performance, linkage editing process, micro-objects, data structures, compilers, abstractions, program compilers, object-oriented model, binding, naming, microprogramming, microcode
24Amaury Maillé Simple, Safe and Efficient Abstractions for Communication and Streaming in Parallel Computing. (Des abstractions simples, sûres et efficaces pour la communication et le streaming dans le calcul parallèle). Search on Bibsonomy 2023   RDF
24Matthias Függer Computing at the border of abstractions: the power of timed, non-binary, distributed circuits. (Le calcul à la frontière des abstractions : la puissance des circuits temporisés, non binaires, distribués). Search on Bibsonomy 2022   RDF
24James DesLauriers, József Kovács, Tamás Kiss Abstractions of Abstractions: Metadata to Infrastructure-as-Code. Search on Bibsonomy ICSA Companion The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Olivier Nicole Automated verification of systems code using type-based memory abstractions. (Vérification automatique de code système à l'aide d'abstractions mémoire basées sur le typage). Search on Bibsonomy 2022   RDF
24Emilie Allart Abstractions de différences exactes de réseaux de réactions: Améliorer la précision de prédiction de changements de systèmes biologiques. (Exact difference abstractions of reaction networks: Improve the accuracy of the prediction of changes in biological systems). Search on Bibsonomy 2021   RDF
24Andreea Beica Abstractions of biochemical reaction networks. (Abstractions des réseaux de réactions biochimiques). Search on Bibsonomy 2019   RDF
Displaying result #1 - #100 of 4274 (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