## Stem sequenti$ (all stems)

### 481 papers:

- CASE-2015-TheorinB #implementation #symmetry
- Implementation of an asymmetric relay autotuner in a sequential control language (AT, JB), pp. 874–879.
- DAC-2015-DaiKB #equivalence
- Sequential equivalence checking of clock-gated circuits (YYD, KYK, RKB), p. 6.
- DATE-2015-LiuHDCPKKTR
- Clock domain crossing aware sequential clock gating (JL, MSH, KTD, JYC, JP, MK, MK, NT, AR), pp. 1–6.
- DATE-2015-SunKPE #algebra #geometry #using #verification
- Formal verification of sequential Galois field arithmetic circuits using algebraic geometry (XS, PK, TP, FE), pp. 1623–1628.
- ESOP-2015-SieczkowskiSBP #consistency #logic
- A Separation Logic for Fictional Sequential Consistency (FS, KS, LB, JPP), pp. 736–761.
- TACAS-2015-Nguyen0TP #bound #c #contest #lazy evaluation #source code
- Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches — (Competition Contribution) (TLN, BF, SLT, GP), pp. 461–463.
- TACAS-2015-TomascoI0TP #contest #memory management
- MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings — (Competition Contribution) (ET, OI, BF, SLT, GP), pp. 436–438.
- DLT-2015-JeckerF #multi #word
- Multi-sequential Word Relations (IJ, EF), pp. 288–299.
- ICALP-v2-2015-JagadeesanR #consistency #specification
- From Sequential Specifications to Eventual Consistency (RJ, JR), pp. 247–259.
- FM-2015-AlbertACGGMPR #analysis #concurrent #distributed #source code
- Resource Analysis: From Sequential to Concurrent and Distributed Programs (EA, PA, JC, SG, MGZ, EMM, GP, GRD), pp. 3–17.
- HIMI-IKC-2015-WangN #analysis #identification #matrix
- Dot Matrix Analysis of Plant Operation Data for Identifying Sequential Alarms Triggered by Single Root Cause (ZW, MN), pp. 152–158.
- ICML-2015-DasBB #modelling #order #parametricity
- Ordered Stick-Breaking Prior for Sequential MCMC Inference of Bayesian Nonparametric Models (MKD, TB, CB), pp. 550–559.
- ICML-2015-NaessethLS #monte carlo
- Nested Sequential Monte Carlo Methods (CAN, FL, TBS), pp. 1292–1301.
- KDD-2015-Yi0YLW #algorithm #clustering #constraints #performance
- An Efficient Semi-Supervised Clustering Algorithm with Sequential Constraints (JY, LZ, TY, WL, JW), pp. 1405–1414.
- MLDM-2015-ZidaFWLT #mining #performance
- Efficient Mining of High-Utility Sequential Rules (SZ, PFV, CWW, JCWL, VST), pp. 157–171.
- SIGIR-2015-Carterette #effectiveness #random #testing
- The Best Published Result is Random: Sequential Testing and its Effect on Reported Effectiveness (BC), pp. 747–750.
- SIGIR-2015-KharitonovVMSO #online #testing
- Sequential Testing for Early Stopping of Online Experiments (EK, AV, CM, PS, IO), pp. 473–482.
- SIGIR-2015-LiDDCZB #behaviour #markov #process #query
- Analyzing User’s Sequential Behavior in Query Auto-Completion via Markov Processes (LL, HD, AD, YC, HZ, RABY), pp. 123–132.
- SIGIR-2015-WangLWZNM #behaviour #modelling
- Incorporating Non-sequential Behavior into Click Models (CW, YL, MW, KZ, JYN, SM), pp. 283–292.
- SIGIR-2015-ZhiltsovKN #ad hoc #dependence #retrieval #web
- Fielded Sequential Dependence Model for Ad-Hoc Entity Retrieval in the Web of Data (NZ, AK, FN), pp. 253–262.
- SAC-2015-AmadiniGM #named
- SUNNY-CP: a sequential CP portfolio solver (RA, MG, JM), pp. 1861–1867.
- SAC-2015-BoitoKND #performance #profiling #towards
- Towards fast profiling of storage devices regarding access sequentiality (FZB, RK, POAN, YD), pp. 2015–2020.
- CAV-2015-ManskyGZ #axiom #memory management #modelling #specification
- An Axiomatic Specification for Sequential Memory Models (WM, DG, SZ), pp. 413–428.
- TAP-2015-GenestierGP #array #deduction #generative #verification
- Sequential Generation of Structured Arrays and Its Deductive Verification (RG, AG, GP), pp. 109–128.
- DAC-2014-RudraDNH #case study #design #logic
- Designing Stealthy Trojans with Sequential Logic: A Stream Cipher Case Study (MRR, NAD, VN, DHKH), p. 4.
- DATE-2014-RanjanRVRR #approximate #named #synthesis
- ASLAN: Synthesis of approximate sequential circuits (AR, AR, SV, KR, AR), pp. 1–6.
- VLDB-2014-ZhangHSLP #fine-grained #mining #named #semantics
- Splitter: Mining Fine-Grained Sequential Patterns in Semantic Trajectories (CZ, JH, LS, JL, TFLP), pp. 769–780.
- ESOP-2014-AguadoMHF #concurrent #programming
- Grounding Synchronous Deterministic Concurrency in Sequential Programming (JA, MM, RvH, IF), pp. 229–248.
- TACAS-2014-CaballeroMRT #debugging #declarative #erlang #named #source code
- EDD: A Declarative Debugger for Sequential Erlang Programs (RC, EMM, AR, ST), pp. 581–586.
- TACAS-2014-InversoT0TP #c #contest #lazy evaluation #named
- Lazy-CSeq: A Lazy Sequentialization Tool for C — (Competition Contribution) (OI, ET, BF, SLT, GP), pp. 398–401.
- TACAS-2014-LoweMW #analysis #contest
- CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses — (Competition Contribution) (SL, MUM, PW), pp. 392–394.
- TACAS-2014-TomascoI0TP #c #contest #memory management #named #source code
- MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings — (Competition Contribution) (ET, OI, BF, SLT, GP), pp. 402–404.
- PLDI-2014-HanxledenDMSMAMO #named #safety
- SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts (RvH, BD, CM, SS, MM, JA, SM, OO), p. 39.
- LATA-2014-LaurenceLNST #learning #transducer
- Learning Sequential Tree-to-Word Transducers (GL, AL, JN, SS, MT), pp. 490–502.
- CHI-2014-AndreKK #collaboration #distributed
- Effects of simultaneous and sequential work structures on distributed collaborative interdependent tasks (PA, REK, AK), pp. 139–148.
- CHI-2014-ChristensenB #named
- Documentscape: intertextuality, sequentiality, & autonomy at work (LRC, PB), pp. 2451–2460.
- CIKM-2014-WalkSS #case study #collaboration
- Sequential Action Patterns in Collaborative Ontology-Engineering Projects: A Case-Study in the Biomedical Domain (SW, PS, MS), pp. 1349–1358.
- ICML-c2-2014-BartunovV #distance #process
- Variational Inference for Sequential Distance Dependent Chinese Restaurant Process (SB, DV), pp. 1404–1412.
- ICML-c2-2014-JunB #memory management #monte carlo #performance
- Memory (and Time) Efficient Sequential Monte Carlo (SHJ, ABC), pp. 514–522.
- ICPR-2014-YamazakiHF #visual notation
- Sensing Visual Attention by Sequential Patterns (YY, HH, KF), pp. 483–488.
- KDD-2014-LiuZXJ0 #categorisation #visualisation
- Temporal skeletonization on sequential data: patterns, categorization, and visualization (CL, KZ, HX, GJ, QY), pp. 1336–1345.
- MLDM-2014-WangLK #concurrent #data mining #mining
- Applications of Concurrent Sequential Patterns in Protein Data Mining (CW, JL, MK), pp. 243–257.
- SAC-2014-HuWZ #documentation #internet #topic
- The discovery of user related rare sequential patterns of topics in the internet document stream (ZH, HW, JZ), pp. 137–138.
- FSE-2014-SunZLZWZK #query #re-engineering
- Querying sequential software engineering data (CS, HZ, JGL, HZ, QW, DZ, SCK), pp. 700–710.
- ASPLOS-2014-ZhaoWS #finite #state machine
- Challenging the “embarrassingly sequential”: parallelizing finite state machine-based computations through principled speculation (ZZ, BW, XS), pp. 543–558.
- CAV-2014-InversoT0TP #bound #c #concurrent #lazy evaluation #model checking #multi #source code #thread
- Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization (OI, ET, BF, SLT, GP), pp. 585–602.
- LICS-CSL-2014-RouxP #game studies #infinity
- Infinite sequential games with real-valued payoffs (SLR, AP), p. 10.
- ASE-2013-0002IP #c #concurrent #named #preprocessor #tool support #verification
- CSeq: A concurrency pre-processor for sequential C verification tools (BF, OI, GP), pp. 710–713.
- DATE-2013-HanxledenMADFMMO #concurrent
- Sequentially constructive concurrency: a conservative extension of the synchronous model of computation (RvH, MM, JA, BD, IF, CM, SM, OO), pp. 581–586.
- DATE-2013-LiuLHCLL #clustering #effectiveness #linear #network #programming #prototype #statistics
- Effective power network prototyping via statistical-based clustering and sequential linear programming (SYSL, CJL, CCH, HMC, CTL, CHL), pp. 1701–1706.
- DATE-2013-MishchenkoEBCCS
- A semi-canonical form for sequential AIGs (AM, NE, RKB, MLC, PC, NS), pp. 797–802.
- ESOP-2013-BouajjaniEEH #concurrent #source code #specification #verification
- Verifying Concurrent Programs against Sequential Specifications (AB, ME, CE, JH), pp. 290–309.
- TACAS-2013-0002IP #c #contest #named
- CSeq: A Sequentialization Tool for C — (Competition Contribution) (BF, OI, GP), pp. 616–618.
- TACAS-2013-Wendler #analysis #contest
- CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis — (Competition Contribution) (PW), pp. 613–615.
- CSMR-2013-Molitorisz #process #refactoring #source code
- Pattern-Based Refactoring Process of Sequential Source Code (KM), pp. 357–360.
- LATA-2013-BalaK #ambiguity #automaton
- Unambiguous Automata Denoting Finitely Sequential Functions (SB, AK), pp. 104–115.
- HIMI-LCCB-2013-KometaniTFA #education #feedback #student #using #video
- Video Feedback System for Teaching Improvement Using Students’ Sequential and Overall Teaching Evaluations (YK, TT, TF, TA), pp. 79–88.
- CIKM-2013-BonomiX #algorithm #difference #mining #privacy
- A two-phase algorithm for mining sequential patterns with differential privacy (LB, LX), pp. 269–278.
- ICML-c2-2013-WenKEB
- Sequential Bayesian Search (ZW, BK, BE, SB), pp. 226–234.
- SIGIR-2013-WebberBLO #classification #effectiveness #evaluation #testing
- Sequential testing in classifier evaluation yields biased estimates of effectiveness (WW, MB, DDL, DWO), pp. 933–936.
- POPL-2013-Tate #semantics
- The sequential semantics of producer effect systems (RT), pp. 15–26.
- SAC-2013-Fournier-VigerT #mining #named
- TNS: mining top-k non-redundant sequential rules (PFV, VST), pp. 164–166.
- ICSE-2013-PradelG #automation #concurrent #testing
- Automatic testing of sequential and concurrent substitutability (MP, TRG), pp. 282–291.
- ASPLOS-2013-QianTSQ #consistency #detection #named #precise #scalability
- Volition: scalable and precise sequential consistency violation detection (XQ, JT, BS, DQ), pp. 535–548.
- ICLP-J-2013-ArbelaezTC #parallel #predict #runtime #satisfiability #using
- Using sequential runtime distributions for the parallel speedup prediction of SAT local search (AA, CT, PC), pp. 625–639.
- TAP-2013-CaballeroMRT #debugging #declarative #erlang #source code
- A Declarative Debugger for Sequential Erlang Programs (RC, EMM, AR, ST), pp. 96–114.
- TLCA-2013-BerardiT #backtracking #game studies #logic #semantics #subclass
- Games with Sequential Backtracking and Complete Game Semantics for Subclassical Logics (SB, MT), pp. 61–76.
- VMCAI-2013-ChakiGKS #composition #source code
- Compositional Sequentialization of Periodic Programs (SC, AG, SK, OS), pp. 536–554.
- ASE-2012-SongT #model checking #named #source code
- PuMoC: a CTL model-checker for sequential programs (FS, TT), pp. 346–349.
- DATE-2012-VyagrheswaruduDR #framework #interactive #named #optimisation
- PowerAdviser: An RTL power platform for interactive sequential optimizations (NV, SD, AR), pp. 550–553.
- FASE-2012-SilvaTT #dependence #erlang #graph
- System Dependence Graphs in Sequential Erlang (JS, ST, CT), pp. 486–500.
- GRAPHITE-2012-Cormie-Bowins #comparison #gpu #implementation #reachability
- A Comparison of Sequential and GPU Implementations of Iterative Methods to Compute Reachability Probabilities (ECB), pp. 20–34.
- CIKM-2012-YuanW #correlation
- Sequential selection of correlated ads by POMDPs (SY, JW), pp. 515–524.
- ICML-2012-GuL #parametricity
- Sequential Nonparametric Regression (HG, JDL), p. 54.
- KDD-2012-YinZC #algorithm #mining #named #performance
- USpan: an efficient algorithm for mining high utility sequential patterns (JY, ZZ, LC), pp. 660–668.
- MLDM-2012-GlodekSP #detection #process #recognition
- Detecting Actions by Integrating Sequential Symbolic and Sub-symbolic Information in Human Activity Recognition (MG, FS, GP), pp. 394–404.
- RecSys-2012-HaririMB #music #recommendation #topic
- Context-aware music recommendation based on latenttopic sequential patterns (NH, BM, RDB), pp. 131–138.
- ASPLOS-2012-LinNGR #consistency #performance
- Efficient sequential consistency via conflict ordering (CL, VN, RG, BR), pp. 273–286.
- CGO-2012-ZouR #detection #parallel #source code
- Scan detection and parallelization in “inherently sequential” nested loop programs (YZ, SVR), pp. 74–83.
- PPoPP-2012-BurnimENS #correctness #named #nondeterminism #parallel #specification
- NDetermin: inferring nondeterministic sequential specifications for parallelism correctness (JB, TE, GCN, KS), pp. 329–330.
- PPoPP-2012-KamilCBCGHMF #domain-specific language #effectiveness #embedded #parallel #performance
- Portable parallel performance from sequential, productive, embedded domain-specific languages (SK, DC, SB, HC, EG, JH, JM, AF), pp. 303–304.
- CASE-2011-FeiMA #automaton #finite #modelling #resource management #using
- Modeling sequential resource allocation systems using Extended Finite Automata (ZF, SM, KÅ), pp. 444–449.
- CASE-2011-NazeemR #classification #concurrent #design #policy #resource management
- Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theory (AN, SAR), pp. 405–412.
- DAC-2011-JiangRP
- Synchronous sequential computation with molecular reactions (HJ, MDR, KKP), pp. 836–841.
- CSEET-2011-IyerMJ #incremental #problem
- Incremental sequential problem based training model — Institute corporate readiness (SI, SM, AMJ), pp. 507–511.
- TACAS-2011-BurnimSS #consistency #memory management #modelling #monitoring
- Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models (JB, KS, CS), pp. 11–25.
- SCAM-J-2009-Giffhorn11 #concurrent #source code
- Advanced chopping of sequential and concurrent programs (DG), pp. 239–294.
- PLDI-2011-BurnimENS #correctness #named #nondeterminism #parallel #runtime #specification
- NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness (JB, TE, GCN, KS), pp. 401–414.
- SAS-2011-BouajjaniEP #concurrent #on the #source code
- On Sequentializing Concurrent Programs (AB, ME, GP), pp. 129–145.
- LATA-2011-LaurenceLNST #normalisation #top-down #transducer
- Normalization of Sequential Top-Down Tree-to-Word Transducers (GL, AL, JN, SS, MT), pp. 354–365.
- CSCW-2011-MooreCK #interactive #internet #query
- Three sequential positions of query repair in interactions with internet search engines (RJM, EFC, RGPK), pp. 415–424.
- CIKM-2011-DongZCZZLWO #database #mining #named #performance
- e-NSP: efficient negative sequential pattern mining based on identified positive patterns without database rescanning (XD, ZZ, LC, YZ, CZ, JL, WW, YO), pp. 825–830.
- ECIR-2011-Dulac-ArnoldDG #approach #classification
- Text Classification: A Sequential Reading Approach (GDA, LD, PG), pp. 411–423.
- KDD-2011-Gkoulalas-DivanisL
- Revisiting sequential pattern hiding to enhance utility (AGD, GL), pp. 1316–1324.
- KDD-2011-RaissiP #bound #towards
- Towards bounding sequential patterns (CR, JP), pp. 1379–1387.
- KEOD-2011-Yamasaki #distributed
- Sequential Knowledge Structure in Distributed System with Awareness (SY), pp. 293–298.
- OOPSLA-2011-CledatKP #programming
- Efficiently speeding up sequential computation through the n-way programming model (RC, TK, SP), pp. 537–554.
- OOPSLA-2011-Sutherland
- The sequential prison (IS), pp. 1–2.
- SAC-2011-Fournier-VigerNT #mining #named #sequence
- RuleGrowth: mining sequential rules common to several sequences by pattern-growth (PFV, RN, VSMT), pp. 956–961.
- ASPLOS-2011-VeeraraghavanLWOCFN #named
- DoublePlay: parallelizing sequential logging and replay (KV, DL, BW, JO, PMC, JF, SN), pp. 15–26.
- ASPLOS-2011-ZhangLOSJLR #concurrent #debugging #detection #fault #named
- ConSeq: detecting concurrency bugs through sequential errors (WZ, JL, RO, JS, GJ, SL, TWR), pp. 251–264.
- CAV-2011-Lahiri #analysis #composition #smt
- SMT-Based Modular Analysis of Sequential Systems Code (SKL), pp. 21–27.
- DATE-2010-IqbalSH10a #estimation #execution #graph #monte carlo #named
- DAGS: Distribution agnostic sequential Monte Carlo scheme for task execution time estimation (NI, MAS, JH), pp. 1645–1648.
- DATE-2010-LongM10a #dependence #scheduling
- Inversed Temperature Dependence aware clock skew scheduling for sequential circuits (JL, SOM), pp. 1657–1660.
- DATE-2010-WuM #scheduling
- Clock skew scheduling for soft-error-tolerant sequential circuits (KCW, DM), pp. 717–722.
- DRR-2010-ZhangZLT #learning #recognition
- A stacked sequential learning method for investigator name recognition from web-based medical articles (XZ, JZ, DXL, GRT), pp. 1–10.
- ESOP-2010-DeshmukhRRV #concurrent #logic #proving
- Logical Concurrency Control from Sequential Proofs (JVD, GR, VPR, KV), pp. 226–245.
- ICSM-2010-RountevVYS #comprehension #dependence #java #source code
- Understanding parallelism-inhibiting dependences in sequential Java programs (AR, KVV, DY, PS), pp. 1–9.
- STOC-2010-ChawlaHMS #design #multi
- Multi-parameter mechanism design and sequential posted pricing (SC, JDH, DLM, BS), pp. 311–320.
- CIAA-2010-CimattiMRT #automaton #nondeterminism #regular expression
- From Sequential Extended Regular Expressions to NFA with Symbolic Labels (AC, SM, MR, ST), pp. 87–94.
- IFM-2010-Bostrom #modelling #source code
- Creating Sequential Programs from Event-B Models (PB), pp. 74–88.
- CIKM-2010-JensenS #classification
- Exploiting sequential relationships for familial classification (LSJ, JGS), pp. 1901–1904.
- ICML-2010-WangKC #learning
- Sequential Projection Learning for Hashing with Compact Codes (JW, SK, SFC), pp. 1127–1134.
- ICPR-2010-CaoZL #markov #random #using
- Human Body Parts Tracking Using Sequential Markov Random Fields (XQC, JZ, ZQL), pp. 1759–1762.
- ICPR-2010-Kita #modelling
- Background Modeling by Combining Joint Intensity Histogram with Time-sequential Data (YK), pp. 991–994.
- ICPR-2010-PaivaJT #analysis #image #using
- Using Sequential Context for Image Analysis (ARCP, EJ, TT), pp. 2800–2803.
- KDIR-2010-ZakourSMM #constraints
- Time Constraints Extension on Frequent Sequential Patterns (ABZ, MS, SM, MM), pp. 281–287.
- KR-2010-SiddiqiH #roadmap
- New Advances in Sequential Diagnosis (SAS, JH).
- OOPSLA-2010-ShiPYLZCZ #concurrent #debugging #detection #invariant
- Do I use the wrong definition?: DeFuse: definition-use invariants for detecting concurrency and sequential bugs (YS, SP, ZY, SL, YZ, WC, WZ), pp. 160–174.
- OOPSLA-2010-SwaineTDFF #incremental #parallel #runtime
- Back to the futures: incremental parallelization of existing sequential runtime systems (JS, KT, PAD, RBF, MF), pp. 583–597.
- POPL-2010-AttiyaRR #verification
- Sequential verification of serializability (HA, GR, NR), pp. 31–42.
- CSL-2010-ChurchillL #logic
- A Logic of Sequentiality (MC, JL), pp. 215–229.
- DAC-2009-ChauhanGHMS #equivalence
- Non-cycle-accurate sequential equivalence checking (PC, DG, GH, AM, NS), pp. 460–465.
- DATE-2009-HolcombLS #analysis #design #fault
- Design as you see FIT: System-level soft error analysis of sequential circuits (DEH, WL, SAS), pp. 785–790.
- DATE-2009-KravetsM #logic #synthesis #using
- Sequential logic synthesis using symbolic bi-decomposition (VNK, AM), pp. 1458–1463.
- DATE-2009-YangSVBS #approximate #logic
- Sequential logic rectifications with approximate SPFDs (YSY, SS, AGV, RKB, DES), pp. 1698–1703.
- VLDB-2009-GolabKKSS #dependence
- Sequential Dependencies (LG, HJK, FK, AS, DS), pp. 574–585.
- SCAM-2009-LangeM #communication #csp #named #process #thread #towards
- thr2csp: Toward Transforming Threads into Communicating Sequential Processes (RCL, SM), pp. 3–12.
- PLDI-2009-MehraraHHM #hardware #low cost #memory management #transaction #using
- Parallelizing sequential applications on commodity hardware using a low-cost software transactional memory (MM, JH, PCH, SAM), pp. 166–176.
- ICEIS-AIDSS-2009-Jou #algorithm #hybrid #mining
- A Projection-based Hybrid Sequential Patterns Mining Algorithm (CJ), pp. 152–157.
- CIKM-2009-GwaderaC #mining #ranking #using
- Mining and ranking streams of news stories using cross-stream sequential patterns (RG, FC), pp. 1709–1712.
- ICML-2009-GarnettOR #predict
- Sequential Bayesian prediction in the presence of changepoints (RG, MAO, SJR), pp. 345–352.
- MLDM-2009-HasanG #adaptation #classification #modelling
- Sequential EM for Unsupervised Adaptive Gaussian Mixture Model Based Classifier (BASH, JQG), pp. 96–106.
- SAC-2009-LeoniGLM #adaptation #mobile #online #process
- On-line adaptation of sequential mobile processes running concurrently (MdL, GDG, YL, MM), pp. 1345–1352.
- SAC-2009-LimaH #approach #using
- Computing data cubes using exact sub-graph matching: the sequential MCG approach (JdCL, CMH), pp. 1541–1548.
- ICSE-2009-DigME #concurrent #java #library #refactoring
- Refactoring sequential Java code for concurrency via concurrent libraries (DD, JM, MDE), pp. 397–407.
- CGO-2009-DuanFWZY #c #c++ #concurrent #consistency #detection #source code
- Detecting and Eliminating Potential Violations of Sequential Consistency for Concurrent C/C++ Programs (YD, XF, LW, CZ, PCY), pp. 25–34.
- CAV-2009-TorreMP #bound #concurrent #reachability
- Reducing Context-Bounded Concurrent Reachability to Sequential Reachability (SLT, PM, GP), pp. 477–492.
- CSL-2009-Laird #nondeterminism
- Nondeterminism and Observable Sequentiality (JL), pp. 379–393.
- SAT-2009-ArgelichCLM #encoding #satisfiability
- Sequential Encodings from Max-CSP into Partial Max-SAT (JA, AC, IL, FM), pp. 161–166.
- DAC-2008-CaseKMB
- Merging nodes under sequential observability (MLC, VNK, AM, RKB), pp. 540–545.
- DAC-2008-HuSMH #multi #reduction
- FPGA area reduction by multi-output function based sequential resynthesis (YH, VS, RM, LH), pp. 24–29.
- DAC-2008-Moon #composition #optimisation #verification
- Compositional verification of retiming and sequential optimizations (IHM), pp. 131–136.
- DAC-2008-UrardMGC #equivalence
- Leveraging sequential equivalence checking to enable system-level to RTL flows (PU, AM, RG, NC), pp. 816–821.
- ICGT-2008-BonchiGH #independence #parallel
- Parallel and Sequential Independence for Borrowed Contexts (FB, FG, TH), pp. 226–241.
- ICGT-2008-Echahed #graph grammar #term rewriting
- Inductively Sequential Term-Graph Rewrite Systems (RE), pp. 84–98.
- CIKM-2008-KaghazianMS #scalability
- Scalable complex pattern search in sequential data (LK, DM, RS), pp. 1467–1468.
- ICPR-2008-MatsuiCM #automation #detection
- Bayesian sequential face detection with automatic re-initialization (AM, SC, TM), pp. 1–4.
- ICPR-2008-UchidaA #classification #recognition
- Early recognition of sequential patterns by classifier combination (SU, KA), pp. 1–4.
- ICPR-2008-WatanabeKI #3d #image #integration #re-engineering
- Integration of time-sequential range images for reconstruction of a high-resolution 3D shape (YW, TK, MI), pp. 1–4.
- KDD-2008-KeerthiSCHL #linear #multi #scalability
- A sequential dual method for large scale multi-class linear svms (SSK, SS, KWC, CJH, CJL), pp. 408–416.
- KR-2008-PiniRVW #nondeterminism
- Dealing with Incomplete Agents’ Preferences and an Uncertain Agenda in Group Decision Making via Sequential Majority Voting (MSP, FR, KBV, TW), pp. 571–578.
- SIGIR-2008-SerdyukovRH #dependence
- Exploiting sequential dependencies for expert finding (PS, HR, DH), pp. 795–796.
- HPCA-2008-ZhongMLM #parallel
- Uncovering hidden loop level parallelism in sequential applications (HZ, MM, SAL, SAM), pp. 290–301.
- CAV-2008-LalR #analysis #bound #concurrent
- Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis (AL, TWR), pp. 37–51.
- ASE-2007-ZaraketAK #program analysis
- Sequential circuits for program analysis (FAZ, AA, SK), pp. 114–123.
- CASE-2007-FalkmanLA #specification #using
- Specification of Production Systems using PPN and Sequential Operation Charts (PF, BL, KA), pp. 20–25.
- DAC-2007-BhatiaGTMM #equivalence #multi #performance #validation
- Leveraging Semi-Formal and Sequential Equivalence Techniques for Multimedia SOC Performance Validation (LB, JG, PT, RSM, SHM), pp. 69–74.
- DAC-2007-SeomunKS
- Skewed Flip-Flop Transformation for Minimizing Leakage in Sequential Circuits (JS, JK, YS), pp. 103–106.
- DAC-2007-WangYBVVLC #performance
- The Impact of NBTI on the Performance of Combinational and Sequential Circuits (WW, SY, SB, RV, SBKV, FL, YC), pp. 364–369.
- DATE-2007-ErdoganO #analysis #using
- An ADC-BiST scheme using sequential code analysis (ESE, SO), pp. 713–718.
- DATE-2007-Miskov-ZivanovM #analysis #fault
- Soft error rate analysis for sequential circuits (NMZ, DM), pp. 1436–1441.
- DATE-2007-MoonBP #approach #composition #equivalence
- A compositional approach to the combination of combinational and sequential equivalence checking of circuits without known reset states (IHM, PB, CP), pp. 1170–1175.
- DATE-2007-MuellerGS #design #polynomial #programming #trade-off #using
- Trade-off design of analog circuits using goal attainment and “Wave Front” sequential quadratic programming (DM, HEG, US), pp. 75–80.
- ECIR-2007-LiuYZQM #clustering #optimisation #performance #scalability
- Fast Large-Scale Spectral Clustering by Sequential Shrinkage Optimization (TYL, HYY, XZ, TQ, WYM), pp. 319–330.
- ICML-2007-NiCD #learning #multi #process
- Multi-task learning for sequential data via iHMMs and the nested Dirichlet process (KN, LC, DBD), pp. 689–696.
- MLDM-2007-AburtoW #hybrid #predict
- A Sequential Hybrid Forecasting System for Demand Prediction (LA, RW), pp. 518–532.
- MLDM-2007-Olvera-LopezTC #float #strict
- Restricted Sequential Floating Search Applied to Object Selection (JAOL, JFMT, JACO), pp. 694–702.
- POPL-2007-StovringL #induction
- A complete, co-inductive syntactic theory of sequential control and state (KS, SBL), pp. 161–172.
- SAC-2007-MuSZ
- Compact sequential aggregate signatures (YM, WS, HZ), pp. 249–253.
- ICSE-2007-ZaraketAK #analysis #relational
- Sequential Circuits for Relational Analysis (FAZ, AA, SK), pp. 13–22.
- DAC-2006-CongFHJZ #behaviour #communication
- Behavior and communication co-optimization for systems with sequential communication media (JC, YF, GH, WJ, ZZ), pp. 675–678.
- DAC-2006-GeorgelinK #design #equivalence #towards
- Towards a C++-based design methodology facilitating sequential equivalence checking (PG, VK), pp. 93–96.
- DAC-2006-GuthausSB #programming #using
- Clock buffer and wire sizing using sequential programming (MRG, DS, RBB), pp. 1041–1046.
- DAC-2006-WuH #bound #constraints #equivalence #mining
- Mining global constraints for improving bounded sequential equivalence checking (WW, MSH), pp. 743–748.
- DATE-2006-SovianiTE #composition #optimisation
- Optimizing sequential cycles through Shannon decomposition and retiming (CS, OT, SAE), pp. 1085–1090.
- IFL-2006-Almendros-JimenezV #automation
- Automatic Partial Inversion of Inductively Sequential Functions (JMAJ, GV), pp. 253–270.
- ICGT-2006-HolscherKK #semantics
- Autonomous Units and Their Semantics — The Sequential Case (KH, HJK, SK), pp. 245–259.
- ICEIS-AIDSS-2006-GollerHS #algorithm #data mining #mining
- Beneficial Sequential Combination of Data Mining Algorithms (MG, MH, MS), pp. 135–143.
- CIKM-2006-HuangTOC #mining #on the
- On progressive sequential pattern mining (JWH, CYT, JCO, MSC), pp. 850–851.
- CIKM-2006-KapoorPTT #database #distributed #mining #privacy
- Privacy preserving sequential pattern mining in distributed databases (VK, PP, FT, MT), pp. 758–767.
- ICML-2006-RoureM
- Sequential update of ADtrees (JR, AWM), pp. 769–776.
- ICML-2006-ShengL #algorithm #testing
- Feature value acquisition in testing: a sequential batch test algorithm (VSS, CXL), pp. 809–816.
- ICPR-v1-2006-HanXG #clustering #segmentation #video
- Video Foreground Segmentation Based on Sequential Feature Clustering (MH, WX, YG), pp. 492–496.
- ICPR-v2-2006-KimK06b #estimation #graph #modelling #monte carlo #multi #online
- Multi-modal Sequential Monte Carlo for On-Line Hierarchical Graph Structure Estimation in Model-based Scene Interpretation (SK, ISK), pp. 251–254.
- KDD-2006-WangF
- Anonymizing sequential releases (KW, BCMF), pp. 414–423.
- CSL-2006-ChadhaMS #probability #reasoning #source code
- Reasoning About States of Probabilistic Sequential Programs (RC, PM, AS), pp. 240–255.
- CSL-2006-GiamberardinoF #parallel #proving
- Jump from Parallel to Sequential Proofs: Multiplicatives (PDG, CF), pp. 319–333.
- DATE-2005-KumarTCJ #fault
- Implicit and Exact Path Delay Fault Grading in Sequential Circuits (MMVK, ST, SC, RJ), pp. 990–995.
- DATE-2005-LuIPWCC #performance #satisfiability
- An Efficient Sequential SAT Solver With Improved Search Strategies (FL, MKI, GP, LCW, KTC, KCC), pp. 1102–1107.
- DRR-2005-NamaneAGSMB #network #recognition
- Sequential neural network combination for degraded machine-printed character recognition (AN, MA, AG, EHS, PM, MB), pp. 101–110.
- ICDAR-2005-MonnierHSA #documentation
- Sequential Correction of Perspective Warp in Camera-based Documents (CM, SH, MS, VA), pp. 394–398.
- TACAS-2005-KellerSBS #c #debugging #model checking #named #source code
- FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs (CWK, DS, SB, SAS), pp. 563–569.
- DLT-J-2004-Freund05 #array #string
- P Systems working in the sequential mode on arrays and strings (RF), pp. 663–682.
- ICFP-2005-RamosSV #partial evaluation #performance #source code
- Fast narrowing-driven partial evaluation for inductively sequential programs (JGR, JS, GV), pp. 228–239.
- ICML-2005-PalettaFS #recognition #visual notation
- Q-learning of sequential attention for visual object recognition from informative local descriptors (LP, GF, CS), pp. 649–656.
- KDD-2005-CongHP #mining #parallel
- Parallel mining of closed sequential patterns (SC, JH, DAP), pp. 562–567.
- KDD-2005-PhanNHH #learning
- Improving discriminative sequential learning with rare--but--important associations (XHP, MLN, TBH, SH), pp. 304–313.
- KDD-2005-Scholz #mining
- Sampling-based sequential subgroup mining (MS), pp. 265–274.
- MLDM-2005-ShimizuM #anti #sequence
- Disjunctive Sequential Patterns on Single Data Sequence and Its Anti-monotonicity (KS, TM), pp. 376–383.
- SEKE-2005-LoYT #algorithm #mining #predict
- Weighted Binary Sequential Mining Algorithm with Application to the Next-Day Appearance Prediction (SL, JY, FCT), pp. 783–782.
- OOPSLA-2005-GregorL #algorithm #graph #parallel
- Lifting sequential graph algorithms for distributed-memory parallel computation (DG, AL), pp. 423–437.
- POPL-2005-NeubauerT #multi #program transformation #source code
- From sequential programs to multi-tier applications by program transformation (MN, PT), pp. 221–232.
- SAC-2005-Emir #compilation
- Compiling regular patterns to sequential machines (BE), pp. 1385–1389.
- PPoPP-2005-SuraFWMLP #compilation #consistency #java #performance #source code
- Compiler techniques for high performance sequentially consistent java programs (ZS, XF, CLW, SPM, JL, DAP), pp. 2–13.
- LICS-2005-EscardoK #programming language
- Operational Domain Theory and Topology of a Sequential Programming Language (MHE, WKH), pp. 427–436.
- DAC-2004-ZhangHC #analysis #pipes and filters #statistics
- Statistical timing analysis in sequential circuit for on-chip global interconnect pipelining (LZ, YH, CCPC), pp. 904–907.
- DATE-v1-2004-RaudvereSSJ #abstraction #polynomial #verification
- Polynomial Abstraction for Verification of Sequentially Implemented Combinational Circuits (TR, AKS, IS, AJ), pp. 690–691.
- DATE-v1-2004-ZhanS #optimisation #polynomial #programming #using
- Optimization of Integrated Spiral Inductors Using Sequential Quadratic Programming (YZ, SSS), pp. 622–629.
- DATE-v2-2004-RahimiBD #adaptation #optimisation
- Timing Correction and Optimization with Adaptive Delay Sequential Element (KR, SB, CD), p. 1416.
- ICSM-2004-Krinke04a #concurrent #slicing #source code
- Advanced Slicing of Sequential and Concurrent Programs (JK), pp. 464–468.
- PLDI-2004-DuLLYZN #compilation #framework #parallel #source code
- A cost-driven compilation framework for speculative parallelization of sequential programs (ZHD, CCL, XFL, CY, QZ, TFN), pp. 71–81.
- PLDI-2004-QadeerW #named
- KISS: keep it simple and sequential (SQ, DW), pp. 14–24.
- CIAA-2004-Maletti #theorem #transducer
- Myhill-Nerode Theorem for Sequential Transducers over Unique GCD-Monoids (AM), pp. 323–324.
- DLT-2004-Freund #array #string
- P Systems Working in the Sequential Mode on Arrays and Strings (RF), pp. 188–199.
- ICEIS-v1-2004-ChenY #database #fuzzy #multi #transaction
- Fuzzy Multiple-Level Sequential Patterns Discovery from Customer Transaction Databases (AC, HY), pp. 434–440.
- ICEIS-v2-2004-HamzaY #constraints #mining #regular expression #using
- Mining Sequential Patterns with Regular Expression Constraints Using Sequential Pattern Tree (MH, KM, MY), pp. 116–121.
- CIKM-2004-WangXY #biology #mining #scalability #sequence
- Scalable sequential pattern mining for biological sequences (KW, YX, JXY), pp. 178–187.
- ICML-2004-FernG #relational #reliability
- Relational sequential inference with reliable observations (AF, RG).
- ICML-2004-PeltonenSK #finite
- Sequential information bottleneck for finite data (JP, JS, SK).
- ICML-2004-RayP #algorithm
- Sequential skewing: an improved skewing algorithm (SR, DP).
- ICPR-v2-2004-NiR #pattern matching
- Pattern Matching by Sequential Subdivision of Transformation Space (MN, SER), pp. 145–148.
- ICPR-v3-2004-FanG #learning
- Hierarchical Object Indexing and Sequential Learning (XF, DG), pp. 65–68.
- KDD-2004-ChengYH #database #incremental #mining #named #scalability
- IncSpan: incremental mining of sequential patterns in large database (HC, XY, JH), pp. 527–532.
- ECOOP-2004-CaromelMT #monitoring
- Sequential Object Monitors (DC, LM, ÉT), pp. 316–340.
- CAV-2004-BinghamCHQZ #automation #bound #consistency #verification
- Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values (JDB, AC, AJH, SQ, ZZ), pp. 427–439.
- LICS-2004-Marcial-RomeroE #semantics
- Semantics of a Sequential Language for Exact Real-Number Computation (JRMR, MHE), pp. 426–435.
- DAC-2003-YehM
- Delay budgeting in sequential circuit with application on FPGA placement (CYY, MMS), pp. 202–207.
- DATE-2003-FreitasO #equation #estimation
- Implicit Resolution of the Chapman-Kolmogorov Equations for Sequential Circuits: An Application in Power Estimation (ATF, ALO), pp. 10764–10769.
- DATE-2003-IchiharaI #fault #generative #testing
- Test Generation for Acyclic Sequential Circuits with Single Stuck-at Fault Combinational ATPG (HI, TI), pp. 11180–11181.
- DATE-2003-SyalH #algorithm #fault #identification #low cost #novel
- A Novel, Low-Cost Algorithm for Sequentially Untestable Fault Identification (MS, MSH), pp. 10316–10321.
- ICDAR-2003-HaoLS03a #algorithm #classification #comparison #search-based #set
- Comparison of Genetic Algorithm and Sequential Search Methods for Classifier Subset Selection (HH, CLL, HS), pp. 765–769.
- FoSSaCS-2003-BournezCNM #parallel #polynomial
- Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time (OB, FC, PJdN, JYM), pp. 185–199.
- DLT-2003-KlimannLMP #ambiguity #automaton
- Deciding the Sequentiality of a Finitely Ambiguous Max-Plus Automaton (IK, SL, JM, CP), pp. 373–385.
- FME-2003-Abrial #development #pointer
- Event Based Sequential Program Development: Application to Constructing a Pointer Program (JRA), pp. 51–74.
- CIKM-2003-HaradaHAKOT
- Event analyzer: a tool for sequential data processing (LH, YH, NA, KK, TO, RT), pp. 172–174.
- ICML-2003-WuS #optimisation
- New í-Support Vector Machines and their Sequential Minimal Optimization (XW, RKS), pp. 824–831.
- MLDM-2003-AntunesO #constraints #mining
- Generalization of Pattern-Growth Methods for Sequential Pattern Mining with Gap Constraints (CA, ALO), pp. 239–251.
- MLDM-2003-LeleuRBE #dataset #mining #named
- GO-SPADE: Mining Sequential Patterns over Datasets with Consecutive Repetitions (ML, CR, JFB, GE), pp. 293–306.
- SEKE-2003-BaumgartenBH
- Tree-Growth based Sequential and Associative Pattern Discovery (MB, AGB, JGH), pp. 240–244.
- CSL-2003-Laird #named
- Bistability: An Extensional Characterization of Sequentiality (JL), pp. 372–383.
- LICS-2003-PitermanV #decidability #future of #stack
- Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems (NP, MYV), p. 381–?.
- DAC-2002-AbramoviciYR #low cost
- Low-cost sequential ATPG with clock-control DFT (MA, XY, EMR), pp. 243–248.
- DAC-2002-Higuchi #detection #multi #scalability
- An implication-based method to detect multi-cycle paths in large sequential circuits (HH), pp. 164–169.
- DAC-2002-ShengTH #effectiveness #safety #using
- Effective safety property checking using simulation-based sequential ATPG (SS, KT, MSH), pp. 813–818.
- SIGMOD-2002-YangWYH #mining
- Mining long sequential patterns in a noisy environment (JY, WW, PSY, JH), pp. 406–417.
- WCRE-2002-JrW #algorithm #image #parallel
- Exposing Data-Level Parallelism in Sequential Image Processing Algorithms (LBBJ, LMW), pp. 245–254.
- CIKM-2002-PeiHW #constraints #database #mining #scalability
- Mining sequential patterns with constraints in large databases (JP, JH, WW), pp. 18–25.
- ICPR-v2-2002-LiZ #algorithm #visual notation
- Visual Contour Tracking Based on Sequential Importance Sampling/Resampling Algorithm (PL, TZ), pp. 564–568.
- ICPR-v2-2002-XiaoAX #optimisation #set
- Pair-Wise Sequential Reduced Set for Optimization of Support Vector Machines (XX, HA, GX), pp. 860–863.
- KDD-2002-AyresFGY #mining #representation #using
- Sequential PAttern mining using a bitmap representation (JA, JF, JG, TY), pp. 429–435.
- KDD-2002-PednaultAZ #learning
- Sequential cost-sensitive decision making with reinforcement learning (EPDP, NA, BZ), pp. 259–268.
- SIGIR-2002-SlonimFT #classification #documentation #using
- Unsupervised document classification using sequential information maximization (NS, NF, NT), pp. 129–136.
- ICLP-2002-Bruscoli #logic #proving
- A Purely Logical Account of Sequentiality in Proof Search (PB), pp. 302–316.
- LICS-2002-HylandS #game studies #graph
- Games on Graphs and Sequentially Realizable Functionals (MH, AS), pp. 257–264.
- DATE-2001-FerrandiFSFF #behaviour #functional #generative #modelling #testing
- Functional test generation for behaviorally sequential models (FF, GF, DS, AF, FF), pp. 403–410.
- DATE-2001-GianiSHA #performance
- Efficient spectral techniques for sequential ATPG (AG, SS, MSH, VDA), pp. 204–208.
- DATE-2001-ZolfyMN #adaptation #concurrent #fault #simulation
- Adaptation of an event-driven simulation environment to sequentially propagated concurrent fault simulation (MZ, SM, ZN), p. 823.
- VLDB-2001-SadriZZA #data mining #mining #query
- A Sequential Pattern Query Language for Supporting Instant Data Mining for e-Services (RS, CZ, AMZ, JA), pp. 653–656.
- ICSM-2001-EveraarsAK #concurrent #coordination #source code #using
- Using Coordination to Restructure Sequential Source Code into a Concurrent Program (CTHE, FA, BK), p. 342–?.
- CIAA-2001-Gaal #finite #question #transducer
- Is this Finite-State Transducer Sequentiable? (TG), pp. 125–134.
- DLT-2001-SosikF #string
- String Rewriting Sequential P-Systems and Regulated Rewriting (PS, RF), pp. 379–388.
- ICALP-2001-Madhusudan #behaviour #branch #graph #reasoning #sequence
- Reasoning about Sequential and Branching Behaviours of Message Sequence Graphs (PM), pp. 809–820.
- CIKM-2001-PintoHPWCD #mining #multi
- Multi-Dimensional Sequential Pattern Mining (HP, JH, JP, KW, QC, UD), pp. 81–88.
- SAC-2001-CornoRS #architecture #effectiveness #evolution
- Evolving effective CA/CSTP: BIST architectures for sequential circuits (FC, MSR, GS), pp. 345–350.
- PPoPP-2001-LuCZ #distributed #memory management #replication #source code
- Contention elimination by replication of sequential sections in distributed shared memory programs (HL, ALC, WZ), pp. 53–61.
- CAV-2001-Arons #consistency #using #verification
- Using Timestamping and History Variables to Verify Sequential Consistency (TA), pp. 423–435.
- TLCA-2001-BergerHY #π-calculus
- Sequentiality and the π-Calculus (MB, KH, NY), pp. 29–45.
- DAC-2000-CabodiQS #optimisation #verification
- Optimizing sequential verification by retiming transformations (GC, SQ, FS), pp. 601–606.
- DAC-2000-Edwards #compilation
- Compiling Esterel into sequential code (SAE), pp. 322–327.
- DATE-2000-NicoliciA #clustering #multi #power management
- Scan Latch Partitioning into Multiple Scan Chains for Power Minimization in Full Scan Sequential Circuits (NN, BMAH), pp. 715–722.
- DATE-2000-PomeranzR #generative #sequence #testing
- Built-In Generation of Weighted Test Sequences for Synchronous Sequential Circuits (IP, SMR), pp. 298–304.
- FoSSaCS-2000-Pinto #automaton #concurrent #interactive
- Sequential and Concurrent Abstract Machines for Interaction Nets (JSP), pp. 267–282.
- CIAA-2000-Gaal #transducer
- Extended Sequentialization of Transducers (TG), pp. 333–334.
- CIAA-2000-Kempe00a #transducer
- Part-of-Speech Tagging with Two Sequential Transducers (AK), pp. 337–339.
- ICPR-v2-2000-BurrellP #algorithm #detection #learning #online #parametricity #probability #process
- Sequential Algorithms for Detecting Changes in Acting Stochastic Processes and On-Line Learning of their Operational Parameters (AB, TPK), pp. 2656–2659.
- ICPR-v2-2000-SuzukiHS #component #performance
- Fast Connected-Component Labeling Based on Sequential Local Operations in the Course of Forward Raster Scan Followed by Backward Raster Scan (KS, IH, NS), pp. 2434–2437.
- ICPR-v3-2000-NodaK #adaptation #identification #probability #using
- Adaptive Speaker Identification Using Sequential Probability Ratio Test (HN, EK), pp. 3266–3269.
- ICPR-v3-2000-ZhangB
- Grouping Edge Points into Line Segments by Sequential Hough Transformation (XZ, HB), pp. 3676–3679.
- ICPR-v4-2000-SeinstraK #api #image #parallel
- Transparent Parallel Image Processing by way of a Familiar Sequential API (FJS, DK), pp. 4824–4827.
- KDD-2000-HanPMCDH #mining #named
- FreeSpan: frequent pattern-projected sequential pattern mining (JH, JP, BMA, QC, UD, MH), pp. 355–359.
- KDD-2000-MannilaM #partial order
- Global partial orders from sequential data (HM, CM), pp. 161–168.
- KDD-2000-SchefferW #algorithm
- A sequential sampling algorithm for a general class of utility criteria (TS, SW), pp. 330–334.
- PADL-2000-MarinoM #functional #logic programming #source code #static analysis #using
- Using Static Analysis to Compile Non-sequential Functional Logic Programs (JM, JJMN), pp. 63–80.
- HPDC-2000-TerekhovW #data access #distributed #empirical
- Distributed Data Access in the Sequential Access Model in the D0 Experiment at Fermilab (IT, VW), pp. 310–311.
- OSDI-2000-KimCKNMCK
- A Low-Overhead, High-Performance Unified Buffer Management Scheme That Exploits Sequential and Looping References (JMK, JC, JK, SHN, SLM, YC, CSK), pp. 119–134.
- CSL-2000-BorgerS #composition #concept
- Composition and Submachine Concepts for Sequential ASMs (EB, JS), pp. 41–60.
- LICS-2000-BussK #bound
- Resource-Bounded Continuity and Sequentiality for Type-Two Functionals (SRB, BMK), pp. 77–83.
- DAC-1999-GuoRP #generative #named #using
- Proptest: A Property Based Test Pattern Generator for Sequential Circuits Using Test Compaction (RG, SMR, IP), pp. 653–659.
- DAC-1999-Oliveira #design #robust
- Robust Techniques for Watermarking Sequential Circuit Designs (ALO), pp. 837–842.
- DAC-1999-PomeranzR #generative #sequence #testing
- Built-In Test Sequence Generation for Synchronous Sequential Circuits Based on Loading and Expansion of Test Subsequences (IP, SMR), pp. 754–759.
- DATE-1999-CabodiCPQ #simulation
- Computing Timed Transition Relations for Sequential Cycle-Based Simulation (GC, PC, CP, SQ), pp. 8–12.
- DATE-1999-CornoRS #algorithm #approximate #equivalence #search-based #verification
- Approximate Equivalence Verification of Sequential Circuits via Genetic Algorithms (FC, MSR, GS), pp. 754–755.
- DATE-1999-EcklL #multi
- Retiming Sequential Circuits with Multiple Register Classes (KE, CL), p. 650–?.
- DATE-1999-KonijnenburgLG #generative #identification #testing
- Illegal State Space Identification for Sequential Circuit Test Generation (MHK, JTvdL, AJvdG), pp. 741–746.
- DATE-1999-MillanEECC #logic #optimisation
- Integrating Symbolic Techniques in ATPG-Based Sequential Logic Optimization (ESM, LE, JAE, SC, FC), pp. 516–520.
- DATE-1999-RaikU #diagrams #generative #modelling #testing #using
- Sequential Circuit Test Generation Using Decision Diagram Models (JR, RU), pp. 736–740.
- DATE-1999-RanjanSSB #using #verification
- Using Combinational Verification for Sequential Circuits (RKR, VS, FS, RKB), pp. 138–144.
- VLDB-1999-GarofalakisRS #constraints #mining #named #regular expression
- SPIRIT: Sequential Pattern Mining with Regular Expression Constraints (MNG, RR, KS), pp. 223–234.
- ESOP-1999-Poetzsch-HeffterM #java #logic #programming
- A Programming Logic for Sequential Java (APH, PM), pp. 162–176.
- ESOP-1999-SabelfeldS #data flow #source code
- A Per Model of Secure Information Flow in Sequential Programs (AS, DS), pp. 40–58.
- FoSSaCS-1999-HuhnNW #communication #logic #model checking
- Model Checking Logics for Communicating Sequential Agents (MH, PN, FW), pp. 227–242.
- WIA-1999-SeuringG #automaton
- A Structural Method for Output Compaction of Sequential Automata Implemented as Circuits (MS, MG), pp. 158–163.
- ICFP-1999-AlpuenteHLV #functional #logic programming #source code
- Specialization of Inductively Sequential Functional Logic Programs (MA, MH, SL, GV), pp. 273–283.
- TOOLS-ASIA-1999-LiZL #communication #csp #process #type system
- The Typing of Communicating Sequential Processes (WL, XZ, SL), pp. 61–66.
- CAV-1999-BoppanaRTF #model checking
- Model Checking Based on Sequential ATPG (VB, SPR, KT, MF), pp. 418–430.
- CAV-1999-HenzingerQR99a #consistency #multi #verification
- Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems (TAH, SQ, SKR), pp. 301–315.
- ICLP-1999-MarinoM #functional #logic programming #source code #static analysis #using
- Using Static Analysis to Compile Non-sequential Functional Logic Programs (JM, JJMN), p. 614.
- DAC-1998-BeniniMLMOP #kernel #optimisation
- Computational Kernels and their Application to Sequential Power Optimization (LB, GDM, AL, EM, GO, MP), pp. 764–769.
- DAC-1998-El-MalehKR #learning #performance
- A Fast Sequential Learning Technique for Real Circuits with Application to Enhancing ATPG Performance (AHEM, MK, JR), pp. 625–631.
- DAC-1998-HuangCCL #design #fault
- Fault-Simulation Based Design Error Diagnosis for Sequential Circuits (SYH, KTC, KCC, JYJL), pp. 632–637.
- DATE-1998-Eijk #equivalence #traversal
- Sequential Equivalence Checking without State Space Traversal (CAJvE), pp. 618–623.
- DATE-1998-GuoPR #sequence #testing
- Procedures for Static Compaction of Test Sequences for Synchronous Sequential Circuits Based on Vector Restoration (RG, IP, SMR), pp. 583–587.
- DATE-1998-Hetzel #graph #grid
- A Sequential Detailed Router for Huge Grid Graphs (AH), pp. 332–338.
- DATE-1998-HsiaoC #performance #sequence
- State Relaxation Based Subsequence Removal for Fast Static Compaction in Sequential Circuits (MSH, STC), pp. 577–582.
- DATE-1998-PomeranzR98a #using
- Design-for-Testability for Synchronous Sequential Circuits using Locally Available Lines (IP, SMR), pp. 983–984.
- DATE-1998-RudnickVECPR #generative #performance #testing #using
- Fast Sequential Circuit Test Generation Using High-Level and Gate-Level Techniques (EMR, RV, AE, FC, PP, MSR), pp. 570–576.
- DATE-1998-WangV #data-driven #optimisation
- Data Driven Power Optimization of Sequential Circuits (QW, SBKV), pp. 686–691.
- ICALP-1998-DamgardP #interactive #performance
- Sequential Iteration of Interactive Arguments and an Efficient Zero-Knowledge Argument for NP (ID, BP), pp. 772–783.
- WIA-1998-LHerPM #automaton #proving #source code #using
- Proving Sequential Function Chart Programs Using Automata (DL, PLP, LM), pp. 149–163.
- KDD-1998-ThomasS #mining #query #sql #using
- Mining Generalized Association Rules and Sequential Patterns Using SQL Queries (ST, SS), pp. 344–348.
- KR-1998-Reiter
- Sequential, Temporal GOLOG (RR), pp. 547–556.
- ALP-PLILP-1998-BreitingerKL #haskell #implementation #parallel #perspective
- From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of View (SB, UK, RL), pp. 318–334.
- DAC-1997-CongW #pipes and filters #synthesis
- FPGA Synthesis with Retiming and Pipelining for Clock Period Minimization of Sequential Circuits (JC, CW), pp. 644–649.
- DAC-1997-YuanTK #estimation #statistics
- Statistical Estimation of Average Power Dissipation in Sequential Circuits (LPY, CCT, SMK), pp. 377–382.
- EDTC-1997-CornoPRR #sequence #testing
- New static compaction techniques of test sequences for sequential circuits (FC, PP, MR, MSR), pp. 37–43.
- EDTC-1997-DargelasGB #multi #named
- MOSAIC: a multiple-strategy oriented sequential ATPG for integrated circuits (AD, CG, YB), pp. 29–36.
- EDTC-1997-HsiaoRP #generative #testing #traversal #using
- Sequential circuit test generation using dynamic state traversal (MSH, EMR, JHP), pp. 22–28.
- EDTC-1997-SaxenaNH #approach #estimation #monte carlo
- Monte-Carlo approach for power estimation in sequential circuits (VS, FNN, INH), pp. 416–420.
- EDTC-1997-UrsuGZ #automaton #design #logic #specification #using #verification
- Design and verification of the sequential systems automata using temporal logic specifications (AU, GG, SZ), p. 623.
- ICALP-1997-BurkartS #calculus #infinity #model checking #process #μ-calculus
- Model Checking the Full Modal μ-Calculus for Infinite Sequential Processes (OB, BS), pp. 419–429.
- CIKM-1997-LinR #navigation #using
- Using a Sequential Index in Terrain-Aided Navigation (LL, TR), pp. 177–184.
- PLILP-1997-GiavittoVM #compilation #recursion #semantics
- Semantics and Compilation of Recursive Sequential Streams in 8½ (JLG, DDV, OM), pp. 207–223.
- ESEC-FSE-1997-DesharnaisFKM #integration
- Integration of Sequential Scenarios (JD, MF, RK, AM), pp. 310–326.
- LICS-1997-RieckeS #call-by #relational
- A Relational Account of Call-by-Value Sequentiality (JGR, AS), pp. 258–267.
- DAC-1996-ChenPL #reduction
- Desensitization for Power Reduction in Sequential Circuits (XC, PP, CLL), pp. 795–800.
- DAC-1996-FerrandiFMPS #automaton #network #optimisation
- Symbolic Optimization of FSM Networks Based on Sequential ATPG Techniques (FF, FF, EM, MP, DS), pp. 467–470.
- DAC-1996-IyerLA #identification
- Identifying Sequential Redundancies Without Search (MAI, DEL, MA), pp. 457–462.
- DAC-1996-MarculescuMP #generative #probability #sequence #synthesis
- Stochastic Sequential Machine Synthesis Targeting Constrained Sequence Generation (DM, RM, MP), pp. 696–701.
- DAC-1996-PanL
- Optimal Clock Period FPGA Technology Mapping for Sequential Circuits (PP, CLL), pp. 720–725.
- DAC-1996-PomeranzR #on the #sequence #testing
- On Static Compaction of Test Sequences for Synchronous Sequential Circuits (IP, SMR), pp. 215–220.
- TACAS-1996-Margaria #automation #detection #fault
- Fully Automatic Verifcation and Error Detection for Parameterized Iterative Sequential Circuits (TMS), pp. 258–277.
- ICSM-1996-EveraarsAB #distributed #fortran #parallel
- Restructuring sequential Fortran code into a parallel/distributed application (CTHE, FA, FJB), pp. 13–22.
- ICALP-1996-Pin #automaton #calculus #first-order #power of
- The Expressive Power of Existential First Order Sentences of Büchi’s Sequential Calculus (JÉP), pp. 300–311.
- WIA-1996-RavikumarX #implementation #parallel #problem #sequence #source code
- Implementing Sequential and Parallel Programs for the Homing Sequence Problem (BR, XX), pp. 120–131.
- ICPR-1996-SeoH #re-engineering
- Sequential reconstruction of lines in projective space (YS, KSH), pp. 503–507.
- SAC-1996-RajePG #analysis #named #object-oriented #source code
- OFFERS — a tool for hierarchical implicit analysis of sequential object-oriented programs (RRR, DP, ETG), pp. 437–441.
- HPCA-1996-CalderGE #predict
- Predictive Sequential Associative Cache (BC, DG, JSE), pp. 244–253.
- RTA-1996-SakaiT #semantics #term rewriting
- Semantics and Strong Sequentiality of Priority Term Rewriting Systems (MS, YT), pp. 377–391.
- DAC-1995-JainBJ #abstraction #automation
- Automatic Clock Abstraction from Sequential Circuits (SJ, REB, AJ), pp. 707–711.
- DAC-1995-KriegerBK #fault #multi #simulation
- Symbolic Fault Simulation for Sequential Circuits and the Multiple Observation Time Test Strategy (RK, BB, MK), pp. 339–344.
- DAC-1995-MannePBHSMP
- Computing the Maximum Power Cycles of a Sequential Circuit (SM, AP, RIB, GDH, FS, EM, MP), pp. 23–28.
- DAC-1995-NajmGH #estimation
- Power Estimation in Sequential Circuits (FNN, SG, INH), pp. 635–640.
- DAC-1995-RudnickP #generative #search-based #testing
- Combining Deterministic and Genetic Approaches for Sequential Circuit Test Generation (EMR, JHP), pp. 183–188.
- DAC-1995-SinghalPRB
- The Validity of Retiming Sequential Circuits (VS, CP, RLR, RKB), pp. 316–321.
- DAC-1995-VenkataramanHFRCP #agile #fault #simulation #using
- Rapid Diagnostic Fault Simulation of Stuck-at Faults in Sequential Circuits Using Compact Lists (SV, IH, WKF, EMR, SC, JHP), pp. 133–138.
- SAS-1995-Colby #concurrent #source code
- Determining Storage Properties of Sequential and Concurrent Programs with Assignment and Structured Data (CC), pp. 64–81.
- STOC-1995-Pan #algorithm #approximate #parallel #polynomial
- Optimal (up to polylog factors) sequential and parallel algorithms for approximating complex polynomial zeros (VYP), pp. 741–750.
- FPCA-1995-BlellochG #functional #parallel
- Parallelism in Sequential Functional Languages (GEB, JG), pp. 226–237.
- CIKM-1995-SoparkarKJA #database #parallel #runtime #source code
- Run-Time Parallelization of Sequential Database Programs (NS, PK, HVJ, AA), pp. 74–81.
- PLILP-1995-Moor #process
- A Generic Program for Sequential Decision Processes (OdM), pp. 1–23.
- POPL-1995-BouajjaniEH #composition #infinity #parallel #process #verification
- Verifying Infinite State Processes with Sequential and Parallel Composition (AB, RE, PH), pp. 95–106.
- POPL-1995-BrookesD #algorithm #parallel
- Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness (SDB, DD), pp. 13–24.
- POPL-1995-PlevyakZC #concurrent #object-oriented #performance
- Obtaining Sequential Efficiency for Concurrent Object-Oriented Languages (JP, XZ, AAC), pp. 311–321.
- POPL-1995-RieckeV
- Isolating Side Effects in Sequential Languages (JGR, RV), pp. 1–12.
- POPL-1995-SchauserCG #algorithm #clustering #constraints #source code #strict #thread
- Separation Constraint Partitioning — A New Algorithm for Partitioning Non-strict Programs into Sequential Threads (KES, DEC, SCG), pp. 259–271.
- HPCA-1995-DahlgrenS #effectiveness #multi
- Effectiveness of Hardware-Based Stride and Sequential Prefetching in Shared-Memory Multiprocessors (FD, PS), pp. 68–77.
- LICS-1995-Comon #automaton #higher-order #logic #monad
- Sequentiality, Second Order Monadic Logic and Tree Automata (HC), pp. 508–517.
- DAC-1994-KrishnamoorthyM
- Boolean Matching of Sequential Elements (SK, FM), pp. 691–697.
- DAC-1994-MonteiroDL #estimation #logic #performance #process
- A Methodology for Efficient Estimation of Switching Activity in Sequential Logic Circuits (JCM, SD, BL), pp. 12–17.
- DAC-1994-ParkesBP #approach #generative #named #object-oriented #parallel #testing
- ProperHITEC: A Portable, Parallel, Object-Oriented Approach to Sequential Test Generation (SP, PB, JHP), pp. 717–721.
- DAC-1994-PomeranzR94a #fault #on the
- On Improving Fault Diagnosis for Synchronous Sequential Circuits (IP, SMR), pp. 504–509.
- DAC-1994-RudnickPGN #algorithm #framework #generative #search-based #testing
- Sequential Circuit Test Generation in a Genetic Algorithm Framework (EMR, JHP, GSG, TMN), pp. 698–704.
- EDAC-1994-Damiani #finite #nondeterminism #state machine
- Nondeterministic finite-state machines and sequential don’t cares (MD), pp. 192–198.
- EDAC-1994-FummiSS #approach #fault #functional #generative #testing
- A Functional Approach to Delay Faults Test Generation for Sequential Circuits (FF, DS, MS), pp. 51–57.
- EDAC-1994-GaiMR #fault #named #performance
- TORSIM: An Efficient Fault Simulator for Synchronous Sequential Circuits (SG, PLM, MSR), pp. 46–50.
- EDAC-1994-IsernF #fault
- Test of Bridging Faults in Scan-based Sequential Circuits (EI, JF), pp. 366–370.
- EDAC-1994-Rodriguez-MontanesF #analysis #fault #testing
- Analysis of Bridging Defects in Sequential CMOS Circuits and their Current Testability (RRM, JF), pp. 356–360.
- EDAC-1994-RudnickHSP #algorithm #generative #search-based #testing
- Application of Simple Genetic Algorithms to Sequential Circuit Test Generation (EMR, JGH, DGS, JHP), pp. 40–45.
- EDAC-1994-Sachdev #logic #testing
- Transforming Sequential Logic in Digital CMOS ICs for Voltage and IDDQ Testing (MS), pp. 361–365.
- EDAC-1994-SchneiderKK #verification
- Control Path Oriented Verification of Sequential Generic Circuits with Control and Data Path (KS, TK, RK), pp. 648–652.
- EDAC-1994-Stroele #analysis
- Signature Analysis for Sequential Circuits with Reset (APS), pp. 113–118.
- EDAC-1994-Wang #synthesis #testing
- Synthesis of Sequential Machines with Reduced Testing Cost (SJW), pp. 302–306.
- EDAC-1994-WuLCL #clustering #distributed #fault #simulation
- Distributed Fault Simulation for Sequential Circuits by Pattern Partitioning (WCW, CLL, JEC, WYL), p. 661.
- SIGIR-1994-LewisG #algorithm #classification
- A Sequential Algorithm for Training Text Classifiers (DDL, WAG), pp. 3–12.
- ALP-1994-AntoyM #reduction
- A Sequential Reduction Strategy (SA, AM), pp. 168–185.
- ICLP-1994-Guglielmi #concurrent #generative #logic programming #programming language
- Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator (AG), pp. 240–254.
- LICS-1994-ColsonE #higher-order #on the
- On Strong Stability and Higher-Order Sequentiality (LC, TE), pp. 103–108.
- DAC-1993-AgrawalAV #distributed #generative #testing
- Sequential Circuit Test Generation on a Distributed System (PA, VDA, JV), pp. 107–111.
- DAC-1993-ChakrabortyAB #design #fault #testing
- Design for Testability for Path Delay faults in Sequential Circuits (TJC, VDA, MLB), pp. 453–457.
- DAC-1993-ChakradharDPR #optimisation #using
- Sequential Circuit Delay optimization Using Global Path Delays (STC, SD, MP, SGR), pp. 483–489.
- DAC-1993-ChickermaneRBP
- Non-Scan Design-for-Testability Techniques for Sequential Circuits (VC, EMR, PB, JHP), pp. 236–241.
- DAC-1993-MeyerC #fault #multi #performance #simulation
- Fast Hierarchical Multi-Level Fault Simulation of Sequential Circuits with Switch-Level Accuracy (WM, RC), pp. 515–519.
- DAC-1993-MurgaiBS #array #programmable #synthesis
- Sequential Synthesis for Table Look Up Programmable Gate Arrays (RM, RKB, ALSV), pp. 224–229.
- DAC-1993-SeawrightB #performance #synthesis
- High-Level Symbolic Construction Technique for High Performance Sequential Synthesis (AS, FB), pp. 424–428.
- WSA-1993-FergusonH #abstract interpretation #algorithm #performance #using
- Fast Abstract Interpretation Using Sequential Algorithms (AF, JH), pp. 45–59.
- FPCA-1993-Ang #data flow #implementation #performance
- Efficient Implementation of Sequential Loops in Dataflow Computation (BSA), pp. 169–178.
- HPDC-1993-AgrawalAV #generative #network
- Test Pattern Generation for Sequential Circuits on a Network of Workstations (PA, VDA, JV), pp. 114–120.
- CAV-1993-RhoS #automation #generative #invariant #network #verification
- Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems (JKR, FS), pp. 123–137.
- DAC-1992-AbramoviciRM #approach #exclamation #testing
- Freeze!: A New Approach for Testing Sequential Circuits (MA, KBR, DTM), pp. 22–25.
- DAC-1992-ChakrabortyAB #fault #generative #logic #modelling #random #testing
- Delay Fault Models and Test Generation for Random Logic Sequential Circuits (TJC, VDA, MLB), pp. 165–172.
- DAC-1992-ChengM #algorithm #on the #problem
- On the Over-Specification Problem in Sequential ATPG Algorithms (KTC, HKTM), pp. 16–21.
- DAC-1992-GhoshDKW #estimation #process
- Estimation of Average Switching Activity in Combinational and Sequential Circuits (AG, SD, KK, JW), pp. 253–259.
- DAC-1992-LeeH #fault #named #parallel #performance
- HOPE: An Efficient Parallel Fault Simulator for Synchronous Sequential Circuits (HKL, DSH), pp. 336–340.
- DAC-1992-LeeR92a #concurrent #fault #on the #performance #simulation
- On Efficient Concurrent Fault Simulation for Synchronous Sequential Circuits (DHL, SMR), pp. 327–331.
- DAC-1992-PomeranzR #testing
- At-Speed Delay Testing of Synchronous Sequential Circuits (IP, SMR), pp. 177–181.
- DAC-1992-ShenoySBS #equivalence #on the
- On the Temporal Equivalence of Sequential Circuits (NVS, KJS, RKB, ALSV), pp. 405–409.
- PODS-1992-Rotem #analysis #scalability
- Analysis of Disk Arm Movement for Large Sequential Reads (DR), pp. 47–54.
- SIGMOD-1992-HaasS #estimation #query
- Sequential Sampling Procedures for Query Size Estimation (PJH, ANS), pp. 341–350.
- LFP-1992-TraubCS #analysis #clustering #source code #strict #thread
- Global Analysis for Partitioning Non-Strict Programs into Sequential Threads (KRT, DEC, KES), pp. 324–334.
- CHI-1992-Brown #algorithm #parallel #sorting #visualisation
- An Introduction to Zeus: Audiovisualization of Some Elementary Sequential and Parallel Sorting Algorithms (MHB), pp. 663–664.
- TOOLS-USA-1992-KaraormanB #concurrent #eiffel
- A concurrency Mechanism for Sequential Eiffel (MK, JLB), pp. 63–77.
- POPL-1992-CartwrightF #abstraction
- Observable Sequentiality and Full Abstraction (RC, MF), pp. 328–342.
- IWMM-1992-BekkersRU #logic programming #memory management #programming language
- Dynamic Memory Management for Sequential Logic Programming Languages (YB, OR, LU), pp. 82–102.
- CADE-1992-Kesner #order #orthogonal #term rewriting
- Free Sequentially in Orthogonal Order-Sorted Rewriting Systems with Constructors (DK), pp. 603–617.
- JICSLP-1992-GudemanBD #implementation #named #performance
- jc: An Efficient and Portable Sequential Implementation of Janus (DG, KDB, SKD), pp. 399–413.
- LICS-1992-Toyama #linear #term rewriting
- Strong Sequentiality of Left-Linear Overlapping Term Rewriting Systems (YT), pp. 274–284.
- DAC-1991-Cheng #on the
- On Removing Redundancy in Sequential Circuits (KTC), pp. 164–169.
- DAC-1991-Kitamura #algorithm #fault #simulation
- Sequential Circuit Fault Simulation by Fault Information Tracing Algorithm: FIT (YK), pp. 151–154.
- DAC-1991-PatilBP #generative #parallel #testing
- Parallel Test Generation for Sequential Circuits on General-Purpose Multiprocessors (SP, PB, JHP), pp. 155–159.
- DAC-1991-PomeranzR #fault #on the #using
- On Achieving a Complete Fault Coverage for Sequential Machines Using the Transition Fault Model (IP, SMR), pp. 341–346.
- PLILP-1991-BrogiG #constraints #logic #process
- Constraints for Synchronizing Logic Coarse-grained Sequential Logic Processes (AB, MG), pp. 407–418.
- PPoPP-1991-BaconS #communication #csp #parallel #process
- Optimistic Parallelization of Communicating Sequential Processes (DFB, RES), pp. 155–166.
- CAV-1991-HiraishiHOY #logic #model checking #verification
- Vectorized Symbolic Model Checking of Computation Tree Logic for Sequential Machine Verification (HH, KH, HO, SY), pp. 214–224.
- CAV-1991-Mutz #behaviour #correctness #proving #term rewriting #using
- Using the HOL Prove Assistant for proving the Correctness of term Rewriting Rules reducing Terms of Sequential Behavior (MM), pp. 277–287.
- LICS-1991-BucciarelliE
- Sequentiality and Strong Stability (AB, TE), pp. 138–145.
- DAC-1990-AsharDN #approach #composition
- A Unified Approach to the Decomposition and Re-Decomposition of Sequential Machines (PA, SD, ARN), pp. 601–606.
- DAC-1990-BurchCMD #model checking #using #verification
- Sequential Circuit Verification Using Symbolic Model Checking (JRB, EMC, KLM, DLD), pp. 46–51.
- DAC-1990-GhoshDN #verification
- Verification of Interacting Sequential Circuits (AG, SD, ARN), pp. 213–219.
- DAC-1990-GhoshDN90a #generative #logic #testing
- Sequential Test Generation at the Register-Transfer and Logic Levels (AG, SD, ARN), pp. 580–586.
- DAC-1990-KuoLW #analysis #fault
- A Fault Analysis Method for Synchronous Sequential Circuits (TYK, JYL, JFW), pp. 732–735.
- DAC-1990-NiermannCP #fault #memory management #named #performance #proving
- Proofs: A Fast, Memory Efficient Sequential Circuit Fault Simulator (TMN, WTC, JHP), pp. 535–540.
- ICALP-1990-PanangadenSS #data flow #network
- Stability and Sequentiality in Dataflow Networks (PP, VS, EWS), pp. 308–321.
- CAV-1990-CamuratiGPR #model checking
- The Use of Model Checking in ATPG for Sequential Circuits (PC, MG, PP, MSR), pp. 86–95.
- CAV-1990-CoudertMB #diagrams #verification
- Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams (OC, JCM, CB), pp. 23–32.
- CAV-1990-Pixley #equivalence #hardware #implementation
- Introduction to a Computational Theory and Implementation of Sequential Hardware Equivalence (CP), pp. 54–64.
- CLP-1990-KorslootM90 #architecture #comparison #modelling #performance #prolog
- Sequential Architecture Models for Prolog: A Performance Comparison (MK, HMM), pp. 49–67.
- LICS-1990-SekarR #equation #logic #programming
- Programming in Equational Logic: Beyond Strong Sequentiality (RCS, IVR), pp. 230–241.
- NACLP-1990-AlkalajLS #automaton #development
- FCP Sequential Abstract Machine Characteristics for the Systems Development Workload (LA, TL, EYS), pp. 321–339.
- NACLP-1990-Andrews #logic #prolog
- The Logical Structure of Sequential Prolog (JHA), pp. 585–602.
- DAC-1989-ChoB #fault #generative #simulation
- Test Pattern Generation for Sequential MOS Circuits by Symbolic Fault Simulation (KC, REB), pp. 418–423.
- DAC-1989-Devadas #logic #multi #synthesis
- Approaches to Multi-level Sequential Logic Synthesis (SD), pp. 270–276.
- DAC-1989-Devadas89a #composition
- General Decomposition of Sequential Machines: Relationships to State Assignment (SD), pp. 314–320.
- STOC-1989-Beame #trade-off
- A General Sequential Time-Space Tradeoff for Finding Unique Elements (PB), pp. 197–203.
- POPL-1989-AttieE #concurrent #process #synthesis
- Synthesis of Concurrent Systems with Many Similar Sequential Processes (PCA, EAE), pp. 191–201.
- CSL-1989-Wette #complexity #recursion #representation
- Sequential Representation of Primitive Recursive Functions, and Complexity Classes (EW), pp. 422–437.
- NACLP-1989-KonogayaHAY #evaluation #performance
- Performance Evaluation of a Sequential Inference Machine CHI (AK, SH, AA, MY), pp. 1165–1179.
- RTA-1989-SekarPR #execution #parallel #performance #term rewriting
- Transforming Strongly Sequential Rewrite Systems with Constructors for Efficient parallel Execution (RCS, SP, IVR), pp. 404–418.
- DAC-1988-AgrawalCA #concurrent #contest #generative #named
- Contest: A Concurrent Test Generator for Sequential Circuits (VDA, KTC, PA), pp. 84–89.
- DAC-1988-HillAHS #algorithm #fault #simulation
- A New Two Task Algorithm for Clock Mode Fault Simulation in Sequential Circuits (FJH, EA, WKH, GQS), pp. 583–586.
- DAC-1988-Stroud #approach #automation #logic #synthesis
- An Automated BIST Approach for General Sequential Logic Synthesis (CES), pp. 3–8.
- LFP-1988-TinkerK #execution #parallel
- Parallel Execution of Sequential Scheme with ParaTran (PT, MK), pp. 28–39.
- DAC-1987-DevadasMN #abstraction #on the #verification
- On the Verification of Sequential Machines at Differing Levels of Abstraction (SD, HKTM, ARN), pp. 271–276.
- SLP-1987-NakashimaN87 #architecture #hardware
- Hardware Architecture of the Sequential Inference Machine: PSI-II (HN, KN), pp. 104–113.
- DAC-1986-Marlett #effectiveness #generative #testing
- An effective test generation system for sequential circuits (RM), pp. 250–256.
- DAC-1986-SupowitF #verification
- A new method for verifying sequential circuits (KJS, SJF), pp. 200–207.
- SIGMOD-1986-Willard #algorithm #worst-case
- Good Worst-Case Algorithms for Inserting and Deleting Records in Dense Sequential Files (DEW), pp. 251–260.
- ICALP-1986-ReedR #communication #csp #process
- A Timed Model for Communicating Sequential Processes (GMR, AWR), pp. 314–323.
- GG-1986-KreowskiW #concurrent #graph grammar #parallel #process
- Is parallelism already concurrency? Part 2: Non-sequential processes in graph grammars (HJK, AW), pp. 361–377.
- ICLP-1986-Abramson86 #concurrent #logic
- Sequential and Concurrent Deterministic Logic Grammars (HA), pp. 389–395.
- ICLP-1986-FosterGRS86 #implementation
- A Sequential Implementation of Parlog (ITF, SG, GAR, KS), pp. 149–156.
- DAC-1985-MeshkinpourE #design #functional
- A functional language for description and design of digital systems: sequential constructs (FM, MDE), pp. 238–244.
- STOC-1985-ChungHS #self
- Self-Organizing Sequential Search and Hilbert’s Inequalities (FRKC, DJH, PDS), pp. 217–223.
- SLP-1985-MiyazakiTC85 #concurrent #implementation #prolog
- A Sequential Implementation of Concurrent Prolog Based on the Shallow Binding Scheme (TM, AT, TC), pp. 110–118.
- VLDB-1983-Orenstein #random
- A Dynamic Hash File for Random and Sequential Accessing (JAO), pp. 132–141.
- STOC-1982-Willard #maintenance
- Maintaining Dense Sequential Files in a Dynamic Environment (Extended Abstract) (DEW), pp. 114–121.
- SIGMOD-1981-Batory #comparison #performance
- B+ Trees and Indexed Sequential Files: A Performance Comparison (DSB), pp. 30–39.
- STOC-1980-BorodinC #sorting #trade-off
- A Time-Space Tradeoff for Sorting on a General Sequential Model of Computation (AB, SAC), pp. 294–301.
- ICALP-1980-CousotC #analysis #communication #csp #process #semantics
- Semantic Analysis of Communicating Sequential Processes (Shortened Version) (PC, RC), pp. 119–133.
- TFDA-1980-Pedersen #ada #semantics
- A Formal Semantics Definition of Sequential Ada (JSP), pp. 213–308.
- VLDB-1979-Arditi
- An Optimized Backout Mechanism for Sequential Updates (JA), pp. 147–154.
- STOC-1979-Ladner #communication #complexity #csp #problem #process
- The Complexity of Problems in Systems of Communicating Sequential Processes (Extended Abstract) (REL), pp. 214–223.
- ICALP-1979-Janko
- Hierarchic Index Sequential Search with Optimal Variable Block Size and Its Minimal Expected Number of Comparisons (WJ), pp. 304–315.
- DAC-1978-Marlett #generative #named #testing
- EBT: A comprehensive test generation technique for highly sequential circuits (RM), pp. 335–339.
- ICALP-1978-Toffoli #integration #network
- Integration of the Phase-Difference Relations in Asynchronous Sequential Networks (TT), pp. 457–463.
- DAC-1974-ArimaTAO #algorithm #generative #heuristic #testing
- A new heuristic test generation algorithm for sequential circuits (TA, MT, GA, JO), pp. 169–176.
- SIGFIDET-1974-BehymerOM #analysis
- Analysis of Indexed Sequential and Direct Access File Organizations (JAB, RAO, AGM), pp. 389–417.
- SIGFIDET-1974-CopelandS #memory management
- A High Level Data Sublanguage for a Context-Addressed Sequential Memory (GPC, SYWS), pp. 265–276.
- ICALP-1974-Bertsch #decidability
- A Decidability Result for Sequential Grammars (EB), pp. 577–583.
- ICALP-1972-HoschL #finite
- Finite Delay Solutions for Sequential Conditions (FAH, LHL), pp. 45–60.
- STOC-1971-McNaughton #set
- A Decision Procedure for Generalized Sequential Mapability-onto of Regular Sets (RM), pp. 206–218.