Filters








367 Hits in 2.6 sec

Methodology and architecture of JIVE

Paul Gestwicki, Bharat Jayaraman
2005 Proceedings of the 2005 ACM symposium on Software visualization - SoftVis '05  
JIVE is implemented using the Java Platform Debugger Architecture and supports the Java language and libraries, including multithreaded and GUI applications.  ...  The main contributions of JIVE are: multiple concurrent representations of program state and execution history; support for forward and reverse execution; and graphical queries over program execution.  ...  The internal representation of states was developed with the help of Eric Crahen. Hani Girgis, Akshay Hegde, and Manu Pushpendran have assisted in the development of JIVE's query system.  ... 
doi:10.1145/1056018.1056032 dblp:conf/softvis/GestwickiJ05 fatcat:hzysknbok5ckpoggf6ff2egnz4

Declarative and visual debugging in Eclipse

Jeffrey K. Czyz, Bharat Jayaraman
2007 Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange - eclipse '07  
This paper presents details of the JIVE architecture and its integration into Eclipse.  ...  Our methodology makes use of these diagrams as a means of formulating queries and reporting results in a visual manner.  ...  Thanks to Paul Gestwicki for developing the first version of JIVE [5] which served as an inspiration and a basis for our Eclipse implementation.  ... 
doi:10.1145/1328279.1328286 dblp:conf/eclipse/CzyzJ07 fatcat:457mbwajgjh2bms3qkqdmck2me

JIVE

Paul V. Gestwicki, Bharat Jayaraman
2004 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '04  
JIVE represents a novel approach to runtime visualization and analysis of Java programs.  ...  JIVE uses standard JVM and compilers.  ...  We use existing JVM technology in the JIVE architecture. No custom compilers or virtual machines are necessary. APPROACH JIVE provides visualizations of object structures and execution histories.  ... 
doi:10.1145/1028664.1028762 dblp:conf/oopsla/GestwickiJ04 fatcat:m7x2oban2jbinltsipy6eneq4u

Enterprise 2.0 – Literature Taxonomy and Usage Evaluation [chapter]

Mayla Alimam, Emmanuel Bertin, Noël Crespi
2016 Lecture Notes in Business Information Processing  
Based on the ITIL methodology, it outlines its main research areas and highlights the remaining issues.  ...  Also, starting from the lack of empirical evaluation of the real usage of Enterprise 2.0 tools, it proposes to evaluate the use of a social networking platform in a large company based on the relationships  ...  The rest of the paper is organized as follows. Section 2 explains the methodology of our work.  ... 
doi:10.1007/978-3-319-48393-1_3 fatcat:zenx4zkhbzbztewcqscy7dgc7q

Understanding Internal Semantics Of Deep Learning Models For Electronic Music

Minz Sanghee Won
2017 Zenodo  
For sophisticated model design process, interpreting the architecture and the mechanism of hidden layers became more important, and it resulted in multiple publications to propose methods for investigating  ...  A prototype experiment was processed with Ballroom dataset and the main experiment was done with Beatport dataset which consists of 15k electronic music.  ...  Cha Cha Cha, Jive, Quickstep, Rumba, Samba and Tango.  ... 
doi:10.5281/zenodo.1100967 fatcat:fewtmbdobbepdbslgt2phdie5y

Go! for multi-threaded deliberative agents

Keith L. Clark, Francis G. McCabe
2003 Proceedings of the second international joint conference on Autonomous agents and multiagent systems - AAMAS '03  
We believe such a multithreaded agent architecture represents a powerful and natural style of agent implementation, for which Go! is well suited.  ...  In this paper we introduce the essential features of Go!  ...  and the writing of this paper.  ... 
doi:10.1145/860575.860747 dblp:conf/atal/ClarkM03 fatcat:xbxwqnq2j5csbce7zrhlqmv6uu

Go! for Multi-threaded Deliberative Agents [chapter]

Keith L. Clark, Frank G. McCabe
2004 Lecture Notes in Computer Science  
We believe such a multithreaded agent architecture represents a powerful and natural style of agent implementation, for which Go! is well suited.  ...  In this paper we introduce the essential features of Go!  ...  and the writing of this paper.  ... 
doi:10.1007/978-3-540-25932-9_4 fatcat:de45pio6yrguxh4qxxip5bnrnm

Go! for multi-threaded deliberative agents

Keith L. Clark, Francis G. McCabe
2003 Proceedings of the second international joint conference on Autonomous agents and multiagent systems - AAMAS '03  
We believe such a multithreaded agent architecture represents a powerful and natural style of agent implementation, for which Go! is well suited.  ...  In this paper we introduce the essential features of Go!  ...  and the writing of this paper.  ... 
doi:10.1145/860722.860747 fatcat:g7zsrspbvzhixowb3lksq65mwi

