Stem port$ (all stems)

65 papers:

QoSA-2015-HofigZS #automation #dependence #using

Automated Failure Propagation using Inner Port Dependency Traces (KH, MZ, KS), pp. 123–128.

CASE-2015-Qiu

Environmental impact of sharing inland transportation in a dry port system (XQ), pp. 261–263.

RTA-2015-Kirchner #data analysis #graph

Port Graphs, Rules and Strategies for Dynamic Data Analytics — Extended Abstract (Invited Talk) (HK), pp. 1–4.

DATE-2014-LoiB #multi

A multi banked — Multi ported — Non blocking shared L2 cache for MPSoC platforms (IL, LB), pp. 1–6.

GRAPHITE-2014-FernandezKP #analysis #framework #graph grammar #interactive #modelling

Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework (MF, HK, BP), pp. 15–29.

ASE-2013-MoritzVPGMG #api #detection #named #repository #scalability #source code #visualisation

ExPort: Detecting and visualizing API usages in large source code repositories (EM, MLV, DP, MG, CM, MG), pp. 646–651.

ASE-2013-RayKPR #consistency #detection #nondeterminism #semantics

Detecting and characterizing semantic inconsistencies in ported code (BR, MK, SP, NR), pp. 367–377.

CASE-2013-JiangLCT

Storage yard management for transshipment ports (XJ, LHL, EPC, KCT), pp. 138–143.

DAC-2013-PapakonstantinouCHCL #kernel #migration

Throughput-oriented kernel porting onto FPGAs (AP, DC, WmWH, JC, YL), p. 10.

DATE-2013-BiWL #design

STT-RAM designs supporting dual-port accesses (XB, MAW, HL), pp. 853–858.

DATE-2013-DimitrakopoulosGNK #multi

Switch folding: network-on-chip routers with time-multiplexed output ports (GD, NG, CN, EK), pp. 344–349.

CASE-2012-LiuS #injection #modelling #validation

Modeling and experimental validation of air-fuel ratio under individual cylinder fuel injection for port-injection engines (YL, TS), pp. 256–260.

FSE-2012-RayK #case study #migration

A case study of cross-system porting in forked projects (BR, MK), p. 53.

FSE-2012-RayWK #analysis #migration #named

REPERTOIRE: a cross-system porting analysis tool for forked software projects (BR, CW, MK), p. 8.

DATE-2011-LangeWK #configuration management #memory management #multi

MARC II: A parametrized speculative multi-ported memory subsystem for reconfigurable computers (HL, TW, AK), pp. 1352–1357.

GT-VMT-2011-Krause #automaton #distributed

Distributed Port Automata (CK).

VISSOFT-2011-BroeksemaT #migration #scalability #visual notation

Visual support for porting large code bases (BB, ACT), pp. 1–8.

ICEIS-v4-2011-SongH #design #internet #optimisation #process

Optimization of Import Business Process and System Design in Bulk Port based on Internet of Things (XS, LH), pp. 509–512.

MoDELS-2011-LettnerTM #bibliography #embedded #identification #migration #problem

A Critical Review of Applied MDA for Embedded Devices: Identification of Problem Classes and Discussing Porting Efforts in Practice (ML, MT, RM), pp. 228–242.

MoDELS-2011-LettnerTM #bibliography #embedded #identification #migration #problem

A Critical Review of Applied MDA for Embedded Devices: Identification of Problem Classes and Discussing Porting Efforts in Practice (ML, MT, RM), pp. 228–242.

DAC-2010-WangLPW #modelling #multi #named

MFTI: matrix-format tangential interpolation for modeling multi-port systems (YW, CUL, GKHP, NW), pp. 683–686.

MSR-2010-SasakiYHI #clone detection

Finding file clones in FreeBSD Ports Collection (YS, TY, YH, KI), pp. 102–105.

DATE-2009-SinghPHMM #embedded #power management

Single ended 6T SRAM with isolated read-port for low-power embedded systems (JS, DKP, SH, SPM, JM), pp. 917–922.

SAC-2009-KoehlerC #automaton

Decomposing port automata (CK, DC), pp. 1369–1373.

DAC-2008-Cummings #design #verification

SystemVerilog implicit port enhancements accelerate system design & verification (CEC), pp. 231–236.

DAC-2008-YanZTCM #distributed #linear #named #network #order #reduction

DeMOR: decentralized model order reduction of linear networks with massive ports (BY, LZ, SXDT, JC, BM), pp. 409–414.

DATE-2007-DittmannF #configuration management #realtime #scheduling

Hard real-time reconfiguration port scheduling (FD, SF), pp. 123–128.

VLDB-2007-WangRKMLKWPCBH #adaptation #collaboration #framework #integration #named #research

SciPort: An Adaptable Scientific Data Integration Platform for Collaborative Scientific Research (FW, PEB, GH, MW, DK, PL, CR, PK, GM, JP, JC), pp. 1310–1313.

HIMI-IIE-2007-IsaiasM #web #web service

Web Services as a Solution for Maritime Port Information Interoperability (PTI, FMDM), pp. 1029–1038.

DAC-2006-AminKMKC #library #multi

A multi-port current source model for multiple-input switching effects in CMOS library cells (CSA, CVK, NM, KK, EC), pp. 247–252.

DAC-2006-LiS #linear #network #order #reduction

Model order reduction of linear networks with massive ports via frequency-dependent port packing (PL, WS), pp. 267–272.

DATE-2006-SethuramanV #architecture #automation #generative #multi #named #using

optiMap: a tool for automated generation of noc architectures using multi-port routers for FPGAs (BS, RV), pp. 947–952.

DATE-DF-2006-AkselrodAA #architecture #debugging #framework #independence #multi #security

