|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 212-221, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (4) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 821-830, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 41-50, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 202-211, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 5(6), pp. 585-598, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(12), pp. 933-947, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(8), pp. 644-657, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(5), pp. 436-452, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERCHI ![In: Human-Computer Interaction, INTERACT '93, IFIP TC13 International Conference on Human-Computer Interaction, 24-29 April 1993, Amsterdam, The Netherlands, jointly organised with ACM Conference on Human Aspects in Computing Systems CHI'93, pp. 263-268, 1993, ACM, 0-89791-575-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 7(3), pp. 135-193, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(2), pp. 173-182, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 13(4), pp. 317-325, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings, pp. 419-428, 1991, Springer, 3-540-54563-8. The full citation details ...](Pics/full.jpeg) |
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*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(8), pp. 977-993, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(5), pp. 575-583, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory in Petri Nets ![In: Advances in Petri Nets 1989, covers the 9th European Workshop on Applications and Theory in Petri Nets, held in Venice, Italy in June 1988, selected papers, pp. 105-127, 1988, Springer, 3-540-52494-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings, pp. 397-414, 1988, Springer, 3-540-19343-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Eighth Conference, Pune, India, December 21-23, 1988, Proceedings, pp. 270-285, 1988, Springer, 3-540-50517-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
polyadicity, algorithmic, abstraction, computability, representability, recursive function, definability |
14 | Flaviu Cristian |
Robust Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program Specification ![In: Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981, pp. 215-254, 1981, Springer, 3-540-11490-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1979 ACM SIGMOD International Conference on Management of Data, Boston, Massachusetts, USA, May 30 - June 1., pp. 71-81, 1979, ACM, 0-89791-001-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: Proceedings of the ACM/SIGDA 18th International Symposium on Field Programmable Gate Arrays, FPGA 2010, Monterey, California, USA, February 21-23, 2010, pp. 69-72, 2010, ACM, 978-1-60558-911-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 24-29, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
RTL IP reuse, embedded software generation |
13 | |
Set Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 2637, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | |
Implementation Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 1395, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | |
Localization Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 1637, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | |
Video Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 3270, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | |
Component Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 413, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28(3), pp. 378-391, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 11(2), pp. 95-104, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Decision-procedures, Bit-vector |
13 | Saswat Anand, Corina S. Pasareanu, Willem Visser |
Symbolic execution with abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 11(1), pp. 53-67, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Martin Monperrus, Antoine Beugnard, Joël Champeau |
A Definition of "Abstraction Level" for Metamodels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009, San Francisco, California, USA, 14-16 April 2009, pp. 315-320, 2009, IEEE Computer Society, 978-0-7695-3602-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009, San Francisco, California, USA, 14-16 April 2009, pp. 31-37, 2009, IEEE Computer Society, 978-0-7695-3602-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, pp. 581-600, 2009, Springer, 978-3-642-10372-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Matteo Palmonari, Carlo Batini |
Abstract ERIA: a web language for conceptual metadata integration and abstraction in the large. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDES ![In: MEDES '09: International ACM Conference on Management of Emergent Digital EcoSystems, Lyon, France, October 27-30, 2009, pp. 117-125, 2009, ACM, 978-1-60558-829-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu |
Automatic Construction of Complete Abstraction by Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 8th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2009, June 1-3, 2009, Shanghai, China, pp. 927-932, 2009, IEEE Computer Society, 978-0-7695-3641-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Dominik Domis, Mario Trapp |
Component-Based Abstraction in Fault Tree Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings, pp. 297-310, 2009, Springer, 978-3-642-04467-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Yael Meller, Orna Grumberg, Sharon Shoham |
A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings, pp. 271-288, 2009, Springer, 978-3-642-04760-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang |
Abstraction for Concurrent Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 252-266, 2009, Springer, 978-3-642-00589-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Sourish Dasgupta, Satish Bhat, Yugyung Lee |
An Abstraction Framework for Service Composition in Event-Driven SOA Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2009, Los Angeles, CA, USA, 6-10 July 2009, pp. 671-678, 2009, IEEE Computer Society, 978-0-7695-3709-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings, pp. 107-118, 2009, Springer, 978-3-642-02905-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Raja Sooriamurthi |
Introducing abstraction and decomposition to novice programmers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2009, Paris, France, July 6-9, 2009, pp. 196-200, 2009, ACM, 978-1-60558-381-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM ![In: Business Process Management, 7th International Conference, BPM 2009, Ulm, Germany, September 8-10, 2009. Proceedings, pp. 294-309, 2009, Springer, 978-3-642-03847-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009, pp. 1-4, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Mohamed Nassim Seghir, Andreas Podelski, Thomas Wies |
Abstraction Refinement for Quantified Array Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings, pp. 3-18, 2009, Springer, 978-3-642-03236-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Matthias Heizmann, Jochen Hoenicke, Andreas Podelski |
Refinement of Trace Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings, pp. 69-85, 2009, Springer, 978-3-642-03236-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Stefan Ratschan, Jan-Georg Smaus |
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@TOOLS ![In: Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings, pp. 153-168, 2009, Springer, 978-3-642-02948-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Adriana Damasceno, Adalberto Farias, Alexandre Mota 0001 |
A Mechanized Strategy for Safe Abstraction of CSP Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers, pp. 118-133, 2009, Springer, 978-3-642-10451-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Eli Arbel, Oleg Rokhlenko, Karen Yorav |
SAT-based synthesis of clock gating functions using 3-valued abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009, 15-18 November 2009, Austin, Texas, USA, pp. 198-204, 2009, IEEE, 978-1-4244-4966-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings, pp. 342-352, 2009, IEEE, 978-1-4244-3452-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Ritu Arora, Purushotham V. Bangalore |
A framework for raising the level of abstraction of explicit parallelization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume, pp. 339-342, 2009, IEEE, 978-1-4244-3494-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Pankaj Goyal |
The Virtual Business Services Fabric: An Integrated Abstraction of Services and Computing Infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2009, Groningen, The Netherlands, 29 June - 1 July 2009, Proceedings, pp. 33-38, 2009, IEEE Computer Society, 978-0-7695-3683-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Sumit Gulwani, Saurabh Srivastava 0001, Ramarathnam Venkatesan |
Constraint-Based Invariant Inference over Predicate Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings, pp. 120-135, 2009, Springer, 978-3-540-93899-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Shinya Umeno |
Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings, pp. 258-274, 2009, Springer, 978-3-642-04367-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Richard A. McAllister, Rafal A. Angryk |
An Abstraction-Based Data Model for Information Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australasian Conference on Artificial Intelligence ![In: AI 2009: Advances in Artificial Intelligence, 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings, pp. 567-576, 2009, Springer, 978-3-642-10438-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 34(1), pp. 2:1-2:33, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 45(7-8), pp. 479-536, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Venugopalan Ramasubramanian, Daniel Mossé |
BRA: a bidirectional routing abstraction for asymmetric mobile ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 16(1), pp. 116-129, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(7), pp. 1343-1347, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Yang-Seok Choi, Siavash M. Alamouti |
A Pragmatic PHY Abstraction Technique for Link Adaptation and MIMO Switching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 26(6), pp. 960-971, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Wei Feng 0005, Zhi-Qiang Liu |
Region-Level Image Authentication Using Bayesian Structural Content Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 17(12), pp. 2413-2424, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Andreas Podelski |
Verification, Least-Fixpoint Checking, Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings, pp. 3, 2008, Springer, 978-3-540-87872-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Julie Tolmie |
Diagrammatic Interrelationships between Global and Local Algebraic Visual Objects: Communicating the Visual Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings, pp. 433-436, 2008, Springer, 978-3-540-87729-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), June 5-7, 2008, Anaheim, CA, USA, pp. 79-88, 2008, IEEE Computer Society, 978-1-4244-2417-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, pp. 419-422, 2008, Springer, 978-3-540-70543-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou |
Automated Assume-Guarantee Reasoning by Abstraction Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, pp. 135-148, 2008, Springer, 978-3-540-70543-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, pp. 370-384, 2008, Springer, 978-3-540-70543-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Marco Aldinucci, Massimo Torquati, Marco Vanneschi, Pierfrancesco Zuccato |
The VirtuaLinux Storage Abstraction Layer for Ef?cient Virtual Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 16th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2008), 13-15 February 2008, Toulouse, France, pp. 619-627, 2008, IEEE Computer Society, 978-0-7695-3089-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
linux, high availability, virtual clusters, storage virtualization |
13 | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
Monotonic Abstraction in Action. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, pp. 50-65, 2008, Springer, 978-3-540-85761-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Cinzia Di Giusto, Maurizio Gabbrielli |
Full Abstraction for Linda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 78-92, 2008, Springer, 978-3-540-78738-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Martin Danek, Jiri Kadlec, Roman Bartosinski, Lukas Kohout |
Increasing the level of abstraction in FPGA-based designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: FPL 2008, International Conference on Field Programmable Logic and Applications, Heidelberg, Germany, 8-10 September 2008, pp. 5-10, 2008, IEEE, 978-1-4244-1961-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 631-634, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIES ![In: IEEE Third International Symposium on Industrial Embedded Systems, SIES 2008, Montpellier / La Grande Motte, France, June 11-13, 2008, pp. 225-228, 2008, IEEE, 978-1-4244-1994-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Kaushik Veeraraghavan, Edmund B. Nightingale, Jason Flinn, Brian D. Noble |
quFiles: a unifying abstraction for mobile data management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotMobile ![In: Proceedings of the 9th Workshop on Mobile Computing Systems and Applications, HotMobile 2008, Napa Valley, California, USA, February 25-26, 2008, pp. 65-68, 2008, ACM, 978-1-60558-118-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: INFOCOM 2008. 27th IEEE International Conference on Computer Communications, Joint Conference of the IEEE Computer and Communications Societies, 13-18 April 2008, Phoenix, AZ, USA, pp. 61-65, 2008, IEEE, 978-1-4244-2026-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar |
Testing for buffer overflows with length abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008, pp. 27-38, 2008, ACM, 978-1-60558-050-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2008 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2008), 24-26 June 2008, Anchorage, Alaska, USA, 2008, IEEE Computer Society, 978-1-4244-2242-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWC ![In: The Semantic Web, 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings, pp. 434-448, 2008, Springer, 978-3-540-89703-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Seth Holloway, Christine Julien 0001 |
ROCC: A Communication Overlay Abstraction for Wireless Users. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 28th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2008 Workshops), 17-20 June 2008, Beijing, China, pp. 435-440, 2008, IEEE Computer Society, 978-0-7695-3173-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Rayna Dimitrova, Andreas Podelski |
Is Lazy Abstraction a Decision Procedure for Broadcast Protocols? ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings, pp. 98-111, 2008, Springer, 978-3-540-78162-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Anjum Iqbal, Mohd Aizaini Maarof, Safaai Deris |
The Concept of Bio-fitness in Bio-inspired Computational Metaphor Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMTIC ![In: Wireless Networks, Information Processing and Systems, International Multi Topic Conference, IMTIC 2008, Jamshoro, Pakistan, April 11-12, 2008, Revised Selected Papers, pp. 215-226, 2008, Springer, 978-3-540-89852-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 34th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2008, September 3-5, 2008, Parma, Italy, pp. 374-381, 2008, IEEE Computer Society, 978-0-7695-3276-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Jeff Kramer |
Is abstraction the key to computing? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 50(4), pp. 36-42, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Gustavo Carneiro 0001, Manuel Ricardo 0001 |
QoS abstraction layer in 4G access networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telecommun. Syst. ![In: Telecommun. Syst. 35(1-2), pp. 55-65, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
L2, QoS, Wireless, Cross-layer, 4G |
13 | Yi Lv, Huimin Lin, Hong Pan |
Computing Invariants for Parameter Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30 - June 1st, Nice, France, pp. 29-38, 2007, IEEE Computer Society, 1-4244-1050-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav |
Comparison Under Abstraction for Verifying Linearizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings, pp. 477-490, 2007, Springer, 978-3-540-73367-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Natasha Sharygina, Daniel Kröning |
Model Checking with Abstraction for Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Test and Analysis of Web Services ![In: Test and Analysis of Web Services, pp. 121-145, 2007, Springer, 978-3-540-72912-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 1534-1535, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Fifth International Symposium on Code Generation and Optimization (CGO 2007), 11-14 March 2007, San Jose, California, USA, pp. 259-270, 2007, IEEE Computer Society, 978-0-7695-2764-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Michael Backes 0001, Agostino Cortesi, Matteo Maffei |
Causality-based Abstraction of Multiplicity in Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 20th IEEE Computer Security Foundations Symposium, CSF 2007, 6-8 July 2007, Venice, Italy, pp. 355-369, 2007, IEEE Computer Society, 0-7695-2819-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | William S. Evans, Christopher W. Fraser, Fei Ma |
Clone Detection via Structural Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 14th Working Conference on Reverse Engineering (WCRE 2007), 28-31 October 2007, Vancouver, BC, Canada, pp. 150-159, 2007, IEEE Computer Society, 0-7695-3034-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: FPL 2007, International Conference on Field Programmable Logic and Applications, Amsterdam, The Netherlands, 27-29 August 2007, pp. 648-651, 2007, IEEE, 1-4244-1060-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Beijing, China, June 12-14, 2007, pp. 1070-1072, 2007, ACM, 978-1-59593-686-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
K4CARE ![In: Knowledge Management for Health Care Procedures, From Knowledge to Global Care, AIME 2007 Workshop K4CARE 2007, Amsterdam, The Netherlands, July 7, 2007, Revised Selected Papers, pp. 87-100, 2007, Springer, 978-3-540-78623-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA, pp. 1-5, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Marko van Dooren, Eric Steegmans |
A Higher Abstraction Level Using First-Class Inheritance Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings, pp. 425-449, 2007, Springer, 978-3-540-73588-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiSys ![In: Proceedings of the 5th International Conference on Mobile Systems, Applications, and Services (MobiSys 2007), San Juan, Puerto Rico, June 11-13, 2007, pp. 99-112, 2007, ACM, 978-1-59593-614-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAPCV ![In: Attention in Cognitive Systems. Theories and Systems from an Interdisciplinary Viewpoint, 4th International Workshop on Attention in Cognitive Systems, WAPCV 2007, Hyderabad, India, January 8, 2007, Revised Selected Papers, pp. 59-74, 2007, Springer, 978-3-540-77342-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Saied Haidarian Shahri, Majid Nili Ahmadabadi |
A Bayesian Approach to Attention Control and Concept Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAPCV ![In: Attention in Cognitive Systems. Theories and Systems from an Interdisciplinary Viewpoint, 4th International Workshop on Attention in Cognitive Systems, WAPCV 2007, Hyderabad, India, January 8, 2007, Revised Selected Papers, pp. 155-170, 2007, Springer, 978-3-540-77342-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Franck Binard, Amy P. Felty |
An abstraction-based genetic programming system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, Companion Material, pp. 2415-2422, 2007, ACM, 978-1-59593-698-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2007, Institute of Computer Engineering, Vienna University of Technology, 26-28 September 2007, Vienna, Austria, pp. 13-22, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
safety-critical certification, Java, RTSJ, DO-178B |
|
|