Search results for "side-effects"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
6	Orla Greevy, Stéphane Ducasse	Correlating Features and Code Using a Compact Two-Sided Trace Analysis Approach.	CSMR	2005	DBLP DOI BibTeX RDF	Feature-Traces, Software Metrics, Software Evolution, Dynamic Analysis, Feature
6	Massimiliano Di Penta	Evolution Doctor: A Framework to Control Software System Evolution.	CSMR	2005	DBLP DOI BibTeX RDF	Software Renovation, Clustering, Software Evolution
6	Aleksandar Kuzmanovic	The power of explicit congestion notification.	SIGCOMM	2005	DBLP DOI BibTeX RDF	congestion control, active queue management, explicit congestion notification
6	Jianming Ye, Joseph P. Loyall, Richard E. Schantz, Gary Duzan	Detection and Reaction to Unplanned Operational Events in Large Scale Distributed Real-Time Embedded Systems.	IPDPS	2005	DBLP DOI BibTeX RDF
6	Franck van Breugel, Mariya Koshkina	Dead-Path-Elimination in BPEL4WS.	ACSD	2005	DBLP DOI BibTeX RDF
6	Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll	Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2.	FMCO	2005	DBLP DOI BibTeX RDF
6	Woochun Jun, Sung-Keun Cho	A Web-Based Information Communication Ethics Education System for the Gifted Elementary School Students in Computer.	KES (2)	2005	DBLP DOI BibTeX RDF
6	Guang Chen 0003, Honggang Zhang 0002, Jun Guo 0002	Feature Extraction for Handwritten Chinese Character by Weighted Dynamic Mesh Based on Nonlinear Normalization.	ICAPR (1)	2005	DBLP DOI BibTeX RDF
6	John A. Bullinaria	Evolved Age Dependent Plasticity Improves Neural Network Performance.	HIS	2005	DBLP DOI BibTeX RDF
6	Wenliang Xiong, Harpreet Bajwa, Frank Maurer	WIT: A Framework for In-container Testing of Web-Portal Applications.	ICWE	2005	DBLP DOI BibTeX RDF
6	Peng Zhao, José Nelson Amaral	Function Outlining and Partial Inlining.	SBAC-PAD	2005	DBLP DOI BibTeX RDF
6	Moonzoo Kim, Jaejoon Lee, Kyo Chul Kang, Youngjin Hong, Seokwon Bang	Re-engineering software architecture of home service robots: a case study.	ICSE	2005	DBLP DOI BibTeX RDF	reactive systems, robot programming, software re-engineering
6	Dennis Walter, Lutz Schröder, Till Mossakowski	Parametrized Exceptions.	CALCO	2005	DBLP DOI BibTeX RDF
6	Akira Osada, Daigo Ozawa, Haruhiko Kaiya, Kenji Kaijiri	Modeling Software Characteristics and Their Correlations in A Specific Domain by Comparing Existing Similar Systems.	QSIC	2005	DBLP DOI BibTeX RDF	Requirements Engineering, Domain Modeling, Requirements elicitation
6	Sébastien Mahler, Denis Robilliard, Cyril Fonlupt	Tarpeian Bloat Control and Generalization Accuracy.	EuroGP	2005	DBLP DOI BibTeX RDF
6	Anne Marchant, Bill Tulloh	Using pre-release software to SPUR student learning.	SIGITE Conference	2005	DBLP DOI BibTeX RDF	SPUR, security, IT education, software evaluation
6	Elvira Albert, Germán Puebla, John P. Gallagher	Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates.	LOPSTR	2005	DBLP DOI BibTeX RDF
6	Yi Yin, Raghuvel S. Bhuvaneswaran, Yoshiaki Katayama, Naohisa Takahashi	Implementation of Packet Filter Configurations Anomaly Detection System with SIERRA.	ICICS	2005	DBLP DOI BibTeX RDF	Network security, anomaly detection, filter, configuration, Packet filtering
6	Alexander J. Macdonald, David F. Brailsford, Steven R. Bagley	Encapsulating and manipulating component object graphics (COGs) using SVG.	ACM Symposium on Document Engineering	2005	DBLP DOI BibTeX RDF	component object graphics, XML, SVG, parameterization, PDF
6	Walter Mesquita, Augusto Sampaio, Ana Cristina Vieira de Melo	A Strategy for the Formal Composition of Frameworks.	SEFM	2005	DBLP DOI BibTeX RDF
6	Marina Biberstein, Vugranam C. Sreedhar, Bilha Mendelson, Daniel Citron, Alberto Giammaria	Instrumenting annotated programs.	VEE	2005	DBLP DOI BibTeX RDF	custom attributes, meta-annotation, annotation, program instrumentation
6	Andrei Petrovski 0001, Bhavani Sudha, John A. W. McCall	Optimising Cancer Chemotherapy Using Particle Swarm Optimisation and Genetic Algorithms.	PPSN	2004	DBLP DOI BibTeX RDF
6	Jean Bézivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer	OCL and Model Driven Engineering.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
6	Emmanuel D. Pontikakis, Yannis Theodoridis, Achilleas A. Tsitsonis, LiWu Chang, Vassilios S. Verykios	A quantitative and qualitative ANALYSIS of blocking in association rule hiding.	WPES	2004	DBLP DOI BibTeX RDF	association rules hiding, blocking technique, data mining, privacy
6	Helen J. Wang, Chuanxiong Guo, Daniel R. Simon, Alf Zugenmaier	Shield: vulnerability-driven network filters for preventing known vulnerability exploits.	SIGCOMM	2004	DBLP DOI BibTeX RDF	generic protocol analyzer, network filter, vulnerability signature, worm defense, patching
6	Xiangrong Wang, Jun Xu, Christopher H. Pham	An Effective Method to Detect Software Memory Leakage Leveraged from Neuroscience Principles Governing Human Memory Behavior.	ISSRE	2004	DBLP DOI BibTeX RDF
6	Ricky E. Sward, A. T. Chamillard	Re-engineering global variables in Ada.	SIGAda	2004	DBLP DOI BibTeX RDF	ASIS, SPARK, global variables
6	Stephen-John Craig, Michael Leuschel	LIX: an Effective Self-applicable Partial Evaluator for Prolog.	FLOPS	2004	DBLP DOI BibTeX RDF	Logic Programming, Partial Evaluation, Tupling, Deforestation, Partial Deduction, Self-application
6	Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu	Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis.	SAS	2004	DBLP DOI BibTeX RDF
6	Woonseok Kim, Jihong Kim 0001, Sang Lyul Min	Preemption-aware dynamic voltage scaling in hard real-time systems.	ISLPED	2004	DBLP DOI BibTeX RDF	real-time systems, dynamic voltage scaling, low-power systems
6	Luigi Liquori, Bernard P. Serpette	iRho: an imperative rewriting calculus.	PPDP	2004	DBLP DOI BibTeX RDF	certied software, rewriting-calculus, pattern-matching, types, term rewriting systems, natural semantics
6	Scott M. Pike, Paolo A. G. Sivilotti	Dining Philosophers with Crash Locality 1.	ICDCS	2004	DBLP DOI BibTeX RDF
6	Jack B. Homer, Bobby Milstein	Optimal Decision Making in a Dynamic Model of Community Health.	HICSS	2004	DBLP DOI BibTeX RDF
6	Oscar R. Hernandez, Chunhua Liao, Barbara M. Chapman	Dragon: A Static and Dynamic Tool for OpenMP.	WOMPAT	2004	DBLP DOI BibTeX RDF
6	Hisashi Hayashi, Kenta Cho 0001, Akihiko Ohsuga	A New HTN Planning Framework for Agents in Dynamic Environments.	CLIMA	2004	DBLP DOI BibTeX RDF
6	Mark Harman, David W. Binkley, Ranjit Singh, Robert M. Hierons	Amorphous Procedure Extraction.	SCAM	2004	DBLP DOI BibTeX RDF
6	K. V. Seshu Kumar	Value reuse optimization: reuse of evaluated math library function calls through compiler generated cache.	ACM SIGPLAN Notices	2003	DBLP DOI BibTeX RDF	Function Cache, Function reuse, Compilers Optimization, Instruction reuse
6	Klaus Ruth	Industrial culture and the innovation of innovation: enginology or socioneering?	AI Soc.	2003	DBLP DOI BibTeX RDF	Industrial culture, Manufacturing culture, Reflexive modernity, Innovation of innovation
6	Nick Feamster, Hari Balakrishnan	Towards a logic for wide-area Internet routing.	Comput. Commun. Rev.	2003	DBLP DOI BibTeX RDF
6	Stefan Pleisch, André Schiper	Fault-Tolerant Mobile Agent Execution.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	nonblocking execution, exactly-once execution, fault tolerance, Mobile agents, agreement problem
6	Alberto Ciaffaglione, Luigi Liquori, Marino Miculan	Imperative Object-Based Calculi in Co-inductive Type Theories.	LPAR	2003	DBLP DOI BibTeX RDF
6	Ioannis Papaefstathiou	Titan II : An IPComp Processor for 10Gbit/sec networks.	ISVLSI	2003	DBLP DOI BibTeX RDF
6	Paulo S. L. M. Barreto, Ben Lynn, Michael Scott	On the Selection of Pairing-Friendly Groups.	Selected Areas in Cryptography	2003	DBLP DOI BibTeX RDF	group generators, elliptic curves, Tate pairing, pairing-based cryptosystems
6	Ingemar Dahlstrand	The Early Nordic Software Effort.	History of Nordic Computing	2003	DBLP DOI BibTeX RDF	Algol 60, Nordic historical efforts, compilers, Software
6	Tiehan Lv, Jörg Henkel, Haris Lekatsas, Wayne H. Wolf	Enhancing Signal Integrity through a Low-Overhead Encoding Scheme on Address Buses.	DATE	2003	DBLP DOI BibTeX RDF
6	Anne Brüggemann-Klein, Rolf Klein, Stefan Wohlfeil	On the Pagination of Complex Documents.	Computer Science in Perspective	2003	DBLP DOI BibTeX RDF
6	Eugenio Moggi, Sonia Fagorzi	A Monadic Multi-stage Metalanguage.	FoSSaCS	2003	DBLP DOI BibTeX RDF
6	Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén	Continutation Semantics for Parallel Haskell Dialects.	APLAS	2003	DBLP DOI BibTeX RDF
6	Hiroo Ishikawa, Tatsuo Nakajima	A Case Study on a Component-Based System and Its Configuration.	SCOPES	2003	DBLP DOI BibTeX RDF
6	Bernhard Scholz, Eduard Mehofer, R. Nigel Horspool	Partial Redundancy Elimination with Predication Techniques.	Euro-Par	2003	DBLP DOI BibTeX RDF
6	Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta 0001	A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms.	Euro-Par	2003	DBLP DOI BibTeX RDF
6	Brad Long, Benjamin W. Long	Formal Specification of Java Concurrency to Assist Software Verification.	IPDPS	2003	DBLP DOI BibTeX RDF
6	Tatsushi Inagaki, Tamiya Onodera, Hideaki Komatsu, Toshio Nakatani	Stride prefetching by dynamically inspecting objects.	PLDI	2003	DBLP DOI BibTeX RDF	Java just-in-time compiler, object inspection, stride prefetching
6	Claudia Golembiewski, Marit Hansen, Sandra Steinbrecher	Experiences Running a Web Anonymising Service.	DEXA Workshops	2003	DBLP DOI BibTeX RDF
6	Anasua Bhowmik, Manoj Franklin	A fast approximate interprocedural analysis for speculative multithreading compilers.	ICS	2003	DBLP DOI BibTeX RDF	pointer analysis, thread-level parallelism (TLP), interprocedural analysis, speculative multithreading (SpMT)
6	Lionel C. Briand, Yvan Labiche, Leeshawn O'Sullivan	Impact Analysis and Change Management of UML Models.	ICSM	2003	DBLP DOI BibTeX RDF
6	YongHoon Yi, MyongJae Kim, YoungLok Lee, HyungHyo Lee, BongNam Noh	Applying RBAC Providing Restricted Permission Inheritance to a Corporate Web Environment.	APWeb	2003	DBLP DOI BibTeX RDF
6	Philip R. Cohen, C. Raymond Perrault	Elements of a Plan-Based Theory of Speech Acts.	Communication in Multiagent Systems	2003	DBLP DOI BibTeX RDF
6	James Abello, Adam L. Buchsbaum, Jeffery R. Westbrook	A Functional Approach to External Graph Algorithms.	Algorithmica	2002	DBLP DOI BibTeX RDF	Functional programming, Graph algorithms, Minimum spanning trees, Connected components, External memory algorithms, Maximal independent sets, Maximal matchings
6	Jean-Claude Royer	An Operational Approach to the Semantics of Classes: Application to Type Checking.	Program. Comput. Softw.	2002	DBLP DOI BibTeX RDF
6	Holk Cruse	The functional sense of central oscillations in walking.	Biol. Cybern.	2002	DBLP DOI BibTeX RDF
6	Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, Akinori Yonezawa	Supporting objects in run-time bytecode specialization.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	program transformation, partial evaluation, specialization, object-oriented paradigm
6	Jonathan Aldrich, Valentin Kostadinov, Craig Chambers	Alias annotations for program understanding.	OOPSLA	2002	DBLP DOI BibTeX RDF	aliasjava, java, type inference, aliasing, encapsulation, ownership types, uniqueness
6	Philippa J. Broadfoot, A. W. Roscoe 0001	Capturing Parallel Attacks within the Data Independence Framework.	CSFW	2002	DBLP DOI BibTeX RDF
6	Howard Barnum, Claude Crépeau, Daniel Gottesman, Adam D. Smith, Alain Tapp	Authentication of Quantum Messages.	FOCS	2002	DBLP DOI BibTeX RDF	Authentication, quantum information
6	Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen	Verification for Java's Reentrant Multithreading Concept.	FoSSaCS	2002	DBLP DOI BibTeX RDF
6	Alessandro Bianchi, Danilo Caivano, Giuseppe Visaggio	Quality Models Reuse: Experimentation on Field.	COMPSAC	2002	DBLP DOI BibTeX RDF
6	Peter Buneman, Sanjeev Khanna, Wang Chiew Tan	On Propagation of Deletions and Annotations Through Views. (PDF / PS)	PODS	2002	DBLP DOI BibTeX RDF
6	Naoki Kobayashi 0001	Type Systems for Concurrent Programs.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF
6	Jacob Zimmermann, Ludovic Mé, Christophe Bidan	Introducing Reference Flow Control for Detecting Intrusion Symptoms at the OS Level.	RAID	2002	DBLP DOI BibTeX RDF
6	Horst F. Wedde, Arnim Wedig	Explicit Modeling of Influences, and of Their Absence, in Distributed Systems.	TACAS	2002	DBLP DOI BibTeX RDF
6	James E. Tomayko	Managing Evolving Requirements Using eXtreme Programming.	Soft-Ware	2002	DBLP DOI BibTeX RDF
6	Jorma Sajaniemi	View Definitions for Language-Independent Multiple-View Program Comprehension and Editing.	VISSOFT	2002	DBLP DOI BibTeX RDF
6	Shin-ichi Hanaki, Suriyon Tansuriyavong, Masayoshi Endo	Experiences in VILLA: a mixed reality space to support group activities.	CVE	2002	DBLP DOI BibTeX RDF	virtual place, CSCW, groupware, awareness, mixed reality
6	Azzedine Boukerche, Pattabiraman Vikram	A Dynamic Bandwidth Management Scheme for Wireless Multimedia Systems.	LCN	2002	DBLP DOI BibTeX RDF
6	Jeffrey T. Oplinger, Monica S. Lam	Enhancing software reliability with speculative threads.	ASPLOS	2002	DBLP DOI BibTeX RDF
6	Svend Frølund, Rachid Guerraoui	X-Ability: a theory of replication.	Distributed Comput.	2001	DBLP DOI BibTeX RDF	Exactly-once, Correctness condition, Replication, High-availability, Multi-tier systems
6	Xudong Jiang 0001	A study of fingerprint image filtering.	ICIP (3)	2001	DBLP DOI BibTeX RDF
6	Michael Ochs, Dietmar Pfahl, Gunther Chrobok-Diening, Beate Nothhelfer-Kolb	A Method for Efficient Measurement-based COTS Assessment and Selection -Method Description and Evaluation Results.	IEEE METRICS	2001	DBLP DOI BibTeX RDF
6	José M. Álvarez 0003, Tony Clark 0001, Andy Evans, Paul Sammut	An Action Semantics for MML.	UML	2001	DBLP DOI BibTeX RDF
6	Jordan Dimitrov	Operational Semantics for Verilog.	APSEC	2001	DBLP DOI BibTeX RDF
6	John W. Byers, Gu-In Kwon	STAIR: Practical AIMD Multirate Multicast Congestion Control.	Networked Group Communication	2001	DBLP DOI BibTeX RDF
6	Thomas Hinze, Uwe Hatnik, Monika Sturm 0002	An Object Oriented Simulation of Real Occurring Molecular Biological Processes for DNA Computing and Its Experimental Verification.	DNA	2001	DBLP DOI BibTeX RDF
6	Ron Sher, Yariv Aridor, Opher Etzion	Mobile Transactional Agents.	ICDCS	2001	DBLP DOI BibTeX RDF
6	Victoria Ungureanu	A Regulated Approach to Certificate Management.	ACSAC	2001	DBLP DOI BibTeX RDF
6	Leonard Leibovici, Michal Fishman, Henrik C. Schønheyder, Christian Riekehr, Brian Kristensen, Ilana Shraga, Steen Andreassen	A Causal Probabilistic Network for Optimal Treatment of Bacterial Infections.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	Causal probabilistic networks, bacterial infections, bacteremia, antibiotic treatment, cost-effectiveness
6	Reinhard von Hanxleden, Ken Kennedy	A balanced code placement framework.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	Tarjan intervals, data-flow analysis, high performance Fortran, latency hiding, partial redundancy elimination, Fortran D
6	Gilles Barthe, Bernard P. Serpette	Static Reduction Analysis for Imperative Object Oriented Languages.	LPAR	2000	DBLP DOI BibTeX RDF
6	Yusuke Nakamura	Human genome analysis and medicine in the 21st century (abstract only).	RECOMB	2000	DBLP DOI BibTeX RDF
6	Alessandro Bianchi, Giuseppe Visaggio, Anna Rita Fasolino	An Exploratory Case Study of the Maintenance Effectiveness of Traceability Models.	IWPC	2000	DBLP DOI BibTeX RDF	maintenance efficiency, object-oriented, traceability, impact analysis
6	John F. Roddick, Michael Schrefl	Towards an Accommodation of Delay in Temporal Active Databases.	Australasian Database Conference	2000	DBLP DOI BibTeX RDF
6	Rastislav Bodík, Rajiv Gupta 0001, Vivek Sarkar	ABCD: eliminating array bounds checks on demand.	PLDI	2000	DBLP DOI BibTeX RDF
6	M. Michael Shabot, Mark LoBue, Jeannie Chen	Wireless Clinical Alerts for Critical Medication, Laboratory and Physiologic Data.	HICSS	2000	DBLP DOI BibTeX RDF
6	Sergej Sawitzki, Rainer G. Spallek, Jens Schönherr, Bernd Straube	Formal Verification for Microprocessors with Extendable Instruction Set.	ASAP	2000	DBLP DOI BibTeX RDF	reconfigurable processor architecture, abstraction techniques, formal verification, pipeline processor
6	Zhengyuan Daniel Xu	Projection-Based Multiuser Receiver over Frequency Selective Channels.	ITCC	2000	DBLP DOI BibTeX RDF
6	Marieke Huisman, Bart Jacobs 0001	Java Program Verification via a Hoare Logic with Abrupt Termination.	FASE	2000	DBLP DOI BibTeX RDF
6	Alexander D. Stoyen, Thomas J. Marlowe, Mohamed F. Younis, Plamen V. Petrov	A Development Environment for Complex Distributed Real-Time Applications.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	Engineering of complex distributed real-time systems, integrated tool suites, user-transparent handling of complexity, runtime kernels, code transformers and optimizers, schedulability analyzers, compilation, C++, monitoring, debugging, allocation, CRL
6	Wamberto Weber Vasconcelos	A Flexible Framework for Dynamic and Static Slicing of Logic Programs.	PADL	1999	DBLP DOI BibTeX RDF	Logic program slicing, program analysis & understanding
6	Ilya Lipkind, Igor Pechtchanski, Vijay Karamcheti	Object Views: Language Support for Intelligent Object Caching in Parallel and Distributed Computations.	OOPSLA	1999	DBLP DOI BibTeX RDF	Java, Java, views, distributed objects, collaborative applications, object representation, shared objects, object caching
6	Gonzalo Navarro 0001, Ricardo A. Baeza-Yates	Fast Multi-dimensional Approximate Pattern Matching.	CPM	1999	DBLP DOI BibTeX RDF