|
|
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 |
23 | Adrien Bousseau, Matt Kaplan 0001, Joëlle Thollot, François X. Sillion |
Interactive watercolor rendering with temporal coherence and abstraction. |
NPAR |
2006 |
DBLP DOI BibTeX RDF |
abstraction, non-photorealistic rendering, temporal coherence, watercolor |
23 | Bing Li, Chao Wang 0001, Fabio Somenzi |
Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure. |
Int. J. Softw. Tools Technol. Transf. |
2005 |
DBLP DOI BibTeX RDF |
Unsatisfiability proof, Bounded model checking, Satisfiability problem, Abstraction refinement |
23 | Tie-Yan Liu, Hao Wan 0003, Tao Qin 0001, Zheng Chen 0001, Yong Ren, Wei-Ying Ma |
Site abstraction for rare category classification in large-scale web directory. |
WWW (Special interest tracks and posters) |
2005 |
DBLP DOI BibTeX RDF |
site abstraction, support vector machines (SVM), text classification, hierarchical classification, web directory |
23 | Qingshan Li |
Dynamic Model Design Recovery and Architecture Abstraction of Object Oriented Software. |
CSMR |
2005 |
DBLP DOI BibTeX RDF |
Reverse Engineering, Object Orientation, Program Comprehension, Design Recovery, Architecture Abstraction |
23 | Jacob Perrenet, Jan Friso Groote, Eric Kaasenbrood |
Exploring students' understanding of the concept of algorithm: levels of abstraction. |
ITiCSE |
2005 |
DBLP DOI BibTeX RDF |
abstraction, computer science education |
23 | Willem Visser, Corina S. Pasareanu, Radek Pelánek |
Test input generation for red-black trees using abstraction. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
testing object oriented programs, model checking, abstraction, coverage, red-black trees |
23 | Serge Haddad, Jean-Michel Ilié, Kais Klai |
Design and Evaluation of a Symbolic and Abstraction-Based Model Checker. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
Model Checking, Abstraction, OBDD |
23 | Yossi Cohen, Yishai A. Feldman |
Automatic high-quality reengineering of database programs by abstraction, transformation and reimplementation. |
ACM Trans. Softw. Eng. Methodol. |
2003 |
DBLP DOI BibTeX RDF |
Database program reengineering, the plan calculus, temporal abstraction, query graphs |
23 | Ravi Pratap, Ron Cytron, David C. Sharp, Edward Pla |
Transport layer abstraction in event channels for embedded systems. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
transport abstraction, embedded systems, middleware, AOP, CORBA, software composition, event service, subsetting |
23 | Tu Bao Ho, Trong Dung Nguyen, Saori Kawasaki, Si Quang Le, DucDung Nguyen, Hideto Yokoi, Katsuhiko Takabayashi |
Mining hepatitis data with temporal abstraction. |
KDD |
2003 |
DBLP DOI BibTeX RDF |
hepatitis data, medicaldata mining, temporal abstraction |
23 | Mustapha Bourahla, Mohamed Benmohamed |
Verification of Real-Time Systems by Abstraction of Time Constraints. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
Real-time systems, Model Checking, Formal Verification, Predicate Abstraction, Timed Automaton |
23 | Thomas Firley, Ursula Goltz |
Property Dependent Abstraction of Control Structure for Software Verification. |
FME |
2002 |
DBLP DOI BibTeX RDF |
property oriented abstraction, algorithmic construction of abstract semantics, software verification |
23 | Orit Hazzan |
Reducing abstraction level when learning computability theory concepts. |
ITiCSE |
2002 |
DBLP DOI BibTeX RDF |
mental processes, abstraction, computer science education, computability |
23 | Henrik Tramberend |
A display device abstraction for virtual reality applications. |
Afrigraph |
2001 |
DBLP DOI BibTeX RDF |
virtual reality, object orientation, computer graphics, abstraction, display device |
23 | Graham E. Deacon |
An Attempt to Raise the Level of Software Abstraction in Assembly Robotics through an Apposite Choice of Underlying Mechatronics. |
J. Intell. Robotic Syst. |
2000 |
DBLP DOI BibTeX RDF |
accommodating control, contact configurations, object sliding, task-invariant assembly strategies, programming abstraction, direct-drive robot |
23 | Heike Wehrheim |
Data Abstraction Techniques in the Validation of CSP-OZ Specifications. |
Formal Aspects Comput. |
2000 |
DBLP DOI BibTeX RDF |
Integrated formal methods, CSP-OZ, Verification, Data abstraction |
23 | Daniel P. Mapes |
The human device abstraction. |
Designing Augmented Reality Environments |
2000 |
DBLP DOI BibTeX RDF |
device abstraction, enhanced reality, human device, vodget, human computer interaction, virtual reality, sensors, widget, CAVE |
23 | Tosiyasu L. Kunii, Masayuki Hisada |
Overcoming Software Complexity by Constructing Abstraction Hierarchies - The Principles and Applications. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
sustainable social infrastructure, incrementally modular hierarchies, rapid prototyping tool, validation tool, abstracted Java program structures, Java, test case, software complexity, Java language, abstraction hierarchies, program construct, cellular modeling |
23 | Shiow-Yang Wu, Daniel P. Miranker, James C. Browne |
Decomposition Abstraction in Parallel Rule Languages. |
IEEE Trans. Parallel Distributed Syst. |
1996 |
DBLP DOI BibTeX RDF |
Decomposition abstraction, parallel production systems, multiple rule firing systems, parallel decomposition, explicit parallel languages, decomposition mechanisms, set-oriented constructs, semantic-based dependency analysis, functional dependency |
23 | John C. Grundy, John G. Hosking |
ViTABaL: A Visual Language Supporting Design by Tool Abstraction. |
VL |
1995 |
DBLP DOI BibTeX RDF |
ViTABaL, tool abstraction paradigm, abstract data structure components, toolie components, event response mechanism, inter-component interaction handling, functional specification changes, data structures, software tools, programming environments, systems analysis, visual programming, visual languages, visual language, abstract data types, systems implementation, design support |
23 | Steven Klusener |
Abstraction in Real Time Process Algebra. |
REX Workshop |
1991 |
DBLP DOI BibTeX RDF |
& Phrases Real Time, Abstraction, Process Algebra, Protocol Verification, ACP |
22 | Fan Yang, Joseph C. Culberson, Robert Holte |
Using Infeasibility to Improve Abstraction-Based Heuristics. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Peep Küngas |
Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies. |
SARA |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Michael Ramati, Yuval Shahar |
Probabilistic Abstraction of Uncertain Temporal Data for Multiple Subjects. |
SARA |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Nathan R. Sturtevant, Vadim Bulitko, Michael Buro |
Automatic State Abstraction for Pathfinding in Real-Time Video Games. |
SARA |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Arriel Benis |
Categorizing Gene Expression Correlations with Bioclinical Data: An Abstraction Based Approach. |
SARA |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Natalia N. Beliaeva, Shlomo Zilberstein |
Generating Admissible Heuristics by Abstraction for Search in Stochastic Domains. |
SARA |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Sungjoo Yoo, Iuliana Bacivarov, Aimen Bouchhima, Yanick Paviot, Ahmed Amine Jerraya |
Building Fast and Accurate SW Simulation Models Based on Hardware Abstraction Layer and Simulation Environment Abstraction Layer. |
DATE |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Adi Botea |
Using Abstraction for Heuristic Search and Planning. |
SARA |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Michael Heymann, Asaf Degani |
On the Construction of Human-Automation Interfaces by Formal Abstraction. |
SARA |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Daniel Buettner |
Abstraction and Reformulation in GraphPlan. |
SARA |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Yoshiaki Okubo, Makoto Haraguchi, Yan Fang Zheng |
A Method for Finding Consistent Hypotheses Using Abstraction. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Terrence P. Fries, James H. Graham |
An Agent-Based Approach to Robust Switching Between Abstraction Levels for Fault Diagnosis. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Stefano Bistarelli, Philippe Codognet, Francesca Rossi 0001 |
An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Nan Wang, Dantong Ouyang, Shanwu Sun, Chengli Zhao |
Formalizing the Modeling Process of Physical Systems in MBD. |
AICI |
2009 |
DBLP DOI BibTeX RDF |
G-KRA Model, Knowledge Modeling, Model-Based Diagnosis |
21 | Maria Grazia Buscemi, Hernán C. Melgratti |
Abstract Processes in Orchestration Languages. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Christof Lutteroth, Robert Strandh, Gerald Weber |
Domain Specific High-Level Constraints for User Interface Layout. |
Constraints An Int. J. |
2008 |
DBLP DOI BibTeX RDF |
Auckland Layout Model, Constraint, GUI |
21 | Stephen Robertson |
The study of information retrieval: a long view. |
IIiX |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim |
Slicing Abstractions. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina |
Automated, compositional and iterative deadlock detection. |
MEMOCODE |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen |
Static Guard Analysis in Timed Automata Verification. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer |
Temporal-Safety Proofs for Systems Code. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Kenji Ohmori, Wona Lee |
Shape Modeling Using Cellular Structured Spaces. |
CW |
2002 |
DBLP DOI BibTeX RDF |
homotopy model, filtration, cellular spatial structures |
21 | 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 |
21 | Fang Yu 0001, Tevfik Bultan, Erik Peterson |
Automated size analysis for OCL. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
size abstraction, size analysis, OCL |
21 | Thomas Witkowski, Nicolas Blanc, Daniel Kroening, Georg Weissenbacher |
Model checking concurrent linux device drivers. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
model checking, linux, device driver, predicate abstraction |
21 | Ferucio Laurentiu Tiplea, Constantin Enea |
Abstractions of data types. |
Acta Informatica |
2006 |
DBLP DOI BibTeX RDF |
Verification, Abstraction, Data type, Universal algebra |
21 | John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger |
Verifying Time Partitioning in the DEOS Scheduling Kernel. |
Formal Methods Syst. Des. |
2005 |
DBLP DOI BibTeX RDF |
program model checking, time partitioning, verification, spin, predicate abstraction |
21 | Songtao Xia, Ben Di Vito, César A. Muñoz |
Automated test generation for engineering applications. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
model-checking, test case generation, predicate abstraction |
21 | Sagar Chaki, Alex Groce, Ofer Strichman |
Explaining abstract counterexamples. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
model checking, fault localization, predicate abstraction |
21 | David H. Pitt, Michael W. Shields |
Local Invariance. |
Formal Aspects Comput. |
2002 |
DBLP DOI BibTeX RDF |
Local invariance, Abstraction, Protocol verification |
21 | Gordon D. Plotkin |
Three Inadequate Models. |
Formal Aspects Comput. |
2002 |
DBLP DOI BibTeX RDF |
Full abstraction, Counterexample, PCF, Adequacy |
21 | Joe Heike Steinhauer, Tom Wiese, Christian Freksa, Thomas Barkowsky |
Recognition of Abstract Regions in Cartographic Maps. |
COSIT |
2001 |
DBLP DOI BibTeX RDF |
map interpretation, region abstraction, spatial concepts, formal methods, cognitive modeling, map generalization |
21 | Colin Potts |
Requirements Models in Context. |
RE |
1997 |
DBLP DOI BibTeX RDF |
formal specification, requirements engineering, abstraction, synthesis, requirements models |
21 | Giuseppe Visaggio |
Structural information as a quality metric in software systems organization. |
ICSM |
1997 |
DBLP DOI BibTeX RDF |
software quality metric, software systems organization, software system entropy, model dependency descriptor, quality level change monitoring, system degradation, poorly-performed software maintenance, perfective maintenance objectives, software quality, documentation, architectural styles, impact analysis, abstraction levels, structural information, software life-cycle |
21 | Rob J. van Glabbeek |
Bounded Nondeterminism and the Approximation Induction Principle in Process Algebra. |
STACS |
1987 |
DBLP DOI BibTeX RDF |
& Phrases Concurrency, Approximation Induction Principle, Bounded Nondeterminism, Fairness, Abstraction, Consistency, Process algebra, Recursion, Bisimulation, Liveness, ACP |
21 | John Miles Smith, Diane C. P. Smith |
Database Abstractions: Aggregation and Generalization. |
ACM Trans. Database Syst. |
1977 |
DBLP DOI BibTeX RDF |
knowledge representation, relational database, generalization, aggregation, data model, database design, integrity constraints, data type, data abstraction |
20 | Andreas Podelski, Thomas Wies |
Counterexample-guided focus. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
quantified invariants, data structures, shape analysis, predicate abstraction, abstraction refinement |
20 | Mana Taghdiri, Daniel Jackson 0001 |
Inferring specifications to detect errors in code. |
Autom. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
Modular abstraction, Counterexample-guided abstraction refinement, Bounded program verification, SAT, Alloy, Specification inference |
20 | Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim 0001, Insup Lee 0001, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan 0001 |
Verisim: Formal Analysis of Network Simulations. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
Verisim, packet radio, population abstraction, packet-type abstraction, simulation, routing, ad hoc networks, testing, network, temporal logic, AODV, formal analysis, tuning, MaC, NS |
20 | Wesley W. Chu, Qiming Chen |
A Structured Approach for Cooperative Query Answering. |
IEEE Trans. Knowl. Data Eng. |
1994 |
DBLP DOI BibTeX RDF |
cooperative query answering, type abstraction hierarchy, cooperative query answers, type hierarchy, multilevel object representation, CSQL, type abstraction, knowledge representation, knowledge representation, query processing, relational databases, SQL, SQL, composition, generalization, query languages, query language, database theory, deductive databases, deductive database, association, granularity, query rewrite, specialization, subsumption, semantic information, query relaxation |
20 | Kostas N. Oikonomou |
Abstractions of Finite-State Machines Optimal with Respect to Single Undetectable Output Faults. |
IEEE Trans. Computers |
1987 |
DBLP DOI BibTeX RDF |
undetectable output faults, optimal abstraction, Abstraction, finite-state machine, observer, branch-and-bound algorithm |
20 | Peter Sewell |
Memory, an elusive abstraction. |
ISMM |
2010 |
DBLP DOI BibTeX RDF |
semantics, relaxed memory models |
20 | Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening |
Symbolic Counter Abstraction for Concurrent Software. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Thomas A. Henzinger, Maria Mateescu, Verena Wolf |
Sliding Window Abstraction for Infinite Markov Chains. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Stefano Tonetta |
Abstract Model Checking without Computing the Abstraction. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Alexander Heußner, Tristan Le Gall, Grégoire Sutre |
Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Neha Rungta, Eric G. Mercer, Willem Visser |
Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Friedrich Eisenbrand, Nicolai Hähnle, Thomas Rothvoß |
Diameter of polyhedra: limits of abstraction. |
SCG |
2009 |
DBLP DOI BibTeX RDF |
disjoint coverings, hirsch conjecture, polyhedra, convex geometry |
20 | Artem Polyvyanyy, Sergey Smirnov 0002, Mathias Weske |
The Triconnected Abstraction of Process Models. |
BPM |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Adam Bakewell, Dan R. Ghica |
Compositional Predicate Abstraction from Game Semantics. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Saraju P. Mohanty |
Unified Challenges in Nano-CMOS High-Level Synthesis. |
VLSI Design |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
Abstraction-Carrying Code: a Model for Mobile Code Safety. |
New Gener. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Mobile Code Safety, Logic Programming, Static Analysis, Abstract Interpretation, Program Verification |
20 | Arie Gurfinkel, Ou Wei, Marsha Chechik |
Model Checking Recursive Programs with Exact Predicate Abstraction. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Kathy Kotiadis, Stewart Robinson 0001 |
Conceptual modelling: Knowledge acquisition and model abstraction. |
WSC |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Pablo Nogueira, Juan José Moreno-Navarro |
Bialgebra views: a way for polytypic programming to cohabit with data abstraction. |
ICFP-WGP |
2008 |
DBLP DOI BibTeX RDF |
bialgebras, program generation, abstract types, polytypic programming |
20 | Kenji Funaoka, Shinpei Kato, Nobuyuki Yamasaki |
New Abstraction for Optimal Real-Time Scheduling on Multiprocessors. |
RTCSA |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Gianpiero Cabodi, Paolo Camurati, Marco Murciano |
Automated abstraction by incremental refinement in interpolant-based model checking. |
ICCAD |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Jingbo Zhang, Rongcai Zhao, Jianmin Pang, Wen Fu |
Formal Abstraction of Semantics for Detecting Malicious Code. |
CSSE (2) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Jim Spohrer, Stephen L. Vargo, Nathan Caswell, Paul P. Maglio |
The Service System Is the Basic Abstraction of Service Science. |
HICSS |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Niall Redmond, John Dingliana |
Evaluation of non-photorealistic abstraction techniques in influencing user behaviour. |
APGV |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Per Bjesse |
Word-Level Sequential Memory Abstraction for Model Checking. |
FMCAD |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Manuel Campos, José M. Juárez, Jose Salort, José T. Palma, Roque Marín |
Temporal Abstraction of States Through Fuzzy Temporal Constraint Networks. |
IWINAC (1) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Podelski, Andrey Rybalchenko |
ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Luca de Alfaro, Pritam Roy |
Magnifying-Lens Abstraction for Markov Decision Processes. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Wolfgang Ecker, Volkan Esen, Lars Schönberg, Thomas Steininger, Michael Velten, Michael Hull |
Interactive presentation: Impact of description language, abstraction layer, and value representation on simulation performance. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Roy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar |
Deeper Bound in BMC by Combining Constant Propagation and Abstraction. |
ASP-DAC |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Letícia Maria Friske, Carlos H. C. Ribeiro |
HPGP: An Abstraction-Based Framework for Decision-Theoretic Planning. |
IDEAL |
2007 |
DBLP DOI BibTeX RDF |
Probabilistic Planning, PGraphplan and Dynamic Programming |
20 | Isabelle Gnaedig, Hélène Kirchner |
Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations. |
Rewriting, Computation and Proof |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Arjan J. H. Peddemors, Ignas G. Niemegeers, Henk Eertink |
An Extensible Network Resource Abstraction for Applications on Mobile Devices. |
COMSWARE |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Felix Klaedtke, Stefan Ratschan, Zhikun She |
Language-Based Abstraction Refinement for Hybrid System Verification. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Elvira Albert, Puri Arenas, Germán Puebla |
An Incremental Approach to Abstraction-Carrying Code. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Shuvendu K. Lahiri, Robert Nieuwenhuis, Albert Oliveras |
SMT Techniques for Fast Predicate Abstraction. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Thomas Ball |
Automated Abstraction of Software. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Pierre-Malo Deniélou, James J. Leifer |
Abstraction preservation and subtyping in distributed languages. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
serialisation and distributed computation, subtyping, type theory, programming language semantics, module systems |
20 | Gogul Balakrishnan, Thomas W. Reps |
Recency-Abstraction for Heap-Allocated Storage. |
SAS |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Luigi Portinale, Stefania Montani, Alessio Bottrighi, Giorgio Leonardi, José M. Juárez |
A Case-Based Architecture for Temporal Abstraction Configuration and Processing. |
ICTAI |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Miroslav N. Velev |
Using Abstraction for Efficient Formal Verification of Pipelined Processors with Value Prediction. |
ISQED |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Ittai Balaban, Ariel Cohen 0002, Amir Pnueli |
Ranking Abstraction of Recursive Programs. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Jesse D. Bingham, Zvonimir Rakamaric |
A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 13114 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|