A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Filters
Methodology and architecture of JIVE
2005
Proceedings of the 2005 ACM symposium on Software visualization - SoftVis '05
Preserved Fulltext
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
2007
Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange - eclipse '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
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
2004
Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '04
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2016
Lecture Notes in Business Information Processing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2017
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2003
Proceedings of the second international joint conference on Autonomous agents and multiagent systems - AAMAS '03
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2003
Proceedings of the second international joint conference on Autonomous agents and multiagent systems - AAMAS '03
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2007
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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
2007
Journal of Visual Languages and Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2016
Nordic Journal of Science and Technology Studies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
2004
Annals of Mathematics and Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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
1999
American Journal of Islam and Society
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2018
IEEE Transactions on Pattern Analysis and Machine Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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