22 papers:
ICSE-v2-2015-PalombaTBOMPL #refactoring- Extract Package Refactoring in ARIES (FP, MT, GB, RO, AM, DP, ADL), pp. 669–672.
SOSP-2013-CoburnBSGS #transaction- From ARIES to MARS: transaction support for next-generation, solid-state drives (JC, TB, MS, RG, SS), pp. 197–212.
- ICSE-2012-BavotaLMOP #eclipse #refactoring
- Supporting extract class refactoring in Eclipse: The ARIES project (GB, ADL, AM, RO, FP), pp. 1419–1422.
SAC-2010-SantosAG #ontology #semantics- An ontology-based semantic foundation for ARIS EPCs (PSSJ, JPAA, GG), pp. 124–130.
CIAA-2009-InabaH #query #representation #set- Compact Representation for Answer Sets of n-ary Regular Queries (KI, HH), pp. 94–104.
IJCAR-2006-ZamanskyA #calculus #canonical #quantifier- Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers (AZ, AA), pp. 251–265.
ICALP-2005-Wikstrom #integer #on the- On the l-Ary GCD-Algorithm in Rings of Integers (DW), pp. 1189–1201.
ICEIS-2002-DahchourP #semantics- The Semantics of Reifying n-ary Relationships as Classes (MD, AP), pp. 580–586.
- SAC-2002-Al-SadiDO #algorithm #fault tolerance #probability
- Probability vectors: a new fault-tolerant routing algorithm for k-ary n-cubes (JAS, KD, MOK), pp. 830–834.
- SAC-2002-Sarbazi-AzadO #adaptation
- A simple mathematical model of adaptive routing in wormhole k-ary n-cubes (HSA, MOK), pp. 835–839.
VLDB-1999-Mohan- Repeating History Beyond ARIES (CM), pp. 1–17.
HPCA-1995-Panda #multi #network #performance- Fast Barrier Synchronization in Wormhole k-ary n-cube Networks with Multidestination Worms (DKP), pp. 200–209.
SIGMOD-1994-MohanN #architecture #database #named- ARIES/CSA: A Method for Database Recovery in Client-Server Architectures (CM, IN), pp. 55–66.
KBSE-1993-Benner #component #simulation- The ARIES Simulation Component (ASC) (KMB), p. 9.
- KBSE-1992-Benner #component #simulation
- ARIES Simulation Component (ASC) Demonstration (Demonstration) (KB), p. 30.
- SIGMOD-1992-MohanL #concurrent #named #performance #using
- ARIES/IM: An Efficient and High Concurrency Index Management Method Using Write-Ahead Logging (CM, FEL), pp. 371–380.
- KBSE-1991-JohnsonFH #requirements #specification
- The KBSA Requirements/Specifications Facet: ARIES (WLJ, MSF, DRH), pp. 48–56.
- VLDB-1990-Mohan #concurrent #multi #named #transaction
- ARIES/KVL: A Key-Value Locking Method for Concurrency Control of Multiaction Transactions Operating on B-Tree Indexes (CM), pp. 392–405.
- VLDB-1989-RothermelM #named #transaction
- ARIES/NT: A Recovery Method Based on Write-Ahead Logging for Nested Transactions (KR, CM), pp. 337–346.
KR-1989-Schmolze #information management #representation- Terminological Knowledge Representation Systems Supporting N-ary Terms (JGS), pp. 432–443.
PODS-1987-Dechter- Decomposing an N-ary Relation into a Tree of Binary Relations (RD), pp. 185–189.
DAC-1984-KaoMS #design #named- ARIES: A workstation based, schematic driven system for circuit design (WHK, MHME, MLS), pp. 301–307.
