Stem introspect$ (all stems)

27 papers:

PLDI-2014-SmaragdakisKB #analysis #context-sensitive grammar

Introspective analysis: context-sensitivity, across the board (YS, GK, GB), p. 50.

ICSE-2014-LeeJP #behaviour #detection #machine learning #memory management #modelling #using

Detecting memory leaks through introspective dynamic behavior modelling using machine learning (SL, CJ, SP), pp. 814–824.

HPCA-2014-LiuXGZC #concurrent #consistency #hardware #memory management #transaction #virtual machine

Concurrent and consistent virtual machine introspection with hardware transactional memory (YL, YX, HG, BZ, HC), pp. 416–427.

ICFP-2012-EarlSMH #analysis #automaton #higher-order #source code

Introspective pushdown analysis of higher-order programs (CE, IS, MM, DVH), pp. 177–188.

HPDC-2011-AhujaBFGS #modelling #protocol

Introspective end-system modeling to optimize the transfer time of rate based protocols (VA, AB, MKF, DG, GS), pp. 61–72.

DAC-2010-ConstantinidesA #debugging #testing #using

Using introspective software-based testing for post-silicon debug and repair (KC, TMA), pp. 537–542.

DATE-2009-GenzD

Overcoming limitations of the SystemC data introspection (CG, RD), pp. 590–593.

FASE-2009-RajamaniJPR #mobile #network #nondeterminism #query

Inquiry and Introspection for Non-deterministic Queries in Mobile Networks (VR, CJ, JP, GCR), pp. 401–416.

CGO-2007-ZhaoRARW #memory management #ubiquitous

Ubiquitous Memory Introspection (QZ, RMR, SPA, LR, WFW), pp. 299–311.

DATE-2006-BeltrameSSLP #simulation

Exploiting TLM and object introspection for system-level simulation (GB, DS, CS, DL, CP), pp. 100–105.

ITiCSE-2006-GrayH #approach #user interface #visual notation

An introspective approach to marking graphical user interfaces (GRG, CAH), pp. 43–47.

MoDELS-2006-TombelleV #modelling

Dynamic and Generic Manipulation of Models: From Introspection to Scripting (CT, GV), pp. 395–409.

MoDELS-2006-TombelleV #modelling

Dynamic and Generic Manipulation of Models: From Introspection to Scripting (CT, GV), pp. 395–409.

ASPLOS-2006-MysoreASLBS #3d

Introspective 3D chips (SM, BA, NS, SCL, KB, TS), pp. 264–273.

GPCE-2004-ZolyomiP #library #towards

Towards a General Template Introspection Library (IZ, ZP), pp. 266–282.

SAC-PL-J-2004-Cazzola #java #named #performance

SmartReflection: Efficient Introspection in Java (WC), pp. 117–132.

DATE-2003-DoucetSG #framework

Introspection in System-Level Language Frameworks: Meta-Level vs. Integrated (FD, SKS, RKG), pp. 10382–10387.

WCRE-2003-Al-GahmiJCD #corba

Supporting Quick and Dirty CORBA Introspection and Manipulation (AAG, CJ, JEC, BD), pp. 228–237.

MLDM-2003-Craw #learning #reasoning

Introspective Learning to Build Case-Based Reasoning (CBR) Knowledge Containers (SC), pp. 1–6.

ICSE-1998-ChuangKW #architecture #c++

Non-Intrusive Object Introspection in C++: Architecture and Application (TRC, YSK, CMW), pp. 312–321.

DAC-1996-IyerK #architecture #named #self #synthesis

Introspection: A Low Overhead Binding Technique During Self-Diagnosing Microarchitecture Synthesis (BI, RK), pp. 137–142.

ILPS-1995-YouGYG #framework #logic programming #source code

An Introspective Framework for Paraconsistent Logic Programs (JHY, SG, LYY, RG), pp. 384–398.

LOPSTR-1994-GiunchigliaC #reasoning

Introspective Metatheoretic Reasoning (FG, AC), pp. 425–439.

KR-1992-Schwarz #bound #logic

Bounding Introspection in Nonmonotonic Logic (GS), pp. 581–590.

ML-1992-CoxR #learning #multi

Multistrategy Learning with Introspective Meta-Explanations (MTC, AR), pp. 123–128.

CSL-1990-Jaspars #information management

A Generalization of Stability and its Application to Circumscription of Positive Introspective Knowledge (JJ), pp. 289–299.

HCI-SES-1987-Sanders #problem

Problems of a Novice: Some Introspective Observations (AFS), pp. 219–230.