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