Search results for "set"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Biwei Liu, Shuming Chen	Fast and Accurate Estimate SET Voltage Pulses from Transient Currents Induced by Heavy Ion.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	voltage pulse, radiation effect, SET
1	Biwei Liu, Shuming Chen, Hu Xiao	Analysis of Glitch Reconvergence in Combinational Logic SER Estimation.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	Reconvergence, SER esitmation, SET
1	Lorenzo Petroli, Carlos Arthur Lang Lisbôa, Fernanda Lima Kastensmidt, Luigi Carro	Majority Logic Mapping for Soft Error Dependability.	J. Electronic Testing	2008	DBLP DOI BibTeX RDF	Majority gates, Fault tolerance, SET, Majority logic
1	Eduardo Luis Rhod, Carlos Arthur Lang Lisbôa, Luigi Carro, Matteo Sonza Reorda, Massimo Violante	Hardware and Software Transparency in the Protection of Programs Against SEUs and SETs.	J. Electronic Testing	2008	DBLP DOI BibTeX RDF	Instruction hardening, SET, SEU, Infrastructure IP
1	Krzysztof Sacha (eds.)	Software Engineering Techniques: Design for Quality, SET 2006, October 17-20, 2006, Warsaw, Poland	SET	2007	DBLP DOI BibTeX RDF
1	Michal Zgrzywa	Determining Consensus with Dependencies of Set Attributes Using Symmetric Difference.	KES	2007	DBLP DOI BibTeX RDF	Distributed system, Dependency, Conflict, Set, Consensus theory
1	Decheng Ding, Klaus Weihrauch, Yongcheng Wu	Absolutely Non-effective Predicates and Functions in Computable Analysis.	TAMC	2007	DBLP DOI BibTeX RDF	measure, computability, representation, set, undecidability
1	Marcin Szpyrka, Tomasz Szmuc	Integrated Approach to Modelling and Analysis using RTCP-nets.	SET	2006	DBLP DOI BibTeX RDF
1	Henryk Krawczyk, Konrad Dusza, Lukasz Budnik, Lukasz Byczkowski	Multidimensional Legacy Aspects of Modernizing Web Based Systems.	SET	2006	DBLP DOI BibTeX RDF
1	Gergely Mezei, Tihamer Levendovszky, Hassan Charaf	An optimizing OCL Compiler for Metamodeling and Model Transformation Environments.	SET	2006	DBLP DOI BibTeX RDF
1	Anna Derezinska	Advanced mutation operators applicable in C# programs.	SET	2006	DBLP DOI BibTeX RDF
1	Jerzy Miescicki	Verification of UML State Diagrams Using Concurrent State Machines.	SET	2006	DBLP DOI BibTeX RDF
1	Aleksy Schubert, Jacek Chrzaszcz	ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications.	SET	2006	DBLP DOI BibTeX RDF
1	Timea Illes, Barbara Paech	An Analysis of Use Case Based Testing Approaches Based on a Defect Taxonomy.	SET	2006	DBLP DOI BibTeX RDF
1	Leszek A. Maciaszek	From Hubs Via Holons to an Adaptive Meta-Architecture - the "AD-HOC" Approach.	SET	2006	DBLP DOI BibTeX RDF
1	Norman E. Fenton, Lukasz Radlinski, Martin Neil	Improved Bayesian Networks for Software Project Risk Assessment Using Dynamic Discretisation.	SET	2006	DBLP DOI BibTeX RDF
1	Maciej Dorsz, Mariusz Wasielewski	Automatic software validation process.	SET	2006	DBLP DOI BibTeX RDF
1	Krzysztof Goczyla, Teresa Zawadzka, Michal Zawadzki	Managing Data from Heterogeneous Data Sources Using Knowledge Layer.	SET	2006	DBLP DOI BibTeX RDF
1	Kurt Geihs, Mohammad Ullah Khan, Roland Reichle, Arnor Solberg, Svein O. Hallsteinsen	Modeling of Component-Based Self-Adapting Context-Aware Applications for Mobile Devices.	SET	2006	DBLP DOI BibTeX RDF
1	Pawel Czarnul	Reaching and Maintaining High Quality of Distributed J2EE Applications - BeesyCluster Case Study.	SET	2006	DBLP DOI BibTeX RDF
1	Konrad Kulakowski	Hybrid modeling and verification of Java based software.	SET	2006	DBLP DOI BibTeX RDF
1	Bixin Li, Yancheng Wang, Lili Yang	An Integrated Regression Testing Framework to Multi-Threaded Java Programs.	SET	2006	DBLP DOI BibTeX RDF	Regression testing, Multi-threaded program, Reachability testing
1	Barbara Begier, Jacek Wdowicki	Feedback from Users on a Software Product to Improve Its Quality in Engineering Applications.	SET	2006	DBLP DOI BibTeX RDF
1	Andreas Bollin	Crossing the Borderline - From Formal to Semi-Formal Specifications.	SET	2006	DBLP DOI BibTeX RDF
1	Leszek Kotulski, Adrian Nowak	Formalizing Software Refactoring in the Distributed Environment by aedNLC Graph Grammar.	SET	2006	DBLP DOI BibTeX RDF
1	Tomasz Babczynski, Jan Magott	Estimation of mean response time of multi-agent systems.	SET	2006	DBLP DOI BibTeX RDF
1	Pawel Sieniawski, Bogdan Trawinski	An Open Platform of Data Quality Monitoring for ERP Information Systems.	SET	2006	DBLP DOI BibTeX RDF	Data quality monitoring, data quality metrics, ERP information systems, problem intensity charts
1	Iwona Dubielewicz, Bogumila Hnatkowska, Zbigniew Huzar, Lech Tuzinkiewicz	An Approach to Software Quality Specification and Evaluation (SPoQE).	SET	2006	DBLP DOI BibTeX RDF
1	Yong Zhang, Tao Huang, Jun Wei, Ningjiang Chen	A Performance Analysis Infrastructure for Component-Based System Hosted by Middleware.	SET	2006	DBLP DOI BibTeX RDF
1	Pawel Pierzchalka	An evolutionary approach to project management process improvement for software-intensive projects.	SET	2006	DBLP DOI BibTeX RDF
1	Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau	A C++ Refactoring Browser and Method Extraction.	SET	2006	DBLP DOI BibTeX RDF
1	Marcin Gorawski, Pawel Marks	Checkpoint-based resumption in data warehouses.	SET	2006	DBLP DOI BibTeX RDF
1	Tereza G. Kirner, Lourdes E. Gonçalves	Software Risk Management: a Process Model and a Tool.	SET	2006	DBLP DOI BibTeX RDF
1	Jacek Chrzaszcz, Tomasz Stachowicz, Andrzej Gasienica-Samek, Aleksy Schubert	Minik: A Tool for Maintaining Proper Java Code Structure.	SET	2006	DBLP DOI BibTeX RDF
1	Nour Ali, Jennifer Pérez, Cristóbal Costa Soria, Isidro Ramos, José A. Carsí	Mobile Ambients in Aspect-Oriented Software Architectures.	SET	2006	DBLP DOI BibTeX RDF
1	Piotr Kolaczkowski, Ilona Bluemke	A C++ Workbench with Accurate Non-Blocking Garbage Collector for Server Side Internet Applications.	SET	2006	DBLP DOI BibTeX RDF
1	Pawel Klaczewski, Jacek Wytrebowicz	j2eeprof - a tool for testing multitier applications.	SET	2006	DBLP DOI BibTeX RDF
1	Marcin Wolski, Cezary Mazurek, Pawel Spychala, Aleksander Sumowski	The architecture of distributed systems driven by autonomic patterns.	SET	2006	DBLP DOI BibTeX RDF
1	Juan P. Galeotti, Marcelo F. Frias	DynAlloy as a Formal Method for the Analysis of Java Programs.	SET	2006	DBLP DOI BibTeX RDF
1	Yan Zhang, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng	Scenario-based Component Behavior Filtration.	SET	2006	DBLP DOI BibTeX RDF
1	Tilo Mücke, Michaela Huhn	Minimizing Test Execution Time During Test Generation.	SET	2006	DBLP DOI BibTeX RDF
1	Bartosz Bogacki, Bartosz Walter	Aspect-oriented Response Injection: an Alternative to Classical Mutation Testing.	SET	2006	DBLP DOI BibTeX RDF
1	Krzysztof Sacha	Preface.	SET	2006	DBLP BibTeX RDF
1	Yehuda Afek, Eran Shalom	Less Is More: Consensus Gaps Between Restricted and Unrestricted Objects.	DISC	2006	DBLP DOI BibTeX RDF	Consensus hierarchy, Common2, Bounded-use, Bounded-size, Long-lived, Fetch&Add, Queues, Stacks, Set, Wait-free, Swap
1	Dale Jacquette	Propositions, Sets, and Worlds.	Studia Logica	2006	DBLP DOI BibTeX RDF	Abstract entity, Jubien, Michael, logically possible world, modal actualism, modal (platonic) realism, ontological commitment, ontology, modal logic, set, proposition
1	Egas Henes Neto, Ivandro Ribeiro, Michele G. Vieira, Gilson I. Wirth, Fernanda Lima Kastensmidt	Evaluating fault coverage of bulk built-in current sensor for soft errors in combinational and sequential logic.	SBCCI	2005	DBLP DOI BibTeX RDF	SEU and soft error detection, SET, BICS
1	Adam Wierman, Mor Harchol-Balter	Classifying scheduling policies with respect to higher moments of conditional response time.	SIGMETRICS	2005	DBLP DOI BibTeX RDF	FB, PSJF, foreground-background, least attained service, shortest job first, scheduling, predictability, response time, variance, SET, processor sharing, M/G/1, SRPT, LAS, shortest remaining processing time, PS, cumulants
1	Blerim Rexha	Increasing User Privacy in Online Transactions with X.509 v3 Certificate Private Extensions and Smartcards.	CEC	2005	DBLP DOI BibTeX RDF	X.509 v3 identity and attribute certificates, security, privacy, digital signature, encryption, smartcards, non-repudiation, SET, online transaction
1	Sorin Dan Cotofana, Casper Lageweg, Stamatis Vassiliadis	Addition Related Arithmetic Operations via Controlled Transport of Charge.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	single electron technology, electron counting, multiplication, SET, addition
1	Arnold W. Miller	The gamma-borel conjecture.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Hechler forcing, Laver forcing, Strong measure zero set, set
1	Rosario De Chiara, Ugo Erra, Vittorio Scarano	A visual adaptive interface to file systems.	AVI	2004	DBLP DOI BibTeX RDF	venn, user interfaces, adaptivity, set, Venn diagram
1	Christoph Wasshuber	Recent advances and future prospects in single-electronics.	DAC	2003	DBLP DOI BibTeX RDF	random background charge, single-electron logic, SET, MOSFET
1	Adam Wierman, Mor Harchol-Balter	Classifying scheduling policies with respect to unfairness in an M/GI/1.	SIGMETRICS	2003	DBLP DOI BibTeX RDF	FB, least attained service, shortest elapsed time, scheduling, feedback, SET, processor sharing, M/G/1, SRPT, slowdown, LAS, unfairness, shortest remaining processing time, PS
1	Ahmed Khoumsi	A Method for Testing the Conformance of Real Time Systems.	FTRTFT	2002	DBLP DOI BibTeX RDF	GeneralizedWp-Method, Timed Automata (TA), se-FSA, Exp, Real-time systems, Conformance testing, Test cases generation, Set, Test architecture
1	Ty van den Akker, Quinn Snell, Mark J. Clement	The YGuard access control model: set-based access control.	SACMAT	2001	DBLP DOI BibTeX RDF	XSet, XWeb, YGuard, XML, XML, WEB, set, access control model, access control list
1	Volker Kessler, Heike Neumann	A Sound Logic for Analysing Electronic Commerce Protocols.	ESORICS	1998	DBLP DOI BibTeX RDF	logic of authentication, Payword, semantics, Electronic commerce, formal analysis, SET, micropayment
1	Elke A. Rundensteiner, Lubomir Bic	Set Operations in Object-Based Data Models.	IEEE Trans. Knowl. Data Eng.	1992	DBLP DOI BibTeX RDF	object-based data models, set theoretic operations, symmetric difference, set membership, inheritance rules, property characteristics, single-valued, property inheritance, semantics, object-oriented databases, type, database systems, set, intersection, complex objects, set operations, union, set difference, multivalued
1	David Haussler	Generalizing the PAC Model: Sample Size Bounds From Metric Dimension-based Uniform Convergence Results	FOCS	1989	DBLP DOI BibTeX RDF	hypothesis error, distribution specific uniform convergence, metric dimension-based uniform convergence results, probably approximately correct, learning functions, independent draws, unknown probability, bounded real-valued loss function, average loss, empirical error estimates, true error rates, real-valued functions, bounded metric space, distribution-independent uniform convergence result, set, learnability, feedforward neural nets, VC dimension, learning from examples, PAC model
1	Franco P. Preparata, Roberto Tamassia	Fully Dynamic Techniques for Point Location and Transitive Closure in Planar Structures (Extended Abstract)	FOCS	1988	DBLP DOI BibTeX RDF	insertion/deletion, fully dynamic techniques, planar structures, planar st-graph, transitive-closure queries, monotone subdivisions, chain method, Lee-Preparata, data structure, update, edges, transitive closure, faces, set, vertices, total orders, point location
1	James Renegar	A Faster PSPACE Algorithm for Deciding the Existential Theory of the Reals	FOCS	1988	DBLP DOI BibTeX RDF	real polynomials, PSPACE algorithm, existential theory, atomic predicates, Boolean function, set, decision problem
1	C. A. Lang, J. C. Gray	Programming Techniques: ASP - a ring implemented associative structure package.	Commun. ACM	1968	DBLP DOI BibTeX RDF	ring structure lists, modeling, data structure, languages, graphics, associative, set, list structure