14 papers:
DUXU-ELAS-2014-GeabelJHABA #identification #using- Pilgrim Smart Identification Using RFID Technology (PSI) (AG, KJ, RAH, RA, MB, MA), pp. 273–280.
- DUXU-TMT-2014-VergheseSG #design #online
- Online Psychometric Design (OnPsyD) Tool (SV, PvS, SG), pp. 393–401.
SEFM-2011-BorgstromHJRVPP #calculus #protocol- Broadcast Psi-calculi with an Application to Wireless Protocols (JB, SH, MJ, PR, BV, JÅP, JP), pp. 74–89.
LICS-2010-Harel- Amir Pnueli: A Gentle Giant, Lord of the Phi’s and the Psi’s (DH), p. 57.
- LICS-2010-JohanssonBPV #calculus
- Weak Equivalences in Psi-Calculi (MJ, JB, JP, BV), pp. 322–331.
- DHM-2009-BruggemannS #design
- Nautical PSI — Virtual Nautical Officers as Test Drivers in Ship Bridge Design (UB, SS), pp. 355–364.
- LICS-2009-BengtsonJPV #calculus #logic #mobile #named #process
- Psi-calculi: Mobile Processes, Nominal Data, and Logic (JB, MJ, JP, BV), pp. 39–48.
PPoPP-1990-FuruichiTI #multi #source code- A Multi-Level Load Balancing Scheme for OR-Parallel Exhaustive Search Programs on the Multi-PSI (MF, KT, NI), pp. 50–59.
NACLP-1989-InamuraIRN #evaluation #multi #optimisation #using- Optimizing Techniques Using the MRB and Their Evaluation on the Multi-PSI/V2 (YI, NI, KR, KN), pp. 907–921.
ASPLOS-1987-TakiNNI #architecture #evaluation #performance- Performance and Architectural Evaluation of the PSI Machine (KT, KN, HN, MI), pp. 128–135.
- ICLP-1987-IchiyoshiMT87 #distributed #haskell #implementation #multi
- A Distributed Implementation of Flat GHC on the Multi-PSI (MI, TM, KT), pp. 257–275.
- SLP-1987-NakashimaN87 #architecture #hardware
- Hardware Architecture of the Sequential Inference Machine: PSI-II (HN, KN), pp. 104–113.
ICSE-1976-BarstowK #interactive #performance #synthesis- Observations on the Interaction Between Coding and Efficiency Knowledge in the PSI Program Synthesis System (DRB, EK), pp. 19–31.
- ICSE-1976-Green #design #synthesis
- The Design of the PSI Program Synthesis System (CCG), pp. 4–18.
