27 papers:
VLDB-2015-OhKLM #memory management #mobile #optimisation- SQLite Optimization with Phase Change Memory for Mobile Applications (GO, SK, SWL, BM), pp. 1454–1465.
DUXU-DD-2015-LewisUM- Investigating the Correspondence Between UMUX-LITE and SUS Scores (JRL, BSU, DEM), pp. 204–211.
CGO-2014-NagarakatteMZ #named #pointer- WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking (SN, MMKM, SZ), p. 175.
SIGMOD-2013-KangLMOM #database #named #transaction- X-FTL: transactional FTL for SQLite databases (WHK, SWL, BM, GHO, CM), pp. 97–108.
- VLDB-2013-SeoPSL #analysis #distributed #graph #scalability
- Distributed SociaLite: A Datalog-Based Language for Large-Scale Graph Analysis (JS, JP, JS, MSL), pp. 1906–1917.
CHI-2013-LewisUM #named- UMUX-LITE: when there’s no time for the SUS (JRL, BU, DEM), pp. 2099–2102.
PADL-2013-CanisiusAW #database #interface #named #prolog- proSQLite: Prolog File Based Databases via an SQLite Interface (SC, NA, LW), pp. 222–227.
HILT-2012-Kanig #ada #testing #verification- Leading-edge ada verification technologies: combining testing and verification with GNATTest and GNATProve — the hi-lite project (JK), pp. 5–6.
- HILT-2012-KanigSD #compilation #convergence #named #verification
- Hi-Lite: the convergence of compiler technology and program verification (JK, ES, CD), pp. 27–34.
KR-2012-CalvaneseOSS #complexity #query- The Complexity of Explaining Negative Query Answers in DL-Lite (DC, MO, MS, GS).
- KR-2012-Rodriguez-MuroC #ontology #performance #query
- High Performance Query Answering over DL-Lite Ontologies (MRM, DC).
RecSys-2011-GantnerRFS #library #named #recommendation- MyMediaLite: a free recommender system library (ZG, SR, CF, LST), pp. 305–308.
SAC-2011-YueFCY #algorithm- ID* Lite: improved D* Lite algorithm (WY, JF, WC, HY), pp. 1364–1369.
DATE-2010-KranenburgL #architecture #implementation #named #robust- MB-LITE: A robust, light-weight soft-core implementation of the MicroBlaze architecture (TK, RvL), pp. 997–1000.
- KR-2010-KontchakovLTWZ #approach #query
- The Combined Approach to Query Answering in DL-Lite (RK, CL, DT, FW, MZ).
- KR-2010-RosatiA #ontology #query
- Improving Query Answering over DL-Lite Ontologies (RR, AA).
HPCA-2010-JafriTV #named #transaction- LiteTM: Reducing transactional state overhead (SARJ, MT, TNV), pp. 1–12.
PLDI-2009-MarinoMN #concurrent #detection #effectiveness #lightweight #named- LiteRace: effective sampling for lightweight data-race detection (DM, MM, SN), pp. 134–143.
- KR-2008-KontchakovWZ #difference #ontology #question
- Can You Tell the Difference Between DL-Lite Ontologies? (RK, FW, MZ), pp. 285–295.
- DATE-2005-StergiouACRBM #abstract syntax tree #design #library #network #pipes and filters #synthesis
- ast pipes Lite: A Synthesis Oriented Design Library For Networks on Chips (SS, FA, SC, LR, DB, GDM), pp. 1188–1193.
- SIGMOD-2005-Campbell #architecture #database #question
- Service Oriented Database Architecture: APP server-lite? (DC), pp. 857–862.
CAV-2004-BarrettB #implementation- CVC Lite: A New Implementation of the Cooperating Validity Checker Category B (CWB, SB), pp. 515–518.
- SIGMOD-2000-GillmannWSWW #distributed #workflow
- A Goal-driven Auto-Configuration Tool for the Distributed Workflow Management System Mentor-lite (MG, JW, GS, WW, GW), p. 595.
OSDI-1999-PaiDZ #named- IO-Lite: A Unified I/O Buffering and Caching System (VSP, PD, WZ), pp. 15–28.
HT-1998-YangK #named #transaction #web- JPernLite: An Extensible Transaction Server for the World Wide Web (JJY, GEK), pp. 256–266.
WIA-1996-Watson #c++- FIRE Lite: FAs and REs in C++ (BWW), pp. 167–188.
SEI-1990-CookH #education- -StarLite- A Software Education Laboratory (RPC, LH), pp. 95–109.