Platform independent debug port controller architecture with security protection for multi-processor system-on-chip ICs (DA, AA, YA), pp. 30–35.

CC-2006-Necula #dependent type #low level #type system #using

Using Dependent Types to Port Type Systems to Low-Level Languages (GCN), p. 1.

ASE-2005-DominguezD #composition #distributed #reasoning

Compositional reasoning for port-based distributed systems (ALJD, NAD), pp. 376–379.

ICSM-2005-AlvesCVSDBR #analysis #comparative #game studies #migration

Comparative Analysis of Porting Strategies in J2ME Games (VA, IC, HV, PHMS, ALGD, PB, GR), pp. 123–132.

SAC-2005-VarmaAPT #automation #migration

NextGen eXtreme porting: structured by automation (PV, AA, DPP, BT), pp. 1511–1517.

ICSM-2004-PazelVPTAC #assessment #framework #migration

A Framework and Tool for Porting Assessment and Remediation (DPP, PV, AMP, BT, AA, PC), p. 504.

ICEIS-v2-2004-LokugeAD #fuzzy #memory management

BDI Agents with Fuzzy Associative Memory for Vessel Berthing in Container Ports (PL, DA, PD), pp. 315–320.

HPDC-2004-DahanTRSUWB #grid #tool support

Grid Portal Toolkit 3.0 (GridPort) (MD, MT, ER, AS, TU, DW, JRB), pp. 272–273.

DAC-2003-BorgattiCSFILMPPR #configuration management #embedded #memory management #multi

A reconfigurable signal processing IC with embedded FPGA and multi-port flash memory (MB, LC, GDS, BF, DI, FL, GM, MP, MP, PLR), pp. 691–695.

DATE-2003-AndriahantenainaG #implementation #network

Micro-Network for SoC: Implementation of a 32-Port SPIN network (AA, AG), pp. 11128–11129.

DATE-2003-JanDE #case study #development #embedded #encryption #migration #network

Porting a Network Cryptographic Service to the RMC2000: A Case Study in Embedded Software Development (SJ, PdD, SAE), pp. 20150–20157.

SIGAda-2003-AllaertCW #linux #migration #scalability

European air traffic flow management: porting a large application to GNU/linux (GA, DC, PW), pp. 29–37.

UML-2003-ChristophM #middleware #migration #named #uml

GREAT: UML Transformation Tool for Porting Middleware Applications (AC, MMM), pp. 18–30.

DATE-2002-StievanoCMCBK #assessment #megamodelling

Macromodeling of Digital I/O Ports for System EMC Assessment (ISS, FGC, IAM, ZC, WDB, GAK), pp. 1044–1048.

DAC-2001-WuHCWW #algorithm #generative #multi #scheduling

Simulation-Based Test Algorithm Generation and Port Scheduling for Multi-Port Memories (CFW, CTH, KLC, CWW, CWW), pp. 301–306.

ICSM-2001-BassinS #classification #fault #legacy #maintenance #orthogonal #outsourcing

Managing the Maintenance of Ported, Outsourced, and Legacy Software via Orthogonal Defect Classification (KB, PS), p. 726–?.

AdaEurope-2001-VardanegaGP #migration

An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK (TV, RG, JAdlP), pp. 392–404.

HPDC-2001-ThomasMDMSB #grid #tool support

The GridPort Toolkit: A System for Building Grid Portals (MT, SM, MD, KM, DS, JRB), pp. 216–227.

IFL-2000-AchtenJ #haskell #library #migration

Porting the Clean Object I/O Library to Haskell (PA, SLPJ), pp. 194–213.

IFL-2000-HuchN #distributed #haskell #programming

Distributed Programming in Haskell with Ports (FH, UN), pp. 107–121.

EDOC-1999-LauderK #component #legacy #named

EventPorts: preventing legacy componentware (AL, SK), pp. 224–232.

HPCA-1999-YangW #network #performance

Efficient All-to-All Broadcast in All-Port Mesh and Torus Networks (YY, JW), pp. 290–299.

DAC-1998-LiuC

Extending Moment Computation to 2-Port Circuit Representations (FJL, CKC), pp. 473–476.

SIGMOD-1998-NgLK #data mining #mining

A Data Mining Application: Customes Retention at the Port of Singapore Authority (PSA) (KN, HL, HK), pp. 522–525.

AdaEurope-1998-MilletB #java #migration #runtime #virtual machine

Porting the GNAT Tasking Runtime System to the Java Virtual Machine (LM, TB), pp. 19–28.

UML-1998-OliveS #case study #experience #migration #uml

Porting ROSES to UML — An Experience Report (AO, MRS), pp. 64–77.

WPC-1996-MayrhauserV #comprehension #migration #on the #scalability

On the Role of Hypotheses during Opportunistic Understanding While Porting Large Scale Code (AvM, AMV), pp. 68–77.

TRI-Ada-1993-Byrnes #ada #migration

Porting Applications Between Two Commercial Ada/Motif Bindings (CB), pp. 37–49.

IWPTS-1993-LuoDBVG #distributed #finite #generative #sequence #state machine #testing

Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports (GL, RD, GvB, PV, AG), pp. 139–153.

AdaEurope-1992-Maymir-Ducharme #ada #embedded #migration #realtime

Porting Embedded Real-Time Ada Software (FAMD), pp. 92–103.

SCC-1982-Kipps #cobol #compilation #experience #migration

Experience with Porting Techniques on a COBOL 74 Compiler (IMK), pp. 15–21.

SCC-1979-BonkowskiGM #compilation #migration

Porting the Zed compiler (GBB, WMG, MAM), pp. 92–97.

DAC-1967-Murray-Lasso #distributed #simulation

A digital computer simulation of a class of lumped and/or distributed four ports (MAML).