Stem realiz$ (all stems)

134 papers:

CASE-2015-KanCLY #automation #health #internet #mobile #network #towards

Mobile sensing and network analytics for realizing smart automated systems towards health Internet of Things (CK, YC, FL, HY), pp. 1072–1077.

CASE-2015-YuAGB #industrial #metric #network

Realization and measurements of industrial wireless sensor and actuator networks (KY, JÅ, MG, MB), pp. 131–137.

TLCA-2015-Frey #specification

Realizability Toposes from Specifications (JF), pp. 196–210.

CBSE-2014-OzkayaK #architecture #component #reuse

Design-by-contract for reusable components and realizable architectures (MO, CK), pp. 129–138.

DATE-2014-HaddadTBF #independence #modelling #on the #probability

On the assumption of mutual independence of jitter realizations in P-TRNG stochastic models (PH, YT, FB, VF), pp. 1–6.

VLDB-2014-CaoYX #database #low cost #performance

Realization of the Low Cost and High Performance MySQL Cloud Database (WC, FY, JX), pp. 1742–1747.

STOC-2014-SharmaV #multi

Multiway cut, pairwise realizable distributions, and descending thresholds (AS, JV), pp. 724–733.

EDOC-2014-WeissK #lifecycle #multi

A Life Cycle for Coupled Multi-scale, Multi-field Experiments Realized through Choreographies (AW, DK), pp. 234–241.

ICML-c2-2014-FangCL #graph #learning

Graph-based Semi-supervised Learning: Realizing Pointwise Smoothness Probabilistically (YF, KCCC, HWL), pp. 406–414.

SEKE-2014-NevesV #development #refactoring #variability

Reactive Variability Realization with Test Driven Development and Refactoring (GSN, PV), pp. 100–105.

FSE-2014-AutiliRSP #internet #named

CHOReOSynt: enforcing choreography realizability in the future internet (MA, DDR, ADS, AP), pp. 723–726.

PPoPP-2014-YangZ #concurrent #named #parallel #thread

CUDA-NP: realizing nested thread-level parallelism in GPGPU applications (YY, HZ), pp. 93–106.

FASE-2013-AbdallahGHJ #constraints #optimisation

Scenario Realizability with Constraint Optimization (RA, AG, LH, CJ), pp. 194–209.

FASE-2013-AutiliRSIT #modelling #process #synthesis

A Model-Based Synthesis Process for Choreography Realizability Enforcement (MA, DDR, ADS, PI, MT), pp. 37–52.

ICML-c3-2013-LongS #classification #consistency #multi

Consistency versus Realizable H-Consistency for Multiclass Classification (PML, RAS), pp. 801–809.

ICSE-2013-Kukreja #approach #requirements #towards

Decision theoretic requirements prioritization: a two-step approach for sliding towards value realization (NK), pp. 1465–1467.

CSL-2013-AschieriBB #normalisation

Realizability and Strong Normalization for a Curry-Howard Interpretation of HA + EM1 (FA, SB, GB), pp. 45–60.

CSL-2013-Rieg #using

Extracting Herbrand trees in classical realizability using forcing (LR), pp. 597–614.

TLCA-2013-Blot #game studies

Realizability for Peano Arithmetic with Winning Conditions in HON Games (VB), pp. 77–92.

DAC-2012-HuLWR #array #hardware #using

Hardware realization of BSB recall function using memristor crossbar arrays (MH, HL, QW, GSR), pp. 498–503.

DAC-2012-SasanianWM #quantum #using

Realizing reversible circuits using a new class of quantum gates (ZS, RW, DMM), pp. 36–41.

CIKM-2012-Shiraishi0KA #communication

Simultaneous realization of page-centric communication and search (YS, JZ, YK, TA), pp. 2719–2721.

POPL-2012-BasuBO

Deciding choreography realizability (SB, TB, MO), pp. 191–202.

SAC-2012-PoizatS

Checking the realizability of BPMN 2.0 choreographies (PP, GS), pp. 1927–1934.

ASPLOS-2012-ParkSPCM #architecture #performance

SIMD defragmenter: efficient ILP realization on data-parallel architectures (YP, SS, HP, HKC, SAM), pp. 363–374.

CSL-2012-Aschieri #axiom #interactive

Interactive Realizability for Classical Peano Arithmetic with Skolem Axioms (FA), pp. 31–45.

LICS-2012-Hoshino #call-by #combinator #semantics

Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects (NH), pp. 385–394.

QoSA-ISARCS-2011-CavalcantiAM #process #quality #variability

