|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10432 occurrences of 4161 keywords
|
|
|
Results
Found 13114 publication records. Showing 13114 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | David Feldcamp, Alan Wagner |
Using the Parsec environment to implement a high-performance processor farm. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
Parsec, high-performance processor farm, multicomputer programs, context-sensitive configuration, hand-optimized implementations, declarative structural information, parallel application structure specification, performance evaluation, performance, user interfaces, user interface, scalability, parallel programming, parallel architectures, static analysis, message passing, reuse, abstraction, optimisation, programming environments, software reusability, parallel programming environment, communication primitives |
14 | Andreas L. Opdahl, Guttorm Sindre |
Representing real-world processes. |
HICSS (4) |
1995 |
DBLP DOI BibTeX RDF |
real-world process representation, real-world dynamics, static aspects, material processing, formal specification, information systems, information systems, aggregation, systems analysis, diagrams, association, dynamic models, modelling languages, information processing, generalisation, semantic data modelling, data flow diagrams, dynamic aspects, abstraction mechanisms |
14 | Ralf Diekmann, Reinhard Lüling, Burkhard Monien, Carsten Spräner |
A parallel local-search algorithm for the k-partitioning problem. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
parallel local-search algorithm, k-partitioning problem, helpful sets, abstraction technique, runtime dynamic graph shrinking, MIMD systems, parallel algorithms, computational complexity, graph theory, heuristics, search problems, computation times, heuristic programming, stochastic methods, parallel efficiency, graph bisection, solution quality, processor numbers |
14 | Tim Collins, James C. Browne |
MaTRiX++: an object-oriented environment for parallel high-performance matrix computations. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
MaTRiX+/sup +/, object-oriented environment, parallel high-performance matrix computations, hierarchical matrix algebra, recursive implementations, compilation model, distributed-memory parallel supercomputers, computation distribution, data-driven single-program, multiple-data processor programs, parallel programming, object-oriented programming, programming environments, rapid prototyping, object-oriented languages, matrix algebra, software prototyping, efficient implementations, language extensions, abstraction level, mathematics computing, parallelising compilers, hierarchical data, language interface |
14 | Richard Hofmann, Rainer Klar, Bernd Mohr, Andreas Quick, Markus Siegle |
Distributed Performance Monitoring: Methods, Tools, and Applications. |
IEEE Trans. Parallel Distributed Syst. |
1994 |
DBLP DOI BibTeX RDF |
functional behavior, hybrid monitoring, parallel ray tracing program, common abstraction, SUPRENUM, performance evaluation, distributed systems, monitoring, debugging, distributed processing, program debugging, performance monitoring, tuning, system monitoring, dynamic behavior |
14 | Farnam Jahanian, Aloysius K. Mok |
Modechart: A Specification Language for Real-Time Systems. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
Modechart, absolute timing, real-time clock, RTL formulas, RTL assertions, graphical implementation, SARTOR, real-time systems, real-time systems, semantics, specification languages, specification language, rapid prototyping, timing constraints, abstraction levels, logic programming languages, hierarchical organization, real-time logic |
14 | James M. Bieman, Linda M. Ott |
Measuring Functional Cohesion. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
functional cohesion, data slice abstraction, data tokens, glue tokens, super-glue tokens, software measurement scale, abstract transformations, software metrics, data slices |
14 | Valdis Berzins, Luqi, Amiram Yehudai |
Using Transformations in Specification-Based Prototyping. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
software tool support, specification-based prototyping, system interfaces, externally observable behavior, chronological derivation sequences, formal specification, software evolution, process model, software prototyping, abstraction level, software transformations, system description |
14 | Kari Kuutti, Liam J. Bannon |
Searching for unity among diversity: exploring the "interface" concept. |
INTERCHI |
1993 |
DBLP DOI BibTeX RDF |
interface, activity theory, user interface management systems, abstraction levels |
14 | Bonnie J. Dorr |
The use of lexical semantics in interlingual machine translation. |
Mach. Transl. |
1992 |
DBLP DOI BibTeX RDF |
lexical conceptual structure, abstraction, compositionality, divergences, interlingua |
14 | Timothy J. Shimeall, Nancy G. Leveson |
An Empirical Comparison of Software Fault Tolerance and Fault Elimination. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
fault elimination, run-time assertions, multiversion voting, stepwise abstraction, static data-flow analysis, project resources, fault tolerant computing, software reliability, software reliability, program testing, software fault tolerance, functional testing, structural testing, code reading |
14 | Shih-Ping Liou, Arnold H. Chiu, Ramesh C. Jain |
A Parallel Technique for Signal-Level Perceptual Organization. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1991 |
DBLP DOI BibTeX RDF |
scene interpretation, signal-level perceptual organization, abstraction process, pattern recognition, parallel algorithm, parallel algorithms, image segmentation, knowledge representation, picture processing, filtering, filtering and prediction theory, symbolic representations, gray-level |
14 | Gheorghe Tecuci, Ryszard S. Michalski |
Input Understanding as a Basis for Multistrategy Task-Adaptive Learning. |
ISMIS |
1991 |
DBLP DOI BibTeX RDF |
abstraction, knowledge acquisition, induction, analogy, abduction, explanation-based learning, multistrategy learning |
14 | R. K. Shyamasundar, James W. Thatcher |
Language Constructs for Specifying Concurrency in CDL*. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
CDL* concurrency specification, dynamically allocating resources, CDL*, distributed programming languages, parallel programming, data integrity, data integrity, anonymity, specification languages, mutual exclusion, expressiveness, specification techniques, modular specification, language constructs, abstraction mechanisms, dynamic resource management |
14 | Robert A. Mueller, Michael R. Duda, Philip H. Sweany, Jack S. Walicki |
Horizon: A Retargetable Compiler for Horizontal Microarchitectures. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
horizontal microarchitectures, vertical migration, complex application code, horizontal microcode, optimized microcode, concurrency, abstraction, timing, program compilers, microprogramming, retargetable compiler, assembly languages, Horizon |
14 | Jörg Desel, Agathe Merceron |
P/T-systems as abstractions of C/E-systems. |
European Workshop on Applications and Theory in Petri Nets |
1988 |
DBLP DOI BibTeX RDF |
Relations between Condition/Event-systems and Place/Transition-systems, synchronic distance, simulation, abstraction |
14 | Karl-Hans Bläsius, Jörg H. Siekmann |
Partial Unification for Graph Based Equational Reasoning. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
built-in equality, clause graphs with equality, planning in abstraction spaces, Unification |
14 | Patrick Bellot |
Unformly Applicative Structures, A Theory of Computability and Polyadic Functions. |
FSTTCS |
1988 |
DBLP DOI BibTeX RDF |
polyadicity, algorithmic, abstraction, computability, representability, recursive function, definability |
14 | Flaviu Cristian |
Robust Data Types. |
Program Specification |
1981 |
DBLP DOI BibTeX RDF |
Key-words and phrases Data Abstraction, Partial Operations, Total Operations, Software Engineering, Program Verification, Exception Handling |
14 | Lawrence A. Rowe, Kurt A. Shoens |
Data Abstractions, Views and Updates in RIGEL. |
SIGMOD Conference |
1979 |
DBLP DOI BibTeX RDF |
relational data base systems, generators, programming languages, views, data abstraction |
13 | Jirí Simsa, Satnam Singh |
Designing hardware with dynamic memory abstraction. |
FPGA |
2010 |
DBLP DOI BibTeX RDF |
c to gates, high-level synthesis, parallel execution, dynamic memory, bluespec |
13 | Nicola Bombieri, Franco Fummi, Graziano Pravadelli |
Abstraction of RTL IPs into embedded software. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
RTL IP reuse, embedded software generation |
13 | |
Set Abstraction. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
13 | |
Implementation Abstraction. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
13 | |
Localization Abstraction. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
13 | |
Video Abstraction. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
13 | |
Component Abstraction. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Martino Ruggiero, Davide Bertozzi, Luca Benini, Michela Milano, Alexandru Andrei |
Reducing the Abstraction and Optimality Gaps in the Allocation and Scheduling for Variable Voltage/Frequency MPSoC Platforms. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady |
An abstraction-based decision procedure for bit-vector arithmetic. |
Int. J. Softw. Tools Technol. Transf. |
2009 |
DBLP DOI BibTeX RDF |
Decision-procedures, Bit-vector |
13 | Saswat Anand, Corina S. Pasareanu, Willem Visser |
Symbolic execution with abstraction. |
Int. J. Softw. Tools Technol. Transf. |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Martin Monperrus, Antoine Beugnard, Joël Champeau |
A Definition of "Abstraction Level" for Metamodels. |
ECBS |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Tamás Vajk, Róbert Kereskényi, Tihamer Levendovszky, Ákos Lédeczi |
Raising the Abstraction of Domain-Specific Model Translator Development. |
ECBS |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Zhang 0007 |
Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Matteo Palmonari, Carlo Batini |
Abstract ERIA: a web language for conceptual metadata integration and abstraction in the large. |
MEDES |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu |
Automatic Construction of Complete Abstraction by Abstract Interpretation. |
ACIS-ICIS |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Dominik Domis, Mario Trapp |
Component-Based Abstraction in Fault Tree Analysis. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Yael Meller, Orna Grumberg, Sharon Shoham |
A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang |
Abstraction for Concurrent Objects. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Sourish Dasgupta, Satish Bhat, Yugyung Lee |
An Abstraction Framework for Service Composition in Event-Driven SOA Systems. |
ICWS |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Guido Boella, Souhila Kaci, Leendert W. N. van der Torre |
Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension. |
ECSQARU |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Raja Sooriamurthi |
Introducing abstraction and decomposition to novice programmers. |
ITiCSE |
2009 |
DBLP DOI BibTeX RDF |
programming case study, cs1/cs2 |
13 | Kais Klai, Samir Tata, Jörg Desel |
Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes. |
BPM |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Jeffrey Allred, Jack Coyne, William Lynch, Vincent Natoli, Joseph Grecco, Joel Morrissette |
Smith-Waterman implementation on a FSB-FPGA module using the Intel Accelerator Abstraction Layer. |
IPDPS |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Mohamed Nassim Seghir, Andreas Podelski, Thomas Wies |
Abstraction Refinement for Quantified Array Assertions. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Matthias Heizmann, Jochen Hoenicke, Andreas Podelski |
Refinement of Trace Abstraction. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Stefan Ratschan, Jan-Georg Smaus |
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate. |
TAP@TOOLS |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Adriana Damasceno, Adalberto Farias, Alexandre Mota 0001 |
A Mechanized Strategy for Safe Abstraction of CSP Specifications. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Eli Arbel, Oleg Rokhlenko, Karen Yorav |
SAT-based synthesis of clock gating functions using 3-valued abstraction. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson 0001 |
Equality and hashing for (almost) free: Generating implementations from abstraction functions. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Ritu Arora, Purushotham V. Bangalore |
A framework for raising the level of abstraction of explicit parallelization. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Pankaj Goyal |
The Virtual Business Services Fabric: An Integrated Abstraction of Services and Computing Infrastructure. |
WETICE |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Sumit Gulwani, Saurabh Srivastava 0001, Ramarathnam Venkatesan |
Constraint-Based Invariant Inference over Predicate Abstraction. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Shinya Umeno |
Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Richard A. McAllister, Rafal A. Angryk |
An Abstraction-Based Data Model for Information Retrieval. |
Australasian Conference on Artificial Intelligence |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Damian W. I. Rouson, Robert Rosenberg, Xiaofeng Xu, Irene Moulitsas, Stavros C. Kassinos |
A grid-free abstraction of the Navier-Stokes equations in Fortran 95/2003. |
ACM Trans. Math. Softw. |
2008 |
DBLP DOI BibTeX RDF |
coordinate-free programming, grid-free programming, complexity, Fortran, scientific computing, computational fluid dynamics, Navier-Stokes equations |
13 | Ferruccio Damiani, Elena Giachino, Paola Giannini, Sophia Drossopoulou |
A type safe state abstraction for coordination in Java -like languages. |
Acta Informatica |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Venugopalan Ramasubramanian, Daniel Mossé |
BRA: a bidirectional routing abstraction for asymmetric mobile ad hoc networks. |
IEEE/ACM Trans. Netw. |
2008 |
DBLP DOI BibTeX RDF |
unidirectional, routing, ad hoc network, asymmetry |
13 | Hao Zheng 0001, Jared Ahrens, Tian Xia |
A Compositional Method With Failure-Preserving Abstraction for Asynchronous Design Verification. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Yang-Seok Choi, Siavash M. Alamouti |
A Pragmatic PHY Abstraction Technique for Link Adaptation and MIMO Switching. |
IEEE J. Sel. Areas Commun. |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Wei Feng 0005, Zhi-Qiang Liu |
Region-Level Image Authentication Using Bayesian Structural Content Abstraction. |
IEEE Trans. Image Process. |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Andreas Podelski |
Verification, Least-Fixpoint Checking, Abstraction. |
VSTTE |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Julie Tolmie |
Diagrammatic Interrelationships between Global and Local Algebraic Visual Objects: Communicating the Visual Abstraction. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
visual object, diagrammatic notation, map, visualisation, immersion |
13 | Steve Haynal, Timothy Kam, Michael Kishinevsky, Emily Shriver, Xinning Wang |
A System Verilog Rewriting System for RTL Abstraction with Pentium Case Study. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Michael Backes 0001, Stefan Lorenz, Matteo Maffei, Kim Pecina |
The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou |
Automated Assume-Guarantee Reasoning by Abstraction Refinement. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Bhargav S. Gulavani, Sumit Gulwani |
A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Marco Aldinucci, Massimo Torquati, Marco Vanneschi, Pierfrancesco Zuccato |
The VirtuaLinux Storage Abstraction Layer for Ef?cient Virtual Clustering. |
PDP |
2008 |
DBLP DOI BibTeX RDF |
linux, high availability, virtual clusters, storage virtualization |
13 | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
Monotonic Abstraction in Action. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Cinzia Di Giusto, Maurizio Gabbrielli |
Full Abstraction for Linda. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Martin Danek, Jiri Kadlec, Roman Bartosinski, Lukas Kohout |
Increasing the level of abstraction in FPGA-based designs. |
FPL |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Sebastian Adam, Jörg Dörr |
The Role of Service Abstraction and Service Variability and Its Impact on Requirements Engineering for Service-Oriented Systems. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
service oriented architecture, requirements engineering, product line engineering |
13 | Rui Wang 0024, Ming Gu 0001, Xiaoyu Song, Hehua Zhang |
Verifying programmable logic controllers with abstraction. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Kaushik Veeraraghavan, Edmund B. Nightingale, Jason Flinn, Brian D. Noble |
quFiles: a unifying abstraction for mobile data management. |
HotMobile |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Dattatraya Y. Gokhale, Sayandeep Sen, Kameswari Chebrolu, Bhaskaran Raman |
On the Feasibility of the Link Abstraction in (Rural) Mesh Networks. |
INFOCOM |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar |
Testing for buffer overflows with length abstraction. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
length abstractions, underapproximation, buffer overflows, testing c programs, directed testing |
13 | Diego Macrini, Kaleem Siddiqi, Sven J. Dickinson |
From skeletons to bone graphs: Medial abstraction for object recognition. |
CVPR |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Walter Corno, Francesco Corcoglioniti, Irene Celino, Emanuele Della Valle |
Exposing Heterogeneous Data Sources as SPARQL Endpoints through an Object-Oriented Abstraction. |
ASWC |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Seth Holloway, Christine Julien 0001 |
ROCC: A Communication Overlay Abstraction for Wireless Users. |
ICDCS Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Rayna Dimitrova, Andreas Podelski |
Is Lazy Abstraction a Decision Procedure for Broadcast Protocols? |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Anjum Iqbal, Mohd Aizaini Maarof, Safaai Deris |
The Concept of Bio-fitness in Bio-inspired Computational Metaphor Abstraction. |
IMTIC |
2008 |
DBLP DOI BibTeX RDF |
bio-fitness, computation, artificial immune system, metaphor |
13 | Michele Girolami, Stefano Lenzi, Francesco Furfari, Stefano Chessa |
SAIL: A Sensor Abstraction and Integration Layer for Context Awareness. |
EUROMICRO-SEAA |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Jeff Kramer |
Is abstraction the key to computing? |
Commun. ACM |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Gustavo Carneiro 0001, Manuel Ricardo 0001 |
QoS abstraction layer in 4G access networks. |
Telecommun. Syst. |
2007 |
DBLP DOI BibTeX RDF |
L2, QoS, Wireless, Cross-layer, 4G |
13 | Yi Lv, Huimin Lin, Hong Pan |
Computing Invariants for Parameter Abstraction. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav |
Comparison Under Abstraction for Verifying Linearizability. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Natasha Sharygina, Daniel Kröning |
Model Checking with Abstraction for Web Services. |
Test and Analysis of Web Services |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Yongjian Li |
Mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
parameterized verification, theorem proving, symmetry |
13 | Alexander Dreweke, Marc Wörlein, Ingrid Fischer, Dominic Schell, Thorsten Meinl, Michael Philippsen |
Graph-Based Procedural Abstraction. |
CGO |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Michael Backes 0001, Agostino Cortesi, Matteo Maffei |
Causality-based Abstraction of Multiplicity in Security Protocols. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
13 | William S. Evans, Christopher W. Fraser, Fei Ma |
Clone Detection via Structural Abstraction. |
WCRE |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Tomas Dedek, Tomas Marek, Tomás Martínek |
High Level Abstraction Language as an Alternative to Embedded Processors for Internet Packet Processing in FPGA. |
FPL |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Pablo Castro, Sergey Melnik 0001, Atul Adya |
ADO.NET entity framework: raising the level of abstraction in data programming. |
SIGMOD Conference |
2007 |
DBLP DOI BibTeX RDF |
ADO.NET, data programming, conceptual modeling |
13 | Montserrat Batet, Karina Gibert, Aïda Valls |
The Data Abstraction Layer as Knowledge Provider for a Medical Multi-agent System. |
K4CARE |
2007 |
DBLP DOI BibTeX RDF |
multi-agent systems, knowledge representation, knowledge engineering, home care |
13 | Adam Brown, James C. Browne, Calvin Lin |
Early Results with Precision Abstraction: Using Data-flow Analysis to Improve the Scalability of Model Checking. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Marko van Dooren, Eric Steegmans |
A Higher Abstraction Level Using First-Class Inheritance Relations. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Christopher M. Sadler, Margaret Martonosi |
Dali: a communication-centric data abstraction layer for energy-constrained devices in mobile sensor networks. |
MobiSys |
2007 |
DBLP DOI BibTeX RDF |
data search and storage, energy efficient communications, mobile ad hoc sensor networks |
13 | Luís Morgado, Graça Gaspar |
Abstraction Level Regulation of Cognitive Processing Through Emotion-Based Attention Mechanisms. |
WAPCV |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Saied Haidarian Shahri, Majid Nili Ahmadabadi |
A Bayesian Approach to Attention Control and Concept Abstraction. |
WAPCV |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Franck Binard, Amy P. Felty |
An abstraction-based genetic programming system. |
GECCO (Companion) |
2007 |
DBLP DOI BibTeX RDF |
genetic programming, polymorphism, types, lambda calculus |
13 | Kelvin Nilsen |
Improving abstraction, encapsulation, and performance within mixed-mode real-time Java applications. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
safety-critical certification, Java, RTSJ, DO-178B |
|
|