8,762 Hits in 8.0 sec

Summary-based inference of quantitative bounds of live heap objects

Víctor Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine
2014 Science of Computer Programming  
This article presents a symbolic static analysis for computing parametric upper bounds of the number of simultaneously live objects of sequential Java-like programs.  ...  The analysis builds method-level summaries quantifying the peak number of live objects and the number of escaping objects. Summaries are built by resorting to summaries of their callees.  ...  Given an invocation run r, a key concept to state the soundness of the method is the notion of an object being live and fresh at a given state.  ... 
doi:10.1016/j.scico.2013.11.036 fatcat:yhop7s2vgbehjpxuvx3jpbicym

A world of active objects for work and play: the first ten years of lively

Daniel Ingalls, Tim Felgentreff, Robert Hirschfeld, Robert Krahn, Jens Lincke, Marko Röder, Antero Taivalsaari, Tommi Mikkonen
2016 Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software - Onward! 2016  
Lively is a live object computing environment implemented using JavaScript and other techniques available inside the browser.  ...  The Lively Kernel and the Lively Web represent a continuing effort to realize a creative computing environment in the context of the World Wide Web. We refer to that evolving system simply as Lively.  ...  Acknowledgments Special thanks to Krzysztof Palacz, who had a central role in the implementation of the first full-fledged SVG-based version of the Lively Kernel.  ... 
doi:10.1145/2986012.2986029 dblp:conf/oopsla/IngallsFHKLRTM16 fatcat:oismhxl7grbj5aaqutqlvyem2q

Living it up with a live programming language

Sean McDirmid
2007 Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications - OOPSLA '07  
Through signals and dynamic inheritance, Super-Glue supports live programming, declarative programming, and responsive semantic feedback.  ...  A live language supports live programming that provides programmers with responsive and continuous feedback about how their edits affect program execution.  ...  Features to be explored include support for direct manipulation, where specific signal values can be changed directly, and live text, where source code is annotated with execution details.  ... 
doi:10.1145/1297027.1297073 dblp:conf/oopsla/McDirmid07 fatcat:h6bi6smcwvhwpesnkr7xmjmepy

Exploring language support for immutability

Michael Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad Myers, Sam Weber, Forrest Shull
2016 Proceedings of the 38th International Conference on Software Engineering - ICSE '16  
The interview results informed our design of a new language extension for specifying immutability in Java.  ...  However, there are many proposals for language mechanisms for restricting state change, with a remarkable diversity of techniques and goals, and there is little empirical data regarding what practicing  ...  Any opinions, findings and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect those of any of the sponsors.  ... 
doi:10.1145/2884781.2884798 dblp:conf/icse/CoblenzSAMWS16 fatcat:wf26t2mrvjbbjlhyrho6wztnca

Design as exploration

Björn Hartmann, Loren Yu, Abel Allison, Yeonsoo Yang, Scott R. Klemmer
2008 Proceedings of the 21st annual ACM symposium on User interface software and technology - UIST '08  
This paper describes techniques to support design exploration for desktop, mobile, and physical interfaces, and situates this work in a larger design space of tools for explorative programming.  ...  Interaction designers explore options in Juxtapose through a source code editor that supports alternative code documents (left), a runtime interface that offers parallel execution and tuning of application  ...  ACKNOWLEDGMENTS This research was supported through NSF grant IIS-0745320; equipment donations from Intel and Nokia; and a SAP Stanford Graduate Fellowship for Björn Hartmann.  ... 
doi:10.1145/1449715.1449732 dblp:conf/uist/HartmannYAYK08 fatcat:grsqzob7cvdqtd4jpzrvfbf2fe

Exploring the Emerging Applications for Transactional Memory

Jiaqi Zhang, Wenguang Chen, Xinmin Tian, Weimin Zheng
2008 2008 Ninth International Conference on Parallel and Distributed Computing, Applications and Technologies  
TM designers and to helping potential users.  ...  This paper makes the first step of this work by presenting our identification of emerging applications for the comprehensive study of TM.  ...  The paper implements a Java based software transactional memory runtime and a suite of corresponding Java benchmarks including SPECjbb2000, DaCapo hsqldb, STMbench7, and a set of micros.  ... 
doi:10.1109/pdcat.2008.77 dblp:conf/pdcat/ZhangCTZ08 fatcat:ce4rayumpzevxegc5c34btc334

Cinemacraft: exploring fidelity cues in collaborative virtual world interactions

Siddharth Narayanan, Nicholas Polys, Ivica Ico Bukvic
2019 Virtual Reality  
This research explores the impact of avatar behavioral realism on people's experience of interacting with virtual humans by varying the interaction fidelity.  ...  The outcome of this research is the generation of an interactive and accessible sensory fusion platform capable of delivering compelling live collaborative performances and empathetic musical storytelling  ...  I would also like to thank all my collaborators on previous versions of the project for their contributions, time and expertise.  ... 
doi:10.1007/s10055-019-00382-0 fatcat:ydd2s5bldbf2nnvwdfjrywmjjq

Script InSight: Using Models to Explore JavaScript Code from the Browser View [chapter]

Peng Li, Eric Wohlstadter
2009 Lecture Notes in Computer Science  
To demonstrate the applicability of the approach we present a study of an existing open-source Web 2.0 application called the Java Pet Store and metrics taken from several popular online sites.  ...  In order to deal with this problem, we are researching ways to bridge the gap between the browser view of a UI and its JavaScript implementation.  ...  This is because today's Web UI are stateful and reactive. Their appearance and behavior vary over time based on mutations of state made from JavaScript.  ... 
doi:10.1007/978-3-642-02818-2_21 fatcat:sffi74fsxzgs5clcip7k2spjie

MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code

Milos Gligoric, Vilas Jagannath, Darko Marinov
2010 2010 Third International Conference on Software Testing, Verification and Validation  
We present four techniques within the general framework and implement two of them in a tool called MuTMuT. We evaluate MuTMuT on eight multithreaded programs.  ...  Mutation testing is a method for measuring the quality of test suites.  ...  ACKNOWLEDGEMENTS We thank Yaniv Eytani for providing many of the multithreaded programs used in our evaluation, and David Schuler and Andreas Zeller for help with Javalanche.  ... 
doi:10.1109/icst.2010.33 dblp:conf/icst/GligoricJM10 fatcat:3klzvrzkzbbs5hnqtq4cedw66a

Visual Exploration of Large-Scale System Evolution

Richard Wettel, Michele Lanza
2008 2008 15th Working Conference on Reverse Engineering  
By providing insights into a system's history, our visualizations allow us to reason about the origins and the causalities which led to the current state of a system.  ...  We present an approach based on real-time interactive 3D visualizations, whose goal is to render the structural evolution of object-oriented software systems at both a coarse-grained and a fine-grained  ...  We gratefully acknowledge the financial support of the Hasler Foundation for the project "EvoSpaces" (MMI Project No. 1976).  ... 
doi:10.1109/wcre.2008.55 dblp:conf/wcre/WettelL08 fatcat:ntfdziagwbbh3ke4mnh2me72x4

Exploring the Intent behind API Evolution: A Case Study

Daqing Hou, Xiaojia Yao
2011 2011 18th Working Conference on Reverse Engineering  
Thus, to counter the negative impacts of API evolution, we need to study how and why APIs are evolved. To that end, we performed a detailed analysis of the evolution of a production API.  ...  We discussed the implications of our findings for both API designers and application developers.  ...  This exposure is unnecessary and may accidentally break the system if someone tries to manipulate the returned peer object.  ... 
doi:10.1109/wcre.2011.24 dblp:conf/wcre/HouY11 fatcat:xld6yh5xdba4ja5hksglg5dfsm

Improving visualization interactivity in Java

Christopher E. Weaver, Miron Livny, Robert F. Erbacher, Philip C. Chen, Jonathan C. Roberts, Craig M. Wittenbrink
2000 Visual Data Exploration and Analysis VII  
First, we use a family of techniques called throttling to moderate the execution of queries and renders.  ...  Using these techniques, we have increased the speed and smoothness of interface navigation in our visualization framework even during expensive query and render operations.  ...  Vuk Ercegovac developed and benchmarked an early prototype of the imaging engine.  ... 
doi:10.1117/12.378919 fatcat:56s3qe2mr5g6hghu2vgg2ycn6i

GeoMinasCraft: A Serious Geogame for Geographical Visualization and Exploration [chapter]

Ítalo Sousa de Sena, Alenka Poplin, Bruno de Andrade
2021 The Urban Book Series  
This chapter concentrates on the implementation of the geogame GeoMi-nasCraft and its use for geographical virtual explorations.  ...  The users/players can take on an adventure, explore the landscapes, learn about geodiversity, and face different challenges. The game takes us to the City of Ouro Preto in Minas Gerais in Brazil.  ...  Acknowledgements The authors thank the support from the support of CAPES, through the Overseas Sandwich Doctoral Program, under process 88881.189217/2018-1, and contributed to the CNPq research 'Geodesign  ... 
doi:10.1007/978-3-030-76059-5_30 fatcat:6hm5dquedjcyvgwshe5kph3l4y

Exploring Shared State in Key-Value Store for Window-Based Multi-pattern Streaming Analytics

Ovidiu-Cristian Marcu, Radu Tudoran, Bogdan Nicolae, Alexandru Costan, Gabriel Antoniu, Maria S. Perez-Hernandez
2017 2017 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID)  
Big Data streaming analytics tools have been developed to cope with the online dimension of data processing: they enable real-time handling of live data sources by means of stateful aggregations (operators  ...  In this paper, we explore the feasibility of deduplication techniques to address the challenge of reducing memory footprint for window-based stream processing without significant impact on performance.  ...  Acknowledgment This work is part of the BigStorage project, funded by the European Union under the Marie Sklodowska-Curie Actions (H2020-MSCA-ITN-2014-642963) .  ... 
doi:10.1109/ccgrid.2017.126 dblp:conf/ccgrid/MarcuTNCAP17 fatcat:5oxtilgnibhj5dhp3zb47jhe2a

How brinkmanship saved Chadbourne: Credibility and the International Sugar Agreement of 1931

Alan Dye, Richard Sicotte
2006 Explorations in economic history (Print)  
We examine the events surrounding the crisis in 1932 in which Cuba accused Java of defection.  ...  Bates (1997) finds that, when such agreements involve governments, outcomes depend not only on economic or state-level strategy-they also depend on domestic politics.  ...  1 Recent empirical work on cartels questions the adequacy of the proposed detection and retaliation mechanisms of cartel enforcement to account for observed behavior.  ... 
doi:10.1016/j.eeh.2005.01.001 fatcat:ew4ysaewuzh6bnmrjw2z6mc2y4
« Previous Showing results 1 — 15 out of 8,762 results