|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 666 occurrences of 516 keywords
|
|
|
Results
Found 886 publication records. Showing 886 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
74 | Stephan Herhut, Sven-Bodo Scholz, Clemens Grelck |
Controlling chaos: on safe side-effects in data-parallel operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAMP ![In: Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, DAMP 2009, Savannah, GA, USA, January 20, 2009, pp. 59-67, 2009, ACM, 978-1-60558-417-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
concurrent side-effects, non-determinism, functional programming languages |
57 | Shawn Outman |
Identifying task-level parallelism by functional transformation with side-effect domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 47th Annual Southeast Regional Conference, 2009, Clemson, South Carolina, USA, March 19-21, 2009, 2009, ACM, 978-1-60558-421-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
static optimization, parallel programming, side effects |
49 | Jon D. Duke, Anthony Faiola, Hadi Kharrazi |
A Novel Visualization Tool for Evaluating Medication Side-Effects in Multi-drug Regimens. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (4) ![In: Human-Computer Interaction. Interacting in Various Application Domains, 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part IV, pp. 478-487, 2009, Springer, 978-3-642-02582-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
adverse reactions, information visualization, medical informatics, medications, side-effects |
49 | Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon |
XML query optimization in the presence of side effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2008, Vancouver, BC, Canada, June 10-12, 2008, pp. 339-352, 2008, ACM, 978-1-60558-102-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
optimization, xquery, xml, updates, algebra, side-effects |
49 | Carlo Curino, Yuanyuan Jia, Bruce Lambert, Patricia M. West, Clement T. Yu |
Mining officially unrecognized side effects of drugs by combining web search and machine learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2005 ACM CIKM International Conference on Information and Knowledge Management, Bremen, Germany, October 31 - November 5, 2005, pp. 365-372, 2005, ACM, 1-59593-140-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
accurate retrieval, mining side effects of drugs, machine learning, precision |
49 | K. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou |
Using Data Groups to Specify and Check Side Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Berlin, Germany, June 17-19, 2002, pp. 246-257, 2002, ACM, 1-58113-463-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
alias confinement, data groups, frame conditions, modifies lists, modular soundness, owner exclusion, pivot uniqueness, verification, side effects |
47 | David von Oheimb, Tobias Nipkow |
Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings, pp. 89-105, 2002, Springer, 3-540-43928-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Java, Hoare logic, side effects, dynamic binding, Isabelle/HOL, auxiliary variables |
45 | Don Ihde |
Technology and prognostic predicaments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 13(1-2), pp. 44-51, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Assessment, Ethics, Side effects, Research and development, Prognosis |
44 | Nahid Shahmehri, Peter Fritzson |
Algorithmic Debugging for Imperative Languages with Side-Effects (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Compilers, Third International Workshop on Compiler Construction, CC'90, Schwerin, Germany, October 22-26, 1990, Proceedings, pp. 226-227, 1990, Springer, 3-540-53669-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
43 | Tachio Terauchi, Alexander Aiken |
Witnessing side-effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, pp. 105-115, 2005, ACM, 1-59593-064-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
functional languages, side-effects |
41 | Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
Shifting the stage: staging with delimited control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009, pp. 111-120, 2009, ACM, 978-1-60558-327-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
delimited control, multilevel languages, mutable state, staged programming, code generation, continuations, side effects |
40 | Zhiyi Huang 0001, Chengzheng Sun, Abdul Sattar 0001 |
Selective Recomputation for Handling Side-Effects in Parallel Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings, pp. 275-289, 1997, Springer, 3-540-63398-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
OR-forest, Parallel Processing, Logic Programming, Side-effect, OR-parallelism, AND-parallelism |
38 | Jon G. Riecke, Ramesh Viswanathan |
Isolating Side Effects in Sequential Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995, pp. 1-12, 1995, ACM Press, 0-89791-692-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Standard ML |
37 | John M. Lucassen, David K. Gifford |
Polymorphic Effect Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, California, USA, January 10-13, 1988, pp. 47-57, 1988, ACM Press, 0-89791-252-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
37 | Tachio Terauchi, Alex Aiken |
Witnessing side effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 30(3), pp. 15:1-15:42, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mutable state, side effects |
37 | Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang |
Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1998, Clearwater Beach, Florida, USA, March 2-5, 1998, pp. 21-31, 1998, ACM, 0-89791-971-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
interprocedual data-flow analysis, modification side effects, pointer aliasing, empirical study, C, context sensitivity, flow sensitivity |
36 | Peiyi Tang |
Exact Side Effects for Interprocedural Dependence Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Supercomputing ![In: Proceedings of the 7th international conference on Supercomputing, ICS 1993, Tokyo, Japan, July 20-22, 1993, pp. 137-146, 1993, ACM, 0-89791-600-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
35 | Edward H. Bensley, Thomas J. Brando, J. C. Fohlin, Myra Jean Prelle, Ann Wollrath |
MITRE's future generation computer architectures program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 99-101, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Flemming Nielson, Hanne Riis Nielson |
Type and Effect Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correct System Design ![In: Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel), pp. 114-136, 1999, Springer, 3-540-66624-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Polymorphic type systems, effect annotations, subeffecting and subtyping, type inference algorithms, syntactic soundness and completeness, Analyses for control flow, binding times, region structure and communication structure, side effects, semantic correctness |
33 | Kenichi Asai, Hidehiko Masuhara, Akinori Yonezawa |
Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997, pp. 12-21, 1997, ACM, 0-89791-917-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
32 | Ho-Leung Chan, Jeff Edmonds, Kirk Pruhs |
Speed scaling of processes with arbitrary speedup curves on a multiprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2009: Proceedings of the 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures, Calgary, Alberta, Canada, August 11-13, 2009, pp. 1-10, 2009, ACM, 978-1-60558-606-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
scheduling, speed scaling |
32 | Yi-Hung Wu, Chia-Ming Chiang, Arbee L. P. Chen |
Hiding Sensitive Association Rules with Limited Side Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 19(1), pp. 29-42, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
rule hiding, data mining, Association rules, mining methods and algorithms |
32 | Takao Tenma, Yasuomi Sato, Yasuhiko Morimoto, Minoru Tanaka, Tadao Ichikawa |
A Modification Support System - Automatic Correction of Side-Effects Caused by Type Modifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the ACM 18th Annual Computer Science Conference on Cooperation, CSC '90, Sheraton Washington Hotel, Washington, DC, USA, February 20-22, 1990, pp. 154-160, 1990, ACM, 0-89791-348-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
31 | Albert Tannous, Jonathan T. Trostle, Mohamed Hassan, Stephen E. McLaughlin, Trent Jaeger |
New Side Channels Targeted at Passwords. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: Twenty-Fourth Annual Computer Security Applications Conference, ACSAC 2008, Anaheim, California, USA, 8-12 December 2008, pp. 45-54, 2008, IEEE Computer Society, 978-0-7695-3447-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Alberto Ciaffaglione, Luigi Liquori, Marino Miculan |
Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MERLIN ![In: Eighth ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2003, Uppsala, Sweden, August 2003, 2003, ACM, 978-1-58113-800-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
logical foundations of programming, object-based calculi with side-effects, program and system verification, logical frameworks, interactive theorem proving |
31 | Rainer Leupers, Peter Marwedel |
Time-constrained code compaction for DSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Proceedings of the 8th International Symposium on System Synthesis (ISSS 1995), September 13-15, 1995, Cannes, France, pp. 54-59, 1995, ACM, 0-89791-771-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
code generation techniques, digital signal processing algorithms, encoding restrictions, exact timing behavior, hard real-time constraints, integer programming model, local code compaction, programmable DSP, rigid heuristics, time-constrained code compaction, real-time systems, timing, integer programming, instruction-level parallelism, source coding, automatic programming, digital signal processing chips, side-effects |
31 | Pierre David |
Semantic Analysis for Parallelizing C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONPAR ![In: Parallel Processing: CONPAR 92 - VAPP V, Second Joint International Conference on Vector and Parallel Processing, Lyon, France, September 1-4, 1992, Proceedings, pp. 647-652, 1992, Springer, 3-540-55895-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
compilation, types, automatic parallelization, pointers, C language, side effects |
30 | José Javier Dolado, Mark Harman, Mari Carmen Otero, Lin Hu 0005 |
An Empirical Investigation of the Influence of a Type of Side Effects on Program Comprehension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(7), pp. 665-670, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Side-effect-free programs, crossover designs, program comprehension |
29 | Jong-Deok Choi, Michael G. Burke, Paul R. Carini |
Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, USA, January 1993, pp. 232-245, 1993, ACM Press, 0-89791-560-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Adrian Lienhard, Tudor Gîrba, Orla Greevy, Oscar Nierstrasz |
Test Blueprint - Exposing Side Effects in Execution Traces to Support Writing Unit Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 12th European Conference on Software Maintenance and Reengineering, CSMR 2008, April 1-4, 2008, Athens, Greece, pp. 83-92, 2008, IEEE Computer Society, 978-1-4244-2157-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Mark Harman, Malcolm Munro, Lin Hu 0005, Xingyuan Zhang |
Side-Effect Removal Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPC ![In: 9th International Workshop on Program Comprehension (IWPC 2001), 12-13 May 2001, Toronto, Canada, pp. 310-319, 2001, IEEE Computer Society, 0-7695-1131-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Atanas Rountev |
Precise Identification of Side-Effect-Free Methods in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 20th International Conference on Software Maintenance (ICSM 2004), 11-17 September 2004, Chicago, IL, USA, pp. 82-91, 2004, IEEE Computer Society, 0-7695-2213-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Christoph von Praun, Florian T. Schneider, Thomas R. Gross |
Load Elimination in the Presence of Side Effects, Concurrency and Precise Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 16th International Workshop, LCPC 2003, College Station, TX, USA, October 2-4, 2003, Revised Papers, pp. 390-405, 2003, Springer, 3-540-21199-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Ole Hanseth, Claudio U. Ciborra, Kristin Braa |
The control devolution: ERP and the side effects of globalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Base ![In: Data Base 32(4), pp. 34-46, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Enterprise Resourse Planning, Control, Globalization |
25 | Paul E. Black, Phillip J. Windley |
Formal Verification of Secure Programs in the Presence of Side Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: Thirty-First Annual Hawaii International Conference on System Sciences, Kohala Coast, Hawaii, USA, January 6-9, 1998, pp. 327-, 1998, IEEE Computer Society, 0-8186-8255-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Md. Imtiaz Hasan, Mehjabin Hossain, Md. Nazmul Hossain, Kawser Irom Rushee |
Possible Side Effects after Getting COVID-19 Vaccine Based on Pre-Existing Disease: Asthma: Analysis of Side Effects after using Moderna, Pfizer and Janssen Vaccine Based on VAERS Dataset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCA ![In: ICCA 2022: 2nd International Conference on Computing Advancements, Dhaka, Bangladesh, March 10 - 12, 2022, pp. 323-329, 2022, ACM, 978-1-4503-9734-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Sebastian Fischer 0001, Oleg Kiselyov, Chung-chieh Shan |
Purely functional lazy non-deterministic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 11-22, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
call-time choice, continuations, monads, side effects |
24 | Haiying Xu, Christopher J. F. Pickett, Clark Verbrugge |
Dynamic purity analysis for java programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'07, San Diego, California, USA, June 13-14, 2007, pp. 75-82, 2007, ACM, 978-1-59593-595-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
purity, Java, software metrics, dynamic analysis, memoization, side effects, escape analysis |
24 | Telmo Luis Correa Jr., Jaime Quinonez, Michael D. Ernst |
Tools for enforcing and inferring reference immutability in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 866-867, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Javari, Java, verification, type system, assignable, side effects, readonly, immutability, mutable |
24 | Sihem Amer-Yahia, Sophie Cluet |
A declarative approach to optimize bulk loading into databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 29(2), pp. 233-281, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Declarative bulk loading, recovery, algebra, side-effects |
24 | Mark Harman, Lin Hu 0005, Malcolm Munro, Xingyuan Zhang |
GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: Proceedings of the Eighth Working Conference on Reverse Engineering, WCRE'01, Stuttgart, Germany, October 2-5, 2001, pp. 271-280, 2001, IEEE Computer Society, 0-7695-1303-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Amorphous Slicing, Transformation, Side Effects, Coq Proof Assistant |
23 | Mark Harman, Lin Hu 0005, Robert M. Hierons, Malcolm Munro, Xingyuan Zhang, José Javier Dolado, Mari Carmen Otero, Joachim Wegener |
A Post-Placement Side-Effect Removal Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 18th International Conference on Software Maintenance (ICSM 2002), Maintaining Distributed Heterogeneous Systems, 3-6 October 2002, Montreal, Quebec, Canada, pp. 2-11, 2002, IEEE Computer Society, 0-7695-1819-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Giorgio Ghelli, Christopher Ré, Jérôme Siméon |
XQuery!: An XML Query Language with Side Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT Workshops ![In: Current Trends in Database Technology - EDBT 2006, EDBT 2006 Workshops PhD, DataX, IIDB, IIHA, ICSNW, QLQP, PIM, PaRMA, and Reactivity on the Web, Munich, Germany, March 26-31, 2006, Revised Selected Papers, pp. 178-191, 2006, Springer, 3-540-46788-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Carine Simon, Sergi Ventosa, Martin Schimmel, Alexander Heldring, Juan José Dañobeitia, Josep Gallart, Antoni Mánuel |
The S-Transform and Its Inverses: Side Effects of Discretizing and Filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 55(10), pp. 4928-4937, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Gao Cong, Wenfei Fan, Floris Geerts |
Annotation propagation revisited for key preserving views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2006 ACM CIKM International Conference on Information and Knowledge Management, Arlington, Virginia, USA, November 6-11, 2006, pp. 632-641, 2006, ACM, 1-59593-433-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
annotations, provenance, view updates |
20 | Barbara G. Ryder, William Landi, Phil Stocks, Sean Zhang, Rita Z. Altucher |
A schema for interprocedural modification side-effect analysis with pointer aliasing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 23(2), pp. 105-186, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Kenichi Asai |
Integrating Partial Evaluators into Interpreters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAIG ![In: Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, Proceedings, pp. 126-145, 2001, Springer, 3-540-42558-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Jiandong Lu, Guo Chen, Xiaolei Wang, Yuqiang Feng |
Bright-side and Dark-side Effects of Gamification on Consumers' Adoption of Gamified Recommendation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACIS ![In: 26th Pacific Asia Conference on Information Systems, PACIS 2022, Virtual Event / Taipei, Taiwan / Sydney, Australia, July 5-9, 2022, pp. 236, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
20 | Sejoon Lee, Kwang H. Lee, Min Song 0001, Doheon Lee |
Building the process-drug-side effect network to discover the relationship between biological Processes and side effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 12(S-2), pp. S2, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Naveen Neelakantam, David R. Ditzel, Craig B. Zilles |
A real system evaluation of hardware atomicity for software speculation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2010, Pittsburgh, Pennsylvania, USA, March 13-17, 2010, pp. 29-38, 2010, ACM, 978-1-60558-839-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
optimization, checkpoint, atomicity, speculation, dynamic translation |
19 | Alexandru Baltag, Sonja Smets |
A Dynamic-Logical Perspective on Quantum Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 89(2), pp. 187-211, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Dynamic Quantum Logic, Philosophy of Quantum Information, Logical Dynamics, Dynamic Epistemic Logic |
19 | Bom Soo Kim, Young Dae Kim, Chan Kyou Hwang, Jae-Hyoung Yoo |
A Mechanism of KEDB-Centric Fault Management to Optimize the Realization of ITIL Based ITSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APNOMS ![In: Managing Next Generation Networks and Services, 10th Asia-Pacific Network Operations and Management Symposium, APNOMS 2007, Sapporo, Japan, October 10-12, 2007, Proceedings, pp. 72-81, 2007, Springer, 978-3-540-75475-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
ITSM, KEDB, Change Management, Fault Management, ITIL, Incident Management, Service Support, Problem Management |
19 | Alexander Egyed |
Fixing Inconsistencies in UML Design Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, pp. 292-301, 2007, IEEE Computer Society, 0-7695-2828-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Hideki Ando, Chikako Nakanishi, Tetsuya Hara, Masao Nakaya |
Unconstrained Speculative Execution with Predicated State Buffering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: Proceedings of the 22nd Annual International Symposium on Computer Architecture, ISCA '95, Santa Margherita Ligure, Italy, June 22-24, 1995, pp. 126-137, 1995, ACM, 0-89791-698-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
MIPS R3000 |
19 | José Félix Costa, Amílcar Sernadas, Cristina Sernadas |
Data Encapsulation and Modularity: Three Views of Inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings, pp. 382-391, 1993, Springer, 3-540-57182-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Eric T. Freeman, Daniel P. Friedman |
Characterizing the Paralation Model using Dynamic Assignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE ![In: PARLE '92: Parallel Architectures and Languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, Proceedings, pp. 483-496, 1992, Springer, 3-540-55599-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Jan Hidders, Jacek Sroka |
Towards a Calculus for Collection-Oriented Scientific Workflows with Side Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems: OTM 2008, OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part I, pp. 374-391, 2008, Springer, 978-3-540-88870-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Yu Chen 0005, Lars Henning Pedersen, Wesley W. Chu, Jorn Olsen |
Drug exposure side effects from mining pregnancy data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGKDD Explor. ![In: SIGKDD Explor. 9(1), pp. 22-29, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
epidemiology data analysis, side effect of drug exposure, association rule mining |
19 | Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon |
A Better Semantics for XQuery with Side-Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBPL ![In: Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers, pp. 81-96, 2007, Springer, 978-3-540-75986-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Bjorn De Sutter, Hans Vandierendonck, Bruno De Bus, Koenraad De Bosschere |
On the side-effects of code abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2003 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'03). San Diego, California, USA, June 11-13, 2003, pp. 244-253, 2003, ACM, 1-58113-647-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
code abstraction, performance, code compaction |
19 | Oksana Tkachuk, Matthew B. Dwyer |
Adapting side effects analysis for modular program model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003, pp. 188-197, 2003, ACM, 978-1-58113-743-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
modular flow analysis, model checking, assume-guarantee |
19 | Ioana Singureanu |
Clinical Trial Automation: New, Revolutionary Therapies and Fewer Side-Effects using Mobile Internet Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2001), 20-22 June 2001, Cambridge, MA, USA, pp. 68-72, 2001, IEEE Computer Society, 0-7695-1269-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Pharmaceutical, Food and Drug Administration, Internet, WAP, Clinical Trial, Therapy |
19 | Merlin Hughes, P. David Stotts |
Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 1996 International Symposium on Software Testing and Analysis, ISSTA 1996, San Diego, CA, USA, January 8-10, 1996, pp. 53-61, 1996, ACM, 0-89791-787-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Paul Havlak, Ken Kennedy |
Experience with interprocedural analysis of array side effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings Supercomputing '90, New York, NY, USA, November 12-16, 1990, pp. 952-961, 1990, IEEE Computer Society, 0-89791-412-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
LINPACK |
19 | Görel Hedin |
Incremental Attribute Evaluation with Side-effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Compilers and High Speed Compilation, 2nd CCHSC Workshop, Berlin GDR, October 10-14, 1988, Proceedings, pp. 175-189, 1988, Springer, 3-540-51364-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
19 | Hans-Juergen Boehm |
Side Effects and Aliasing Can Have Simple Axiomatic Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 7(4), pp. 637-655, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
18 | Jonathan Edwards |
Coherent reaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 925-932, 2009, ACM, 978-1-60558-768-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
bidirectional functions, synchronous reactive programming, trees, interactive systems, reactive systems, functional reactive programming |
18 | Vitoantonio Bevilacqua, Paolo Pannarale, Giuseppe Mastronardi, Amalia Azzariti, Stefania Tommasi, Filippo Menolascina, Francesco Iorio, Diego di Bernardo, Angelo Paradiso, Nicola A. Colabufo, Francesco Berardi, Roberto Perrone, Roberto Tagliaferri |
High-Throughput Analysis of the Drug Mode of Action of PB28, MC18 and MC70, Three Cyclohexylpiperazine Derivative New Molecules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence, 4th International Conference on Intelligent Computing, ICIC 2008, Shanghai, China, September 15-18, 2008, Proceedings, pp. 1085-1092, 2008, Springer, 978-3-540-85983-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Gary Lindstrom |
Functional Programming and the Logical Variable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, New Orleans, Louisiana, USA, January 1985, pp. 266-280, 1985, ACM Press, 0-89791-147-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
17 | Henner Gimpel, Fabian Schmied |
Risks and Side effects of Digitalization: a Multi-Level Taxonomy of the Adverse effects of using Digital Technologies and Media. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIS ![In: 27th European Conference on Information Systems - Information Systems for a Sharing Society, ECIS 2019, Stockholm and Uppsala, Sweden, June 8-14, 2019, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Neele Engelmann, Michael R. Waldmann |
Moral Reasoning with Multiple Effects: Justification and Moral Responsibility for Side Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 41th Annual Meeting of the Cognitive Science Society, CogSci 2019: Creativity + Cognition + Computation, Montreal, Canada, July 24-27, 2019, pp. 1703-1709, 2019, cognitivesciencesociety.org, 0-9911967-7-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Amir Moradi 0002, Elisabeth Paulet |
A causal loop analysis of the austerity policy adopted to address the Euro crisis - effects and side effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Appl. Decis. Sci. ![In: Int. J. Appl. Decis. Sci. 8(1), pp. 1-20, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Justin Klekota, Erik Brauner, Frederick P. Roth, Stuart L. Schreiber |
Using High-Throughput Screening Data To Discriminate Compounds with Single-Target Effects from Those with Side Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 46(4), pp. 1549-1562, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
Closing the stage: from staged code to typed closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008, pp. 147-157, 2008, ACM, 978-1-59593-977-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
multistage programming, mutable state and control effects, type abstraction, closures, parametric polymorphism |
16 | George W. Ernst, Raymond J. Hookway, William F. Ogden |
Modular Verification of Data Abstractions with Shared Realizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(4), pp. 288-307, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
shared realizations, realization level data structure, abstract specification, data structures, semantics, program verification, specification languages, data abstractions, quantification, modular verification, modular specification |
15 | Anthony Danalis, Lori L. Pollock, D. Martin Swany, John Cavazos |
MPI-aware compiler optimizations for improving communication-computation overlap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 23rd international conference on Supercomputing, 2009, Yorktown Heights, NY, USA, June 8-12, 2009, pp. 316-325, 2009, ACM, 978-1-60558-498-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
mpi-aware compiler optimizations, data flow analysis, communication-computation overlap |
15 | Erik Meijer 0001 |
Fundamentalist functional programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 7th International Conference, GPCE 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings, pp. 99-100, 2008, ACM, 978-1-60558-267-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
pure functional programming, concurrency, monads, lazy evaluation, linq |
15 | Chun-Ting Chou, Kang G. Shin |
Smooth handoff with enhanced packet buffering-and-forwarding in wireless/mobile networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 13(3), pp. 285-297, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Smooth handoff, MobileIP, TCP congestion control |
15 | Gérard Boudol |
Fair Cooperative Multithreading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings, pp. 272-286, 2007, Springer, 978-3-540-74406-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Chun-Ting Chou, Kang G. Shin |
Smooth Handoff with Enhanced Packet Buffering-and-Forwarding in Wireless/Mobile Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSHINE ![In: Second International Conference on Quality of Service in Heterogeneous Wired/Wireless Networks (QSHINE 2005), 22-24 August 2005, Lake Buena Vista, FL, USA, pp. 39, 2005, IEEE Computer Society, 0-7695-2423-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Smooth handoff, MobileIP, fast retransmit, TCP congestion control, retransmission timeout |
15 | William Landi, Barbara G. Ryder, Sean Zhang |
Interprocedural Side Effect Analysis With Pointer Aliasing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), Albuquerque, New Mexico, USA, June 23-25, 1993, pp. 56-67, 1993, ACM, 0-89791-598-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
C |
15 | John H. Williams, Edward L. Wimmers |
Sacrificing Simplicity for Convenience: Where Do You Draw the Line? ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, California, USA, January 10-13, 1988, pp. 169-179, 1988, ACM Press, 0-89791-252-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
FP |
14 | Erich Christian Teppan, Alexander Felfernig |
Calculating Decoy Items in Utility-Based Recommendation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Next-Generation Applied Intelligence, 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2009, Tainan, Taiwan, June 24-27, 2009. Proceedings, pp. 183-192, 2009, Springer, 978-3-642-02567-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Lory D. Molesky, Krithi Ramamritham |
Recovery Protocols for Shared Memory Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, San Jose, California, USA, May 22-25, 1995., pp. 11-22, 1995, ACM Press, 978-0-89791-731-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
14 | M. Lynne Markus |
Finding a Happy Medium: Explaining the Negative Effects of Electronic Communication on Social Life at Work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. ![In: ACM Trans. Inf. Syst. 12(2), pp. 119-149, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
depersonalization, etiquette, social distance, electronic mail, politics, connectedness |
14 | Kung Chen, Jia-Yin Lin, Shu-Chun Weng, Siau-Cheng Khoo |
Designing aspects for side-effect localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009, pp. 189-198, 2009, ACM, 978-1-60558-327-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
lazy semantics, aspect-oriented programming, side-effect |
14 | Byron Choi, Gao Cong, Wenfei Fan, Stratis Viglas |
Updating Recursive XML Views of Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 23(4), pp. 516-537, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
XML, view update, XML views, XML publishing |
14 | Shan Lu 0001, Pin Zhou, Wei Liu 0014, Yuanyuan Zhou 0001, Josep Torrellas |
PathExpander: Architectural Support for Increasing the Path Coverage of Dynamic Bug Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: 39th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-39 2006), 9-13 December 2006, Orlando, Florida, USA, pp. 38-52, 2006, IEEE Computer Society, 0-7695-2732-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Shyue-Liang Wang, Ayat Jafari |
Using unknowns for hiding sensitive predictive association rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRI ![In: Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, IRI - 2005, August 15-17, 2005, Las Vegas Hilton, Las Vegas, NV, USA, pp. 223-228, 2005, IEEE Systems, Man, and Cybernetics Society, 0-7803-9093-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Eva-Martin Mueckstein |
Controlled natural language interfaces (extended abstract): the best of three worlds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 13th ACM Annual Conference on Computer Science, New Orleans, Louisiana, USA, 1985, pp. 176-178, 1985, ACM, 0-89791-150-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
13 | Islam Qudah, Peter Leijdekkers, Valérie Gay |
Using mobile phones to improve medication compliance and awareness for cardiac patients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PETRA ![In: Proceedings of the 3rd International Conference on Pervasive Technologies Related to Assistive Environments, PETRA 2010, Samos, Greece, June 23-25, 2010, 2010, ACM, 978-1-4503-0071-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
ambulatory monitoring, cardiac rehabilitation, medication compliance, tele-monitoring |
13 | Renran Tian, Vincent G. Duffy, Carol Birk, Steve R. Abel, Kyle Hultgren |
The Performance of BCMA-Aided Healthcare Service: Implementation Factors and Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (11) ![In: Digital Human Modeling, Second International Conference, ICDHM 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, pp. 560-568, 2009, Springer, 978-3-642-02808-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
BCMA, New Technology Acceptance, Healthcare, Medication Error |
13 | Shyue-Liang Wang, Ting-Zheng Lai, Tzung-Pei Hong, Yu-Lung Wu |
Hiding Predictive Association Rules on Horizontally Distributed Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Next-Generation Applied Intelligence, 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2009, Tainan, Taiwan, June 24-27, 2009. Proceedings, pp. 133-141, 2009, Springer, 978-3-642-02567-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
horizontally distributed, data mining, association rule, Privacy preserving, collaborative recommendation |
13 | Éric Tanter |
Contextual values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLS ![In: Proceedings of the 2008 Symposium on Dynamic Languages, DLS 2008, July 8, 2008, Paphos, Cyprus, pp. 3, 2008, ACM, 978-1-60558-270-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Dionisio de Niz |
Architectural Concurrency Equivalence with Chaotic Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-based Methodologies for Pervasive and Embedded Software, 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2008, Budapest, Hungary, April 5, 2008, Proceedings, pp. 57-67, 2008, IEEE Computer Society, 0-7695-3104-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Ashraf Armoush, Falk Salewski, Stefan Kowalewski |
Effective Pattern Representation for Safety Critical Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (4) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 4: Embedded Programming / Database Technology / Neural Networks and Applications / Other Applications, December 12-14, 2008, Wuhan, China, pp. 91-97, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Mark Crowley 0001, Brent Boerlage, David Poole 0001 |
Adding Local Constraints to Bayesian Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Canadian AI ![In: Advances in Artificial Intelligence, 20th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2007, Montreal, Canada, May 28-30, 2007, Proceedings, pp. 344-355, 2007, Springer, 978-3-540-72664-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
chain graphs, complementary priors, Bayesian networks, constraints, graphical models, mixed networks, Bayesian modelling |
13 | Prasun Dewan, Henry McEuen |
Active notifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CollaborateCom ![In: Proceedings of the 3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing, White Plains, New York, USA, November 12-15, 2007, pp. 392-396, 2007, IEEE Computer Society / ICST, 1-4244-1317-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Janardhan R. Iyengar, Paul D. Amer, Randall R. Stewart |
Concurrent multipath transfer using SCTP multihoming over independent end-to-end paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 14(5), pp. 951-964, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
load balancing, multipath, SCTP, load sharing, transport layer, end-to-end |
13 | Chris Barker, Chung-chieh Shan |
Types as Graphs: Continuations in Type Logical Grammar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 15(4), pp. 331-370, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
type-logical grammar, resource sensitivity, polarity licensing, superiority, evaluation order, continuations, binding, quantification, staging, delimited continuations |
Displaying result #1 - #100 of 886 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ >>] |
|