Search results for "Dynamite"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
120	Kamil Iskra, Zeger W. Hendrikse, G. Dick van Albada, Benno J. Overeinder, Peter M. A. Sloot	Performance Measurements on Dynamite/DPVM.	PVM/MPI	2000	DBLP DOI BibTeX RDF
97	Karl Fuchs, Franz Fink, Michael H. Schulz	DYNAMITE: an efficient automatic test pattern generation system for path delay faults.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
90	Kamil Iskra, Zeger W. Hendrikse, G. Dick van Albada, Benno J. Overeinder, Peter M. A. Sloot, Jörn Gehring	Experiments with Migration of Message-Passing Tasks.	GRID	2000	DBLP DOI BibTeX RDF
76	Carl-Arndt Krapp, Bernhard Westfechtel	Feedback Handling in Dynamic Task Nets.	ASE	1997	DBLP DOI BibTeX RDF	dynamic task nets, feedback handling, process management system, human intervention, work context restoration, DYNAMITE, feedback relations, task versions, customized data flow semantics, adaptability, feedback, software process, traceability, impact analysis, change propagation
60	Peter Heimann, Gregor Joeris, Carl-Arndt Krapp, Bernhard Westfechtel	DYNAMITE: Dynamic Task Nets for Software Process Management.	ICSE	1996	DBLP BibTeX RDF	DYNAMITE, dynamic task nets, incremental modification, process dynamics, product-dependent structure evolution, programmed graph rewriting system, software maintenance, software development, planning, feedback, concurrent engineering, software management, editing, software process management, enactment
53	Marian Bubak, Dariusz Zbik, G. Dick van Albada, Kamil Iskra, Peter M. A. Sloot	Migratable Sockets for Dynamic Load Balancing.	HPCN	2001	DBLP DOI BibTeX RDF	Dynamite, load balancing, Distributed computing, process migration, sockets
45	Andrew Hughes	A framework for mobile Java applications.	PPPJ	2007	DBLP DOI BibTeX RDF	TNT, Java, mobility, CaSE, CCS, process calculus, ambient calculus
45	Marcelo F. Frias, Carlos López Pombo, Mariano M. Moscato	Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications.	TACAS	2007	DBLP DOI BibTeX RDF
29	Anthony Liang, Guy Tennenholtz, Chih-Wei Hsu, Yinlam Chow, Erdem Biyik, Craig Boutilier	DynaMITE-RL: A Dynamic Model for Improved Temporal Meta-Reinforcement Learning.	CoRR	2024	DBLP DOI BibTeX RDF
29	Amit Kumar Rana, Sabarinath Mahadevan, Alexander Hermans, Bastian Leibe	DynaMITe: Dynamic Query Bootstrapping for Multi-object Interactive Segmentation Transformer.	CoRR	2023	DBLP DOI BibTeX RDF
29	Weijie Liu, Xiaoxi Zhang, Jingpu Duan, Carlee Joe-Wong, Zhi Zhou, Xu Chen	DYNAMITE: Dynamic Interplay of Mini-Batch Size and Aggregation Frequency for Federated Learning with Static and Streaming Dataset.	CoRR	2023	DBLP DOI BibTeX RDF
29	Abhimanyu Bhowmik, Madhushree Sannigrahi, Prithwish Guha, Deepraj Chowdhury, Sukhpal Singh Gill	DYNAMITE: Dynamic aggregation of mutually-connected points based clustering algorithm for time series data.	Internet Technol. Lett.	2023	DBLP DOI BibTeX RDF
29	Amit Kumar Rana, Sabarinath Mahadevan, Alexander Hermans, Bastian Leibe	DynaMITe: Dynamic Query Bootstrapping for Multi-object Interactive Segmentation Transformer.	ICCV	2023	DBLP DOI BibTeX RDF
29	Nishant Balepur, Shivam Agarwal, Karthik Venkat Ramanan, Susik Yoon, Diyi Yang, Jiawei Han 0001	DynaMiTE: Discovering Explosive Topic Evolutions with User Guidance.	ACL (Findings)	2023	DBLP DOI BibTeX RDF
29	Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi, Eric Koskinen, ThanhVu Nguyen	DynamiTe: dynamic termination and non-termination proofs.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
29	Patrick Ruhkamp, Ruiqi Gong, Nassir Navab, Benjamin Busam	DynaMiTe: A Dynamic Local Motion Model with Temporal Constraints for Robust Real-Time Feature Matching.	CoRR	2020	DBLP BibTeX RDF
29	Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi, Eric Koskinen, ThanhVu Nguyen	DynamiTe: Dynamic Termination and Non-termination Proofs.	CoRR	2020	DBLP BibTeX RDF
29	Cyrus Cousins, Shahrzad Haddadan, Eli Upfal	Making mean-estimation more efficient using an MCMC trace variance approach: DynaMITE.	CoRR	2020	DBLP BibTeX RDF
29	Ali H. Sayed	Dynamite, Electricity, and Nobel's World [President's Message].	IEEE Signal Process. Mag.	2019	DBLP DOI BibTeX RDF
29	Samaresh Bera, Sudip Misra, Niloy Saha	DynamiTE: Dynamic Traffic Engineering in Software-Defined Cyber Physical Systems.	ICC Workshops	2018	DBLP DOI BibTeX RDF
29	Christoph Juchem, S. Umesh Rudrapatna, Terence W. Nixon, Robin A. de Graaf	Dynamic multi-coil technique (DYNAMITE) shimming for echo-planar imaging of the human brain at 7 Tesla.	NeuroImage	2015	DBLP DOI BibTeX RDF
29	Mariano M. Moscato, Carlos López Pombo, Marcelo F. Frias	Dynamite: A tool for the verification of alloy models based on PVS.	ACM Trans. Softw. Eng. Methodol.	2014	DBLP DOI BibTeX RDF
29	Jacopo Urbani, Alessandro Margara, Ceriel J. H. Jacobs, Frank van Harmelen, Henri E. Bal	DynamiTE: Parallel Materialization of Dynamic RDF Data.	ISWC (1)	2013	DBLP DOI BibTeX RDF
29	Mariano M. Moscato, Carlos López Pombo, Marcelo F. Frias	Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements.	ICTAC	2010	DBLP DOI BibTeX RDF
29	Andrew Hughes	DynamiTE : a 21st-century framework for concurrent component-based design.		2010	RDF
29	C. Paul Barrett, Martin E. M. Noble	Dynamite extended: two new services to simplify protein dynamic analysis.	Bioinform.	2005	DBLP DOI BibTeX RDF
29	Kamil Iskra, Frank van der Linden 0002, Zeger W. Hendrikse, Benno J. Overeinder, G. Dick van Albada, Peter M. A. Sloot	The implementation of Dynamite - an environment for migrating PVM tasks.	ACM SIGOPS Oper. Syst. Rev.	2000	DBLP DOI BibTeX RDF
29	G. Dick van Albada, J. Clinckmaillie, A. H. L. Emmen, Jörn Gehring, Oliver Heinz, Frank van der Linden 0002, Benno J. Overeinder, Alexander Reinefeld, Peter M. A. Sloot	Dynamite - Blasting Obstacles to Parallel Cluster Computing.	HPCN	1999	DBLP DOI BibTeX RDF
29	Jim Spriggle, Karen Kniss, Cindy Ray	TNT (time 'N training)=Dynamite Student Employees.	SIGUCCS	1998	DBLP DOI BibTeX RDF
29	Ewan Birney, Richard Durbin	Dynamite: A Flexible Code Generating Language for Dynamic Programming Methods Used in Sequence Comparison.	ISMB	1997	DBLP BibTeX RDF
23	Eduardo Gilabert, Susana Ferreiro, Aitor Arnaiz 0001	Web Services System for Distributed Technology Upgrade Within an e-Maintenance Framework.	OTM Workshops (1)	2007	DBLP DOI BibTeX RDF	e-maintenance, CBM, OSA-CBM, MIMOSA, ontology, agent, semantic web services
23	Marek Tudruj, Janusz Borkowski, Damian Kopanski	Load Balancing with Migration Based on Synchronizers in PS-GRADE Graphical Tool.	ISPDC	2005	DBLP DOI BibTeX RDF
23	G. Dick van Albada, Peter M. A. Sloot	Surfing the Grid - Dynamic Task Migration in the Polder Metacomputer Project.	PVM/MPI	2002	DBLP DOI BibTeX RDF