27 papers:
ECOOP-2015-KloosMV- Asynchronous Liquid Separation Types (JK, RM, VV), pp. 396–420.
DATE-2014-FourmigueBN #3d #performance #simulation- Efficient transient thermal simulation of 3D ICs with liquid-cooling and through silicon vias (AF, GB, GN), pp. 1–6.
HIMI-DE-2014-HottaOM #user interface #using- Liquid Tangible User Interface: Using Liquid in TUI (MH, MO, HM), pp. 167–176.
- DATE-2013-FourmigueBN #3d #simulation
- Explicit transient thermal simulation of liquid-cooled 3D ICs (AF, GB, GN), pp. 1385–1390.
- DATE-2012-SabrySA #3d #using
- Thermal balancing of liquid-cooled 3D-MPSoCs using channel modulation (MMS, AS, DA), pp. 599–604.
PLDI-2012-KawaguchiRBJ #parallel- Deterministic parallelism via liquid effects (MK, PMR, AB, RJ), pp. 45–54.
CHI-2012-SatoPH #interactive #named- Touché: enhancing touch interaction on humans, screens, liquids, and everyday objects (MS, IP, CH), pp. 483–492.
CAiSE-2012-MartinCM #assessment #empirical #process- Process Redesign for Liquidity Planning in Practice: An Empirical Assessment (JM, TC, AM), pp. 581–596.
CAV-2012-RondonBKJ #c #named #verification- CSolve: Verifying C with Liquid Types (PMR, AB, MK, RJ), pp. 744–750.
VMCAI-2012-Jhala #verification- Software Verification with Liquid Types (RJ), p. 23.
WICSA-2011-BonettaP #architecture #web #web service- An Architectural Style for Liquid Web Services (DB, CP), pp. 232–241.
- CHI-2011-TashmanE11a #flexibility #multi #named
- LiquidText: a flexible, multitouch environment to support active reading (CST, WKE), pp. 3285–3294.
- DATE-2010-CoskunARBM #3d #architecture #energy
- Energy-efficient variable-flow liquid cooling in 3D stacked architectures (AKC, DA, TSR, TB, BM), pp. 111–116.
CIKM-2010-Camacho-RodriguezKMR #adaptation #named #xml- LiquidXML: adaptive XML content redistribution (JCR, AK, IM, AR), pp. 1943–1944.
POPL-2010-RondonKJ #low level- Low-level liquid types (PMR, MK, RJ), pp. 131–144.
- CAV-2010-KawaguchiRJ #named #safety #verification
- Dsolve: Safety Verification via Liquid Types (MK, PMR, RJ), pp. 123–126.
- HCI-NIMT-2009-MassonM #communication #named
- WeMe: Seamless Active and Passive Liquid Communication (NM, WEM), pp. 694–700.
- PLDI-2008-RondonKJ
- Liquid types (PMR, MK, RJ), pp. 159–169.
- CHI-2008-GoldbergHM #distance #layout
- Information distance and orientation in liquid layout (JHG, JH, LM), pp. 1153–1156.
- ECOOP-2008-HuangHBR #bound #hardware #object-oriented #programming
- Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary (SSH, AH, DFB, RMR), pp. 76–103.
- HIMI-IIE-2007-HasegawaOFM #mobile #readability
- Readability of Characters on Liquid Crystal Displays in Mobile Phones (SH, MO, KF, MM), pp. 510–517.
- HIMI-IIE-2007-OmoriHFM #evaluation #mobile #visual notation
- Visibility Evaluation of Characters on Liquid Crystal Displays in Mobile Phones, and Visual Function (MO, SH, KF, MM), pp. 600–607.
HPCA-2007-ClarkHYMF #hardware #lightweight #using- Liquid SIMD: Abstracting SIMD Hardware using Lightweight Dynamic Mapping (NC, AH, SY, SAM, KF), pp. 216–227.
ICDAR-2005-BhagvatiD #classification #using- Classification of Liquid and Viscous Inks using HSV Colour Space (CB, HD), pp. 660–664.
SIGMOD-2004-Borkar #enterprise- Liquid Data for WebLogic: Integrating Enterprise Data and Services (VRB), pp. 917–918.
ICPR-v1-2000-TominagaO #multi #recognition- Object Recognition by Multi-Spectral Imaging with a Liquid Crystal Filter (ST, RO), pp. 1708–1711.
SAC-1999-CraneWS #algorithm #multi #pipes and filters #scheduling #search-based #using- Scheduling of Multi-Product Fungible Liquid Pipelines Using Genetic Algorithms (DSC, RLW, DAS), pp. 280–285.