Extending the RiPLE-DE process with quality attribute variability realization (RdOC, ESdA, SRLM), pp. 159–164.

DAC-2011-ZinnerNGSW #network

Application and realization of gateways between conventional automotive and IP/ethernet-based networks (HZ, JN, TG, JS, TW), pp. 1–6.

FoSSaCS-2011-BernardyL #parametricity #type system

Realizability and Parametricity in Pure Type Systems (JPB, ML), pp. 108–122.

DUXU-v1-2011-FunadaIFS #effectiveness

Studies on Imaging Methods to Realize Effective BCI through ERPs (MFF, YI, TF, MS), pp. 228–236.

TLCA-2011-Gimenez #difference #linear #logic #normalisation #proving

Realizability Proof for Normalization of Full Differential Linear Logic (SG), pp. 107–122.

TLCA-2011-Miquel #bibliography

A Survey of Classical Realizability (AM), pp. 1–2.

ASE-2010-HilliardMMP #architecture #framework #megamodelling

Realizing architecture frameworks through megamodelling techniques (RH, IM, HM, PP), pp. 305–308.

ICGT-2010-Jiresch #interactive

Realizing Impure Functions in Interaction Nets (EJ), pp. 394–396.

ICEIS-ISAS-2010-DohringKGZ #architecture #challenge #convergence #workflow

The Convergence of Workflows, Business Rules and Complex Events — Defining a Reference Architecture and Approaching Realization Challenges (MD, LK, EG, BZ), pp. 338–343.

PPDP-2010-SnowBN #approach #logic programming #metaprogramming

A meta-programming approach to realizing dependently typed logic programming (ZS, DB, GN), pp. 187–198.

RE-2010-Hirzalla #in the cloud #requirements

Realizing Business Agility Requirements through SOA and Cloud Computing (MH), pp. 379–380.

FSE-2010-HalleB #analysis #interactive #message passing #using

Realizability analysis for message-based interactions using shared-state projections (SH, TB), pp. 27–36.

ICSE-2010-Hill #execution #integration #modelling #named #testing

CUTS: a system execution modeling tool for realizing continuous system integration testing (JHH), pp. 309–310.

ICLP-2010-Snow10 #λ-calculus

Realizing the Dependently Typed λ Calculus (ZS), pp. 294–299.

FoSSaCS-2009-BirkedalST #morphism #parametricity #polymorphism #recursion #semantics

Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types (LB, KS, JT), pp. 456–470.

FoSSaCS-2009-BolligGH #concurrent #recursion #source code

Realizability of Concurrent Recursive Programs (BB, MLG, PH), pp. 410–424.

IFM-2009-SalaunB #algebra #encoding #process #using

Realizability of Choreographies Using Process Algebra Encodings (GS, TB), pp. 167–182.

OCSC-2009-HeikeFT #communication #personalisation

Personalized and Deformed Avatars for Realizing Avatar-Mediated Real Person-to-Person Communication (MH, KF, TT), pp. 207–215.

EDOC-2009-RomeroJV #multi #specification

Realizing Correspondences in Multi-viewpoint Specifications (JRR, JIJ, AV), pp. 163–172.

ICEIS-HCI-2009-TaggB #how #information management #quantum #question

How Can a Quantum Improvement in Personal and Group Information Management be Realized? (RT, TB), pp. 136–141.

SEKE-2009-FarZYA #concept #documentation #learning #semantics #using