JavaTA: A Logic-based Debugger for Java [article]

Hani Girgis, Bharat Jayaraman
2007 arXiv   pre-print
In contrast with traditional debugging we propose a debugging methodology for Java programs using logical queries on individual execution states and also over the history of execution.  ...  We represent the salient events during the execution of a Java program by a logic database, and implement the queries as logic programs.  ...  The JavaTA logger used some code from the JDPA package from the JIVE system developed by Paul Gestwicki at the University at Buffalo.  ... 
arXiv:cs/0701107v1 fatcat:tueteclwujbytdqn6ccbebyz6e

Visual representations of executing programs

Steven P. Reiss
2007 Journal of Visual Languages and Computing  
Based on this examination, we describe the challenges implicit in future execution visualizations and methodologies that can meet these challenges. Abstract Easily Customizable Some FIGURE 13.  ...  of larger systems.  ...  This work was done with support from the National Science Foundation through grants CCR021897 and ACI9982266. References  ... 
doi:10.1016/j.jvlc.2007.01.003 fatcat:guepdqtuc5cmtexmb7fv6npuka

Experiencing Virtual Social Enterprise Media Architectures

Lene Pettersen
2016 Nordic Journal of Science and Technology Studies  
of how people experienced using virtual and social architectural spaces.  ...  architecture.  ...  I would like to thank Associate Professor Marika Lüders at IMK, UiO, which interviewed nine of the 27 participants in this study.  ... 
doi:10.5324/njsts.v4i2.2183 fatcat:jyog3ussbrftthnunxyiveiftm

Boogie: A Modular Reusable Verifier for Object-Oriented Programs [chapter]

Mike Barnett, Bor-Yuh Evan Chang, Robert DeLine, Bart Jacobs, K. Rustan M. Leino
2006 Lecture Notes in Computer Science  
This paper describes the architecture of a state-of-the-art program verifier for object-oriented programs. Source Language.  ...  To ensure soundness of the verification, Boogie additionally checks for error conditions defined by the programming methodology [BDF + 04,LM04,BN04,LM05,LM06].  ...  Acknowledgments This work would not have been possible without the efforts of the rest of the Spec# team: Manuel Fähndrich, Wolfram Schulte, and Herman Venter.  ... 
doi:10.1007/11804192_17 fatcat:dyxdg67drnar7ixtcpmhp3s2ve

Go! – A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents

K.L. Clark, F.G. McCabe
2004 Annals of Mathematics and Artificial Intelligence  
We believe such a multi-threaded agent architecture represents a powerful and natural style of agent implementation, for which Go!  ...  . * Alphabetical order of authors 2 Key Features of Go! Go!  ...  It is a language is which different architectures and methodologies can be quickly prototyped and explored.  ... 
doi:10.1023/b:amai.0000031195.87297.d9 fatcat:quvntgzkb5edzmjot2kkkdh5ey

The Pure and Powerful

Heba Raouf Ezzat
1999 American Journal of Islam and Society  
people Jiving in the rural and city areas of the country.The analysis demonstrates how in order to further our understanding ofMuslim society, we must gather fieldwork data on the relationship of the commonperson's  ...  of Islam and points out that this type of thinking does not of itselfadvance our knowledge of the subject, nor does it offer a viable criteria for ...  ...  the people Jiving in the rural and city areas of the country.  ... 
doi:10.35632/ajis.v16i1.2137 fatcat:currn6s3a5gojphzfad2xehn7y

Guest Editorial: The Computational Face

Sergio Escalera, Xavier Baro, Isabelle Guyon, Hugo Jair Escalante, Georgios Tzimiropoulos, Michel Valstar, Maja Pantic, Jeffrey Cohn, Takeo Kanade
2018 IEEE Transactions on Pattern Analysis and Machine Intelligence  
ACKNOWLEDGMENTS This project has been partially supported by the Spanish projects TIN2015-66951-C2-2-R and TIN2016-74946-P (MINECO/FEDER, UE) and CERCA Programme/Generalitat de Catalunya and by INAOE,  ...  We thank ChaLearn Looking at People sponsors for their support, including Microsoft Research, Google, NVIDIA Coorporation, Amazon, Facebook, and Disney Research.  ...  A novel deep architecture was proposed by Li et al. in which attention maps and cropping layers were included in a CNN for better detection of facial action units [7] .  ... 
doi:10.1109/tpami.2018.2869610 fatcat:izmdxwpzujdv3ctx63lrselk24
« Previous Showing results 1 — 15 out of 367 results