Search results for "strict"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
51	Jaume Joven, Per Strict, David Castells-Rufas, Akash Bagdia, Giovanni De Micheli, Jordi Carrabina	HW-SW implementation of a decoupled FPU for ARM-based Cortex-M1 SoCs in FPGAs.	SIES	2011	DBLP DOI BibTeX RDF
50	Ugur Halici, Asuman Dogac	An Optimistic Locking Technique For Concurrency Control in Distributed Databases.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	optimistic locking technique, optimistic method, dummy locks, write sets, validated transactions, short-term locks, strict two-phase locking, low conflict cases, strict 2PL, concurr, distributed databases, concurrency control, validation test, ODL
48	Mitsuo Wakatsuki, Kiyoshi Teraguchi, Etsuji Tomita	Polynomial Time Identification of Strict Deterministic Restricted One-Counter Automata in Some Class from Positive Data.	ICGI	2004	DBLP DOI BibTeX RDF
48	Egidio Astesiano, Maura Cerioli	Non-Strict Don't Care Algebras and Specifications.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
48	Matthew M. Geller, Michael A. Harrison	Strict Deterministic Versus LR(0) Parsing.	POPL	1973	DBLP DOI BibTeX RDF
47	Vincent Conitzer, Tuomas Sandholm	Complexity of (iterated) dominance.	EC	2005	DBLP DOI BibTeX RDF	(iterated) dominance, game theory
44	Tao Bao, Yunhui Zheng, Zhiqiang Lin, Xiangyu Zhang 0001, Dongyan Xu	Strict control dependence and its effect on dynamic information flow analyses.	ISSTA	2010	DBLP DOI BibTeX RDF	dynamic information flow, strict control dependence, data dependence, control dependence, taint analysis
44	Pieter J. Collins, C. A. Hendrie	On Strict Extensions of Nearness Spaces.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	T-uniformity, nearness space, round Cauchy filter, strict extension, completeness
44	Milan Ojstersek, Viljem Zumer, Ljubo Pipan	Efficient execution of parallel programs using partial strict triggering of program graph nodes.	ICPADS	1997	DBLP DOI BibTeX RDF	partial strict triggering, program graph nodes, coarse grained program graph nodes, VL, DSH scheduling algorithms, parallel programming, parallel programs, CPM
42	Jörg Desel (eds.)	Proceedings of the International Workshop on Structures in Concurrency Theory, STRICT 1995, Berlin, Germany, May 11-13, 1995	STRICT	1995	DBLP DOI BibTeX RDF
42	Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz	An M-net Semantics of B(PN)2.	STRICT	1995	DBLP DOI BibTeX RDF
42	Walter Vogler	Partial Order Semantics and Weak Fairness.	STRICT	1995	DBLP DOI BibTeX RDF
42	Arend Rensink	An Event-Based SOS for a Language with Refinement.	STRICT	1995	DBLP DOI BibTeX RDF
42	Antti Valmari	Failure-based Equivalences Are Faster Than Many Believe.	STRICT	1995	DBLP DOI BibTeX RDF
42	Alessio Guglielmi	Sequentiality by Linear Implication and Universal Quantification.	STRICT	1995	DBLP DOI BibTeX RDF
42	Roland Jégou, Raoul Medina, Lhouari Nourine	Linear Space Algorithm for On-line Detection of Global Predicates.	STRICT	1995	DBLP DOI BibTeX RDF
42	Laura Recalde, Enrique Teruel, Manuel Silva 0001	On Well-formedness Analysis: The Case of Deterministic Systems of Sequential Processes.	STRICT	1995	DBLP DOI BibTeX RDF
42	Rocco De Nicola, Rosario Pugliese	An Observational Semantics for Linda.	STRICT	1995	DBLP DOI BibTeX RDF
42	Roope Kaivola	A Simple Decision Method for the Linear Time Mu-calculus.	STRICT	1995	DBLP DOI BibTeX RDF
42	Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni	Keeping Track of the Latest Gossip in Message-Passing Systems.	STRICT	1995	DBLP DOI BibTeX RDF
42	S. Arun-Kumar, V. Natarajan	Conformance: A Precongruence close to Bisimilarity.	STRICT	1995	DBLP DOI BibTeX RDF
42	Iabelle Biermann, Brigitte Rozoy	Graphs for Generalized Traces.	STRICT	1995	DBLP DOI BibTeX RDF
42	Mila E. Majster-Cederbaum, Christel Baier	Metric completion versus ideal completion.	STRICT	1995	DBLP DOI BibTeX RDF
42	R. Ramanujam 0001	A Local Presentation of Synchronizing Systems.	STRICT	1995	DBLP DOI BibTeX RDF
42	Piotr Chrzastowski-Wachtel, Marek Raczunas	Orbits, half-frozen tokens and the liveness of weighted circuits.	STRICT	1995	DBLP DOI BibTeX RDF
42	Raymond R. Devillers, Hanna Klaudel	Refinement and Recursion in a High Level Petri Box Calculus.	STRICT	1995	DBLP DOI BibTeX RDF
42	Karsten Schmidt 0004	On the Computation of Place Invariants for Algebraic Petri Nets.	STRICT	1995	DBLP DOI BibTeX RDF
42	Ekkart Kindler, Rolf Walter	Message passing mutex.	STRICT	1995	DBLP DOI BibTeX RDF
42	Ernst-Rüdiger Olderog, Michael Schenke	Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications.	STRICT	1995	DBLP DOI BibTeX RDF
42	Eike Best, Raymond R. Devillers, Elisabeth Pelz, Arend Rensink, Manuel Silva 0001, Enrique Teruel	CALIBAN - Esprit Basic Research WG 6067.	STRICT	1995	DBLP DOI BibTeX RDF
42	J. W. de Bakker	The Three Dimensions of Semantics.	STRICT	1995	DBLP DOI BibTeX RDF
42	Marta Kwiatkowska, Iain C. C. Phillips	Possible and Guaranteed Concurrency in CSP.	STRICT	1995	DBLP DOI BibTeX RDF
42	Luca Bernardinello, Giorgio De Michelis, Katia Petruni, Sebastiano Vigna	On The Synchronic Structure of Transition Systems.	STRICT	1995	DBLP DOI BibTeX RDF
42	Felix Brandt 0001, Felix A. Fischer	On the Hardness and Existence of Quasi-Strict Equilibria.	SAGT	2008	DBLP DOI BibTeX RDF
42	Barnaby Martin, Florent R. Madelaine	Hierarchies in Fragments of Monadic Strict NP.	CiE	2007	DBLP DOI BibTeX RDF
42	Boaz Barak, Yehuda Lindell	Strict polynomial-time in simulation and extraction.	STOC	2002	DBLP DOI BibTeX RDF
42	Nguyen Huong Lam, Do Long Van	On Strict Codes.	MFCS	1991	DBLP DOI BibTeX RDF
39	Nils Anders Danielsson, John Hughes 0001, Patrik Jansson, Jeremy Gibbons	Fast and loose reasoning is morally correct.	POPL	2006	DBLP DOI BibTeX RDF	inductive and coinductive types, lifted types, non-strict and strict languages, partial and infinite values, partial and total languages, equational reasoning
38	Bienvenido Jiménez, Vicente Novo	Higher-order optimality conditions for strict local minima.	Ann. Oper. Res.	2008	DBLP DOI BibTeX RDF	Strict minimizer of higher order, Optimality conditions
38	Adam Chlipala, Leaf Petersen, Robert Harper 0001	Strict bidirectional type checking.	TLDI	2005	DBLP DOI BibTeX RDF	strict logic, type inference, type theory
38	Alberto Momigliano, Frank Pfenning	Higher-order pattern complement and the strict lambda-calculus.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	higher-order patterns, strict ?-calculus, Complement
38	Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard	Exception analysis for non-strict languages.	ICFP	2002	DBLP DOI BibTeX RDF	Boolean constraints, non-strict functional programming languages, type inference, exceptions, effect systems
37	Jeng Farn Lee, Wanjiun Liao, Meng Chang Chen	A Differentiated Service Model for Enhanced Distributed Channel Access (EDCA) of IEEE 802.11e WLANs.	Mob. Networks Appl.	2007	DBLP DOI BibTeX RDF	strict priority, weighted fair service, hierarchical link sharing, EDCA, 802.11e
37	Patricia Johann, Janis Voigtländer	Free theorems in the presence of seq.	POPL	2004	DBLP DOI BibTeX RDF	controlling strict evaluation, short cut fusion, theorems for free, program transformations, Haskell, denotational semantics, parametricity, correctness proofs, logical relations
35	Robert W. P. Luk	On event space and rank equivalence between probabilistic retrieval models.	Inf. Retr.	2008	DBLP DOI BibTeX RDF	Information retrieval, Probabilistic models, Event space
35	João Paulo Fernandes, João Saraiva	Tools and libraries to model and manipulate circular programs.	PEPM	2007	DBLP DOI BibTeX RDF	intermediate data structures, multiple traversal algorithms, traversal scheduling, circular programming
32	Nasreddine Hallam, Kok Meng Yew	Families of fuzzy implication operators within measure M1 and their pseudo-strict.	SAC	1998	DBLP DOI BibTeX RDF	K sub-triangle inference structure, Kleene-Dienes and Lukasiewicz fuzzy implications, interval-valued inference, pseudo-strict monotonicity
31	Yuming Jiang 0001	A basic stochastic network calculus.	SIGCOMM	2006	DBLP DOI BibTeX RDF	independent case analysis, stochastic arrival curve, stochastic network calculus, stochastic quality of service guarantee, stochastic service curve, stochastic strict server
30	Josep Freixas, Xavier Molinero	The Greatest Allowed Relative Error in Weights and Threshold of Strict Separating Systems.	IEEE Trans. Neural Networks	2008	DBLP DOI BibTeX RDF
30	Zhao-Li Zhang, Fan Hong, Hai-Jun Xiao	Verification of Strict Integrity Policy via Petri Nets.	ICSNC	2006	DBLP DOI BibTeX RDF
30	Ildar Z. Batyrshin, Natalja Shajdullina, Leonid Sheremetov	Strict Valued Preference Relations and Choice Functions in Decision-Making Procedures.	MICAI	2004	DBLP DOI BibTeX RDF
30	Furio Honsell, Marina Lenisa, Rekha Redamalla	Strict Geometry of Interaction Graph Models.	LPAR	2003	DBLP DOI BibTeX RDF	(linear) graph model, traced monoidal category, weak linear category, categorical geometry of interaction
30	Panagiota Fatourou, Paul G. Spirakis	A New Scheduling Algorithm for General Strict Multithreaded Computations.	DISC	1999	DBLP DOI BibTeX RDF
30	Leo Bachmair, Harald Ganzinger	Strict Basic Superposition.	CADE	1998	DBLP DOI BibTeX RDF
30	Sumit Sur, A. P. Wim Böhm	Analysis of non-strict functional implementations of the Dongarra-Sorensen eigensolver.	International Conference on Supercomputing	1994	DBLP DOI BibTeX RDF
30	Jamie E. Hoch, D. M. Davenport, V. Gerald Grafe, K. M. Steele	Compile-time partitioning of a non-strict language into sequential threads.	SPDP	1991	DBLP DOI BibTeX RDF
29	Dan Butnariu, Erich-Peter Klement, Radko Mesiar, Mirko Navara	Sufficient triangular norms in many-valued logics with standard negation.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Sufficient t-norm, Involutive negation, Admissible function, t-norm-based tribe, Many-valued logic
29	Sheelagh Lloyd	Properties of Binary Functions.	EUROCRYPT	1990	DBLP DOI BibTeX RDF
29	Michael A. Harrison, Ivan M. Havel	On the Parsing of Deterministic Languages.	J. ACM	1974	DBLP DOI BibTeX RDF
25	T. A. Guldemond, Johann L. Hurink, Jacob Jan Paulus, J. M. J. Schutten	Time-constrained project scheduling.	J. Sched.	2008	DBLP DOI BibTeX RDF	Strict deadlines, Project scheduling
25	Zongduo Dai, Xiutao Feng	Classification and counting on multi-continued fractions and its application to multi-sequences.	Sci. China Ser. F Inf. Sci.	2007	DBLP DOI BibTeX RDF	multi-strict continued fractions, multi-sequences, linear complexity distribution
25	Koen Maes, Bernard De Baets	Negation and affirmation: the role of involutive negators.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Affirmation, Strict negator, Involutive negator, Coxeter group, Negation, Automorphism
25	Zheng-Zhu Li, Huei-Jan Shyr, Y. S. Tsai	Classifications of Dense Languages.	Acta Informatica	2006	DBLP DOI BibTeX RDF	Primitive words, Dense languages, n-dense languages, Strict n-dense languages
25	Yisha Liu, Wei Wang 0036, Yanjun Liu 0003	Robust Adaptive Neural Network Control for a Class of Nonlinear Systems.	ISDA (1)	2006	DBLP DOI BibTeX RDF	nonlinear strict-feedback system, Neural network, adaptive control, backstepping
25	Jin-Chirng Lee, Hang-Chin Lai	Parameter-Free Dual Models for Fractional Programming with Generalized Invexity.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	Kuhn-Tucker condition, invex, pseudoinvex, quasiinvex, fractional variational programming, weak-, strong-, strict, Euler-Lagrange equation
25	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella	Not necessarily closed convex polyhedra and the double description method.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Double description, Strict linear inequalities, Abstract interpretation, Data-flow analysis, Convex polyhedra
25	Pantelimon Stanica, Soo Hak Sung	Boolean Functions with Five Controllable Cryptographic Properties.	Des. Codes Cryptogr.	2004	DBLP DOI BibTeX RDF	strict avalanche criterion, global avalanche characteristics, cryptography, Boolean functions, nonlinearity
25	Baodian Wei, Dongsu Liu, Xinmei Wang	The General Autocorrelation and Its Application.	CW	2002	DBLP DOI BibTeX RDF	Strict avalanche criterion, Propagation Criterion, Boolean function, AES, Autocorrelation, Linear structure
25	Allalaghatta Pavan, Vipin Gopal, Sejun Song, Nigel Birch, Raja Harinath, David Castanon	Admission control and resource allocation in a strictly priority based network.	RTCSA	2000	DBLP DOI BibTeX RDF	military communication, strict priority based network, dynamic information environments, DARPA AICE, Agile Information Control Environment, Adaptive Information Control, AIC framework, bottleneck priority, quality of service, real-time systems, real time system, middleware, resource allocation, resource allocation, admission control, client-server systems, communication channels, end-to-end quality of service, telecommunication channels, military applications
25	Plamen V. Petrov, Alexander D. Stoyen	An Intelligent-Agent Based Decision Support System for a Complex Command and Control Application.	ICECCS	2000	DBLP DOI BibTeX RDF	intelligent agent based decision support system, complex command and control application, architectural overview, AWACS Command and Control, human controllers, critical decisions, strict timing constraints, dynamically changing environment, decision support training environment, intelligent agent infrastructure, heuristics based algorithms, decision support systems, decision support, distributed simulation
25	John Alexander McDermid	Complexity: Concept, Causes and Control.	ICECCS	2000	DBLP DOI BibTeX RDF	internal sources, modern hardware, super-scalar processors, external sources, complexity management, strict dependability requirements, software engineering, embedded systems, risk, product families, computer based systems
25	Andreas Ermedahl, Hans Hansson, Mikael Sjödin	Response-time guarantees in ATM networks.	RTSS	1997	DBLP DOI BibTeX RDF	response time guarantees, traditional real time CPU Response Time Analysis, hard real time traffic, strict timing requirements, Calculus for Network Delays, traffic scenarios, observed worst case behaviors, CND, realistic traffic scenarios, asynchronous transfer mode, Asynchronous Transfer Mode, admission control, ATM networks, Weighted Fair Queuing, WFQ
25	Yoshitaka Shibata, Naoya Seta, Shogo Shimizu	Media synchronization protocols for packet audio-video system on multimedia information networks.	HICSS (2)	1995	DBLP DOI BibTeX RDF	audio-visual systems, media synchronization protocols, packet audio-video system, multimedia information networks, distributed multimedia information services, semantically synchronized multimedia objects, distributed workstation environment, data output timing, packet stream regulation, audio/video transmission system architecture, strict synchronization, relaxed synchronization, silence-detected synchronization, operating system environments, interprocess communication functions, tasks/threads, synchronization accuracy evaluation, performance evaluation, performance evaluation, timing, UNIX, packet switching, synchronisation, multimedia communication, rate control, network operating systems, access protocols, information networks, continuous media, Mach, load conditions
25	Qinqin Ji, Dabin Zheng, Hao Chen 0029, Xiaoqiang Wang 0001	Strict Half-Singleton Bound, Strict Direct Upper Bound for Linear Insertion-Deletion Codes and Optimal Codes.	IEEE Trans. Inf. Theory	2023	DBLP DOI BibTeX RDF
25	Qinqin Ji, Dabin Zheng, Hao Chen 0029, Xiaoqiang Wang 0001	Strict Half-Singleton Bound, Strict Direct Upper Bound for Linear Insertion-Deletion Codes and Optimal Codes.	CoRR	2022	DBLP DOI BibTeX RDF
25	Pavol Hell, César Hernández-Cruz	Strict chordal and strict split digraphs.	Discret. Appl. Math.	2017	DBLP DOI BibTeX RDF
25	Diego de S. Madeira, Jürgen Adamy	On the Equivalence Between Strict Positive Realness and Strict Passivity of Linear Systems.	IEEE Trans. Autom. Control.	2016	DBLP DOI BibTeX RDF
25	Josef Diblík, Jirí Vítovec	Asymptotic behavior of solutions of systems of dynamic equations on time scales in a set whose boundary is a combination of strict egress and strict ingress points.	Appl. Math. Comput.	2014	DBLP DOI BibTeX RDF
25	Carlo A. Furia, Matteo Rossi	No Need to Be Strict: On the Expressiveness of Metric Temporal Logics with (Non-)strict Operators.	Bull. EATCS	2007	DBLP BibTeX RDF
25	A. P. Wim Böhm, Jeffrey Hammes	On the memory performance of pure and impure, strict and non-strict functional programs.	PARCO	1999	DBLP BibTeX RDF
25	Robert F. Stärk	Why the Constant 'Undefined'? Logics of Partial Terms for Strict and Non-Strict Functional Programming Languages.	J. Funct. Program.	1998	DBLP DOI BibTeX RDF
25	W. Richard Stark	A Forcing Approach to Strict-II11 Reflection and Strict-II11 = ∑01.	Math. Log. Q.	1978	DBLP DOI BibTeX RDF
24	Jeremy Sproston	Strict Divergence for Probabilistic Timed Automata.	CONCUR	2009	DBLP DOI BibTeX RDF
24	Lauri Hella, Merlijn Sevenster, Tero Tulenheimo	Partially Ordered Connectives and Monadic Monotone Strict NP.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Henkin quantifiers, MMSNP, Partially ordered connectives, Constraint satisfaction problems, SNP, Generalized quantifiers
24	Kuang-Yow Lian, Hui-Wen Tu	LMI-Based Adaptive Tracking Control for Parametric Strict-Feedback Systems.	IEEE Trans. Fuzzy Syst.	2008	DBLP DOI BibTeX RDF
24	A. W. Roscoe 0001	The Three Platonic Models of Divergence-Strict CSP.	ICTAC	2008	DBLP DOI BibTeX RDF
24	Nityananda Sarma, Aditya Singh, Sukumar Nandi	A Strict Priority Based QoS-Aware MAC Protocol for Mobile Ad Hoc Networks.	ICDCIT	2008	DBLP DOI BibTeX RDF	Real-time and best-effort traffic, Quality of Service (QoS), Mobile Ad Hoc Networks (MANETs), Medium Access Control
24	Witold Respondek, Issa Amadou Tall	Feedback linearizability of strict feedforward systems.	CDC	2008	DBLP DOI BibTeX RDF
24	Christian Storm, Timo Warns, Oliver E. Theel	Flexible Heterogeneous Strict Quorum-Based Dynamic Data Replication Schemes.	PRDC	2008	DBLP DOI BibTeX RDF
24	Yang Song 0002, Zhenyu Liu 0001, Takeshi Ikenaga, Satoshi Goto	Enhanced Strict Multilevel Successive Elimination Algorithm for Fast Motion Estimation.	ISCAS	2007	DBLP DOI BibTeX RDF
24	I. Chen, Mabo Robert Ito	Reliable Strict Quality-of-Service with Unreserved Backup Paths.	AINA	2007	DBLP DOI BibTeX RDF
24	Chi-Kin Chau	Policy-based routing with non-strict preferences.	SIGCOMM	2006	DBLP DOI BibTeX RDF	policy-based routing, robustness
24	Jean-Philippe Georges, Thierry Divoux, Eric Rondeau	Strict Priority versus Weighted Fair Queueing in Switched Ethernet Networks for Time Critical Applications.	IPDPS	2005	DBLP DOI BibTeX RDF
24	Denis Béchet, Annie Foret	k-Valued Non-associative Lambek Grammars (Without Product) Form a Strict Hierarchy of Languages.	LACL	2005	DBLP DOI BibTeX RDF
24	Baltasar Trancón y Widemann	V->M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions.	IFL	2004	DBLP DOI BibTeX RDF
24	Alfredo Cristóbal-Salas, Andrei Tchernykh, Jean-Luc Gaudiot	Non-strict Evaluation of the FFT Algorithm in Distributed Memory Systems.	PVM/MPI	2003	DBLP DOI BibTeX RDF
24	Wolfgang Blochinger, Wolfgang Küchlin	The Design of an API for Strict Multithreading in C++.	Euro-Par	2003	DBLP DOI BibTeX RDF
24	Cláudia Linhares Sales, Frédéric Maffray, Bruce A. Reed	Recognizing Planar Strict Quasi-Parity Graphs.	Graphs Comb.	2001	DBLP DOI BibTeX RDF
24	Fumitaka Hoshino, Masayuki Abe, Tetsutaro Kobayashi	Lenient/Strict Batch Verification in Several Groups.	ISC	2001	DBLP DOI BibTeX RDF
24	Siddhartha V. Tambat, Sriram Vajapeyam	Non-Strict Cache Coherence: Exploiting Data-Race Tolerance in Emerging Applications.	ICPP	2000	DBLP DOI BibTeX RDF