Realization of Semantic Search Using Concept Learning and Document Annotation Agents (BHF, CZ, Z(Y, MA), pp. 164–169.

SEKE-2009-YangCC #architecture #composition

Service Creation and Composition for Realization On Service-oriented Architecture (CLY, YKC, CPC), pp. 338–343.

TOOLS-EUROPE-2009-WimmerSBKK #framework #on the #self

On Realizing a Framework for Self-tuning Mappings (MW, MS, PB, HK, GK), pp. 1–16.

CAV-2009-FiliotJR #algorithm #ltl

An Antichain Algorithm for LTL Realizability (EF, NJ, JFR), pp. 263–277.

TLCA-2009-AschieriB #interactive

Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM1 (FA, SB), pp. 20–34.

TLCA-2009-Miquel

Relating Classical Realizability and Negative Translation for Existential Witness Extraction (AM), pp. 188–202.

WICSA-2008-Malek #architecture #aspect-oriented #effectiveness

Effective Realization of Software Architectural Styles with Aspects (SM), pp. 313–316.

DATE-2008-KoenigSB #algorithm #novel #recursion

A Novel Recursive Algorithm for Bit-Efficient Realization of Arbitrary Length Inverse Modified Cosine Transforms (RK, TS, JB), pp. 604–609.

DATE-2008-LiTM #analysis #grid #named #network #power management

ETBR: Extended Truncated Balanced Realization Method for On-Chip Power Grid Network Analysis (DL, SXDT, BM), pp. 432–437.

ESOP-2008-PetersenBNM #hoare #type system

A Realizability Model for Impredicative Hoare Type Theory (RLP, LB, AN, GM), pp. 337–352.

ICEIS-ISAS2-2008-FukudaY #design #developer #framework #internet

Camel Framework — A Framework for Realizing Complete Separation of Developer’s and Designer’s Work in Rich Internet Application (HF, YY), pp. 137–143.

ICEIS-ISAS2-2008-LeL #analysis #web

Realizing Web Application Vulnerability Analysis via AVDL (HTL, PKKL), pp. 259–265.

BX-2008-Vallecillo1 #multi #specification

Realizing Correspondences in Multi-viewpoint Specifications (AV), p. 33.

ECMDA-FA-2008-BelaundeF #development #mobile

Realizing an MDA and SOA Marriage for the Development of Mobile Services (MB, PF), pp. 393–405.

ECMDA-FA-2008-BercoviciFW #architecture #using

From Business Architecture to SOA Realization Using MDD (AB, FF, AJW), pp. 381–392.

CSL-2008-Berardid #calculus

A Calculus of Realizers for EM1 Arithmetic (Extended Abstract) (SB, Ud), pp. 215–229.

VMCAI-2008-CimattiRST

Diagnostic Information for Realizability (AC, MR, VS, AT), pp. 52–67.

VLDB-2007-Minock #towards

A STEP Towards Realizing Codd’s Vision of Rendezvous with the Casual User (MM), pp. 1358–1361.

DHM-2007-LiLY #assessment #design #synthesis

Design and Realization of Synthesis Assessment System for Cockpit Ergonomics (YL, KL, XY), pp. 915–922.

SEKE-2007-SadjadiT #dot-net

TRAP.NET: A Realization of Transparent Shaping in .NET (SMS, FT), pp. 19–24.

CSL-2007-Hoshino #linear

Linear Realizability (NH), pp. 420–434.

LICS-2007-Oliva #linear #logic

Modified Realizability Interpretation of Classical Linear Logic (PO), pp. 431–442.

ICGT-2006-ButtnerG #graph transformation #sequence

Realizing Graph Transformations by Pre- and Postconditions and Command Sequences (FB, MG), pp. 398–413.

ICEIS-ISAS-2006-ZdravkovicH #flexibility #process #using

Flexible Realization of Business Processes Using Existing Services (JZ, MH), pp. 165–172.

SPLC-2006-GurpS #grid #variability

Service Grid Variability Realization (JvG, JS), pp. 85–94.

DATE-2005-AmatoCMP #precise

Realization of a Virtual Lambda Sensor on a Fixed Precision System (PA, NC, MDM, FP), pp. 192–197.

SEKE-2005-FuDH #architecture #automation #design

A Methodology of Automated Realization of a Software Architecture Design (YF, ZD, XH), pp. 412–417.

MoDELS-2005-HafnerB #modelling #security #uml #workflow

Realizing Model Driven Security for Inter-organizational Workflows with WS-CDL and UML 2.0 (MH, RB), pp. 39–53.

MoDELS-2005-HafnerB #modelling #security #uml #workflow

Realizing Model Driven Security for Inter-organizational Workflows with WS-CDL and UML 2.0 (MH, RB), pp. 39–53.

SAC-2005-AleksyKS #concept #corba

Realizing the leasing concept in CORBA-based applications (MA, AK, MS), pp. 706–712.

SPLC-2005-ErikssonBB #approach #case study #domain model #modelling

The PLUSS Approach — Domain Modeling with Features, Use Cases and Use Case Realizations (ME, JB, KB), pp. 33–44.

DATE-v2-2004-JiangC04a #reduction

Realizable Reduction for Electromagnetically Coupled RLMC Interconnects (RJ, CCPC), pp. 1400–1401.

DAC-2003-AminCI

Realizable RLCK circuit crunching (CSA, MHC, YII), pp. 226–231.

DAC-2003-LauP #algorithm #design #using

Fractional-N frequency synthesizer design at the transfer function level using a direct closed loop realization algorithm (CYL, MHP), pp. 526–531.

DAC-2003-QinC #reduction #using

Realizable parasitic reduction using generalized Y-Delta transformation (ZQ, CKC), pp. 220–225.

ICEIS-v3-2003-YeZ #design #information management

Design and Realization of Power Plant Supervisory Information System (Sis) Based on Infi 90 (ZY, GZ), pp. 503–510.

TestCom-2003-SchieferdeckerV #distributed

Realizing Distributed TTCN-3 Test Systems with TCI (IS, TVG), pp. 95–109.

DATE-2002-CarmonaJDER #design #programmable

Bio-Inspired Analog VLSI Design Realizes Programmable Complex Spatio-Temporal Dynamics on a Single Chip (RCG, FJG, RDC, SEM, ÁRV), pp. 362–366.

ICALP-2002-BonichonSM #theorem

Wagner’s Theorem on Realizers (NB, BLS, MM), pp. 1043–1053.

ICALP-2002-GenestMSZ #infinity #model checking

Infinite-State High-Level MSCs: Model-Checking and Realizability (BG, AM, HS, MZ), pp. 657–668.

ICPR-v1-2002-KimuraW #2d #detection #invariant

An Extension of the Generalized Hough Transform to Realize Affine-Invariant Two-dimensional (2D) Shape Detection (AK, TW), pp. 65–69.

CSL-2002-ChernovSSV #logic

Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle (AVC, DPS, EZS, NKV), pp. 74–88.

LICS-2002-HylandS #game studies #graph

Games on Graphs and Sequentially Realizable Functionals (MH, AS), pp. 257–264.

FASE-2001-ReusWH #calculus #design #hoare #java #modelling #ocl #verification

A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models (BR, MW, RH), pp. 300–317.

ICALP-2001-AlurEY #graph #verification

Realizability and Verification of MSC Graphs (RA, KE, MY), pp. 797–808.

CHI-2001-MillettFF #design #online #towards #web

Cookies and web browser design: toward realizing informed consent online (LIM, BF, EWF), pp. 46–52.

SAC-2001-NakanoHSN #effectiveness #hypermedia #protocol #streaming #web

Extending hypertext streaming protocol to realize effective web page transmission via a chaching proxy (TN, KH, SS, SN), pp. 440–445.

SAC-2001-OkadaTY #collaboration #distributed #education

Distributed virtual environment realizing collaborative environment education (MO, HT, TY), pp. 83–88.

CSL-2001-RobinsonR

An Abstract Look at Realizability (ER, GR), pp. 173–187.

DAC-2000-KashyapK

A realizable driving point model for on-chip interconnect with inductance (CVK, BK), pp. 190–195.

FASE-2000-AnlauffKPS #component #composition #domain-specific language #using

Using Domain-Specific Languages for the Realization of Component Composition (MA, PWK, AP, AS), pp. 112–126.

EDOC-2000-SudaTHN #distributed #scalability

New Control Methods for the Realization of an Ultra-Large-Scale Cooperative Distributed System (SS, HT, AH, KN), pp. 13–20.

SAC-2000-BojicV #case study #reverse engineering #uml

Reverse Engineering of Use Case Realizations in UML (DB, DMV), pp. 741–747.

LICS-2000-Birkedal

A General Notion of Realizability (LB), pp. 7–17.

HCI-CCAD-1999-OhyaOUIS #communication #image #towards

Towards the realization of non-verbal communication — computer vision based technologies for analyzing human images (JO, TO, AU, SI, TS), pp. 172–176.

HCI-CCAD-1999-OzawaAFSY #adaptation #case study #education #implementation #process #realtime

An experimental study on implementing real-time estimator of human cognitive process into eye-sensing head mounted display for realizing adaptive CAI for teaching plant diagnosis knowledge (TO, YA, SF, HS, HY), pp. 1197–1200.

ICEIS-1999-MarcosBGTF

Realization of Exposition-Like Events in Cyber-Space (AM, JB, LG, ET, RF), pp. 682–689.

UML-1999-TortBHW #constraints #interface #ocl

Correct Realization of Interface Constraints with OCL (FT, MB, RH, MW), pp. 399–415.

TOOLS-EUROPE-1999-Korson #architecture #component #framework #using

Using Components, Patterns and Frameworks to Realize Architecture (TDK), p. 415.

DAC-1998-WittenburgHKOBLKP #image #parallel #performance #programmable

Realization of a Programmable Parallel DSP for High Performance Image Processing Applications (JPW, WH, JK, MO, MB, HL, HK, PP), pp. 56–61.

ICPR-1998-TominagaKMK #detection #performance #using

Realization of an efficient line detection by askant glance camera vision system using extended Hough transform (MT, KK, KM, HK), pp. 225–228.

SAC-1998-JoLS #concurrent #object-oriented #programming

A realization of a concurrent object-oriented programming (CHJ, CHL, JGS), pp. 558–563.

LICS-1998-Tatsuta #synthesis

Realizability for Constructive Theory of Functions and Classes and its Application to Program Synthesis (MT), pp. 358–367.

ITiCSE-1997-ConinxDRF #design #education #interactive #multi

Design and realization of an interactive multimedia server in education (KC, BD, FVR, EF), pp. 65–70.

ALP-1997-CodishT #analysis #constraints #logic programming #semantics #source code #termination #using

A Semantic Basis for Termination Analysis of Logic Programs and Its Realization Using Symbolic Norm Constraints (MC, CT), pp. 31–45.

HPDC-1996-OguchiO #case study #distributed #network

A Study of Caching Proxy Mechanisms Realized on Wide Area Distributed Networks (MO, KO), pp. 443–449.

ICDAR-v2-1995-GuoDZGW

Realization of a high-performance bilingual Chinese-English OCR system (HG, XD, ZZ, FG, YW), pp. 978–981.

CAV-1995-Vardi #approach #synthesis

An Automata-Theoretic Approach to Fair Realizability and Synthesis (MYV), pp. 267–278.

TLCA-1995-BerardiBC #axiom

A realization of the negative interpretation of the Axiom of Choice (SB, MB, TC), pp. 47–62.

ALP-1994-WernerBK #how

How to Realize LSE Narrowing (AW, AB, SK), pp. 59–76.

ICSE-1994-Ben-ShaulK #distributed #modelling #paradigm #process

A Paradigm for Decentralized Process Modeling and Its Realization in the Oz Environment (IBS, GEK), pp. 179–188.

CAV-1994-AnuchitanukulM #synthesis

Realizability and Synthesis of Reactive Modules (AA, ZM), pp. 156–168.

TOOLS-USA-1993-BaudoinH #industrial #lifecycle #perspective

Realizing the Object Life Cycle: An Industry View (CB, GH), p. 533.

RTA-1993-Gallier #proving

Proving Properties of Typed λ Terms: Realizability, Covers, and Sheaves (Abstract) (JHG), p. 136.

TLCA-1993-HylandO #normalisation #proving

Modified Realizability Toposes and Strong Normalization Proofs (JMEH, CHLO), pp. 179–194.

SIGMOD-1992-KaferS

Realizing a Temporal Complex-Object Data Model (WK, HS), pp. 266–275.

CHI-1992-GaverMMLDCB #video

Realizing a Video Environment: EuroPARC’s RAVE System (WWG, TPM, AM, LL, PD, KC, WB), pp. 27–35.

ICALP-1989-AbadiLW #specification

Realizable and Unrealizable Specifications of Reactive Systems (MA, LL, PW), pp. 1–17.

HCI-CE-1987-Balzert #adaptation #architecture #human-computer #interface

A Blackboard Architecture to Realize Adaptive Human-Computer Interfaces and Application Systems (HB), pp. 89–96.

HCI-CE-1987-YoshikawaMNUW #flexibility #interface #simulation

Realization of Flexible User-Interface System for Module-Based Simulation System of Nuclear Power Plant (HY, NM, NN, NU, JW), pp. 249–256.

DAC-1984-WieclawskiP #compilation #layout #network #optimisation

Optimization of negative gate networks realized in weinberger-LIKF layout in a boolean level silicon compiler (AW, MAP), pp. 703–704.

DAC-1983-CohoonS #heuristic #problem

Heuristics for the Circuit Realization Problem (JC, SS), pp. 560–566.

POPL-1983-Pratt #data flow #design #paradigm #programming

Five Paradigm Shifts in Language Design and their Realization in Viron, a Dataflow Programming Environment (VRP), pp. 1–9.

ICALP-1982-GoguenM #implementation #persistent

Universal Realization, Persistent Interconnection and Implementation of Abstract Modules (JAG, JM), pp. 265–281.

ICALP-1981-PnueliZ #equation #specification

Realizing an Equational Specification (AP, RZ), pp. 459–478.

STOC-1976-Pippenger

The Realization of Monotone Boolean Functions (Preliminary Version) (NP), pp. 204–210.

ICALP-1972-Kalman #commutative #linear

Realization Theory of Linear Systems over a Commutative Ring (REK), pp. 61–65.