Search results for "DICE"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
155	Torben Æ. Mogensen	Troll, a language for specifying dice-rolls.	SAC	2009	DBLP DOI BibTeX RDF	probability, domain-specific languages, dice
115	Sebastiano Colazzo, Vito Perrone	Integrating Distributed Heterogeneous Information Sources for Cultural Heritage: The DICE approach.	DEXA Workshops	2004	DBLP DOI BibTeX RDF
100	Steve Hinske, Marc Langheinrich, Yves Alter	Building RFID-Based Augmented Dice with Perfect Recognition Rates.	Fun and Games	2008	DBLP DOI BibTeX RDF	Augmented dice, radio frequency identification (RFID) technology
87	Carsten Magerkurth, Timo Engelke, Carsten Röcker	The Smart Dice Cup: A Radio Controlled Sentient Interaction Device.	ICEC	2006	DBLP DOI BibTeX RDF
73	Bartlomiej Ziólkowski, Geoffrey Drake	Rolling the DICE® for Agile Software Projects.	XP	2006	DBLP DOI BibTeX RDF
69	Torben Æ. Mogensen	Roll : A Language for Specifying Die-Rolls.	PADL	2003	DBLP DOI BibTeX RDF
56	Jozsef A. Toth	Specification of an Object to Object Protocol in Abstract Syntax Notation One (ASN.1).	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF
55	Lech Madeyski, Wojciech Biela	Capable Leader and Skilled and Motivated Team Practices to Introduce eXtreme Programming.	CEE-SET	2007	DBLP DOI BibTeX RDF	Agile adoption, DICE® framework, Extreme programming, Software process improvement, Process change
55	Peter Triantafillou, Nikos Ntarmos, John Yannakopoulos	A Cache Engine for E-Content Integration.	IEEE Internet Comput.	2004	DBLP DOI BibTeX RDF	e-content, content integration, algorithm, data integration, response time, DICE
47	Thomas Seiller, Steffen Jost (eds.)	Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational & Practical Aspects of Resource Analysis, DICE-FOPARA@ETAPS 2019, Prague, Czech Republic, April 6-7, 2019.	DICE-FOPARA@ETAPS	2019	DBLP DOI BibTeX RDF
47	Paulin Jacobé de Naurois	Pointers in Recursion: Exploring the Tropics.	DICE-FOPARA@ETAPS	2019	DBLP DOI BibTeX RDF
47	Franz Siglmüller	Type-Based Resource Analysis on Haskell.	DICE-FOPARA@ETAPS	2019	DBLP DOI BibTeX RDF
47	Lê Thành Dung Nguyên	On the Elementary Affine Lambda-Calculus with and Without Fixed Points.	DICE-FOPARA@ETAPS	2019	DBLP DOI BibTeX RDF
47	Bruce M. Kapron, Florian Steinberg 0001	Type-two Iteration with Bounded Query Revision.	DICE-FOPARA@ETAPS	2019	DBLP DOI BibTeX RDF
47	Francesco Olivieri, Guido Governatori, Claudio Tomazzoli, Matteo Cristani	Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes.	DICE-FOPARA@ETAPS	2019	DBLP DOI BibTeX RDF
47	Guillaume Bonfante, Georg Moser (eds.)	Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis, DICE-FOPARA@ETAPS 2017, Uppsala, Sweden, April 22-23, 2017.	DICE-FOPARA@ETAPS	2017	DBLP BibTeX RDF
47	Bernard van Gastel, Marko C. J. D. van Eekelen	Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems.	DICE-FOPARA@ETAPS	2017	DBLP DOI BibTeX RDF
47	Martin Avanzini, Michael Schaper	GUBS Upper Bound Solver (Extended Abstract).	DICE-FOPARA@ETAPS	2017	DBLP DOI BibTeX RDF
47	Jean-Yves Moyen, Jakob Grue Simonsen	Computability in the Lattice of Equivalence Relations.	DICE-FOPARA@ETAPS	2017	DBLP DOI BibTeX RDF
47	Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller	Loop Quasi-Invariant Chunk Motion by peeling with statement composition.	DICE-FOPARA@ETAPS	2017	DBLP DOI BibTeX RDF
47	Martin Avanzini, Ugo Dal Lago	Automated Sized-Type Inference and Complexity Analysis.	DICE-FOPARA@ETAPS	2017	DBLP DOI BibTeX RDF
47	Jean-Yves Marion (eds.)	Proceedings Second Workshop on Developments in Implicit Computational Complexity, Saarbrücken, DICE 2011, Germany, April 2nd and 3rd, 2011.	DICE	2011	DBLP DOI BibTeX RDF
47	Evgeny Makarov	Provably Total Functions of Arithmetic with Basic Terms	DICE	2011	DBLP DOI BibTeX RDF
47	Lucien Capedevielle	A type system for PSPACE derived from light linear logic	DICE	2011	DBLP DOI BibTeX RDF
47	Clément Aubert	Sublogarithmic uniform Boolean proof nets	DICE	2011	DBLP DOI BibTeX RDF
47	Daniel Leivant, Ramyaa Ramyaa	Implicit complexity for coinductive data: a characterization of corecurrence	DICE	2011	DBLP DOI BibTeX RDF
47	Patrick Baillot (eds.)	Proceedings International Workshop on Developments in Implicit Computational complExity, DICE 2010, Paphos, Cyprus, 27-28th March 2010.	DICE	2010	DBLP DOI BibTeX RDF
47	Aloïs Brunel, Kazushige Terui	Church => Scott = Ptime: an application of resource sensitive realizability	DICE	2010	DBLP DOI BibTeX RDF
47	Guillaume Bonfante	Observation of implicit complexity by non confluence	DICE	2010	DBLP DOI BibTeX RDF
47	Amir M. Ben-Amram	On Decidable Growth-Rate Properties of Imperative Programs	DICE	2010	DBLP DOI BibTeX RDF
47	Luca Roversi, Luca Vercelli	Safe Recursion on Notation into a Light Logic by Levels	DICE	2010	DBLP DOI BibTeX RDF
47	Ugo Dal Lago, Simone Martini 0001, Margherita Zorzi	General Ramified Recurrence is Sound for Polynomial Time	DICE	2010	DBLP DOI BibTeX RDF
45	Riaz Naseer, Jeff Draper	DF-DICE: a scalable solution for soft error tolerant circuit design.	ISCAS	2006	DBLP DOI BibTeX RDF
45	Brett J. Vickers, Larry T. Chen, Tatsuya Suda, Jaime Bae Kim, S. Myers, E. Lesnansky	The Distributed and Interactive Courseware Environment (DICE).	FTDCS	1995	DBLP DOI BibTeX RDF	ATM WAN, distance learning, courseware, satellite communications
45	Peter Fritzson	Preliminary Experience from the DICE System, A Distributed Incremental Compiling Environment.	Software Development Environments (SDE)	1984	DBLP DOI BibTeX RDF
41	Matthijs J. Warrens	k-Adic Similarity Coefficients for Binary (Presence/Absence) Data.	J. Classif.	2009	DBLP DOI BibTeX RDF	Indices of association, Resemblance measures, Simple matching coefficient, Dice/Sørenson coefficient, Rand index, Global order equivalence, Jaccard coefficient
35	Sota Kato, Kazuhiro Hotta	Adaptive t-vMF dice loss: An effective expansion of dice loss for medical image segmentation.	Comput. Biol. Medicine	2024	DBLP DOI BibTeX RDF
35	Zifu Wang, Teodora Popordanoska, Jeroen Bertels, Robin Lemmens, Matthew B. Blaschko	Dice Semimetric Losses: Optimizing the Dice Score with Soft Labels.	CoRR	2023	DBLP DOI BibTeX RDF
35	Zifu Wang, Teodora Popordanoska, Jeroen Bertels, Robin Lemmens, Matthew B. Blaschko	Dice Semimetric Losses: Optimizing the Dice Score with Soft Labels.	MICCAI (3)	2023	DBLP DOI BibTeX RDF
35	Zhe Tao, Aseem Rastogi, Naman Gupta, Kapil Vaswani, Aditya V. Thakur	DICE*: A Formally Verified Implementation of DICE Measured Boot.	USENIX Security Symposium	2021	DBLP BibTeX RDF
32	Gene Golovchinsky, Pernilla Qvarfordt, Bill van Melle, Scott A. Carter, Tony Dunnigan	DICE: designing conference rooms for usability.	CHI	2009	DBLP DOI BibTeX RDF	usability, ubiquitous computing, smart environments
32	Niklas Elmqvist, Pierre Dragicevic, Jean-Daniel Fekete	Rolling the Dice: Multidimensional Visual Exploration using Scatterplot Matrix Navigation.	IEEE Trans. Vis. Comput. Graph.	2008	DBLP DOI BibTeX RDF
32	Piotr Berman, Bhaskar DasGupta, S. Muthukrishnan 0001	Slice and dice: a simple, improved approximate tiling recipe.	SODA	2002	DBLP BibTeX RDF
32	Benjamin Doerr, Anand Srivastav	Recursive Randomized Coloring Beats Fair Dice Random Colorings.	STACS	2001	DBLP DOI BibTeX RDF
32	David Feldman, Russell Impagliazzo, Moni Naor, Noam Nisan, Steven Rudich, Adi Shamir	On Dice and Coins: Models of Computation for Random Generation.	ICALP	1989	DBLP DOI BibTeX RDF
30	Hamid Mozaffari, Virendra J. Marathe, Dave Dice	FedPerm: Private and Robust Federated Learning by Parameter Permutation.	CoRR	2022	DBLP DOI BibTeX RDF
30	Ramya Ramalingam, Nicolas A. Espinosa Dice, Megan L. Kaye, George D. Montañez	Bounding Generalization Error Through Bias and Capacity.	IJCNN	2022	DBLP DOI BibTeX RDF
30	Vyas Ramasubramani, Bradley D. Dice, Tobias Dwyer, Sharon C. Glotzer	coxeter: A Python package for working with shapes.	J. Open Source Softw.	2021	DBLP DOI BibTeX RDF
30	Dave Dice, Alex Kogan	Optimizing Inference Performance of Transformers on CPUs.	CoRR	2021	DBLP BibTeX RDF
30	Dave Dice, Alex Kogan	Hemlock : Compact and Scalable Mutual Exclusion.	CoRR	2021	DBLP BibTeX RDF
30	Dave Dice, Alex Kogan	Ready When You Are: Efficient Condition Variables via Delegated Condition Evaluation.	CoRR	2021	DBLP BibTeX RDF
30	Dave Dice, Alex Kogan	Compact Java Monitors.	CoRR	2021	DBLP BibTeX RDF
30	Dave Dice, Alex Kogan	Intra-process Caching and Reuse of Threads.	CoRR	2021	DBLP BibTeX RDF
30	Nicolas A. Espinosa Dice, Megan L. Kaye, Hana Ahmed, George D. Montañez	A Probabilistic Theory of Abductive Reasoning.	ICAART (2)	2021	DBLP DOI BibTeX RDF
30	Bradley D. Dice, Brandon L. Butler, Vyas Ramasubramani, Alyssa Travitz, Michael M. Henry, Hardik Ojha, Kelly L. Wang, Carl S. Adorf, Eric Jankowski, Sharon C. Glotzer	signac: Data Management and Workflows for Computational Researchers.	SciPy	2021	DBLP DOI BibTeX RDF
30	Brett W. Israelsen, Peggy Wu, Katharine Woodruff, Gianna Avdic-McIntire, Andrew Radlbeck, Angus McLean, Patrick "Dice" Highland, Thomas "Mach" Schnell, Daniel "Animal" Javorsek	Introducing SMRTT: A Structural Equation Model of Multimodal Real-Time Trust.	HRI (Companion)	2021	DBLP DOI BibTeX RDF
30	Dave Dice, Alex Kogan	Hemlock: Compact and Scalable Mutual Exclusion.	SPAA	2021	DBLP DOI BibTeX RDF
30	Vyas Ramasubramani, Bradley D. Dice, Eric S. Harper, Matthew P. Spellings, Joshua A. Anderson, Sharon C. Glotzer	freud: A software suite for high throughput analysis of particle simulation data.	Comput. Phys. Commun.	2020	DBLP DOI BibTeX RDF
30	Dave Dice, Alex Kogan	Fissile Locks.	CoRR	2020	DBLP BibTeX RDF
30	Alex Kogan, Dave Dice, Shady Issa	Scalable Range Locks for Scalable Address Spaces and Beyond.	CoRR	2020	DBLP BibTeX RDF
30	Dave Dice, Alex Kogan	Fissile Locks.	NETYS	2020	DBLP DOI BibTeX RDF
30	Alex Kogan, Dave Dice, Shady Issa	Scalable range locks for scalable address spaces and beyond.	EuroSys	2020	DBLP DOI BibTeX RDF
30	Dave Dice, Alex Kogan	Avoiding Scalability Collapse by Restricting Concurrency.	CoRR	2019	DBLP BibTeX RDF
30	Vyas Ramasubramani, Bradley D. Dice, Eric S. Harper, Matthew P. Spellings, Joshua A. Anderson, Sharon C. Glotzer	freud: A Software Suite for High Throughput Analysis of Particle Simulation Data.	CoRR	2019	DBLP BibTeX RDF
30	Dave Dice, Alex Kogan	TWA - Ticket Locks Augmented with a Waiting Array.	Euro-Par	2019	DBLP DOI BibTeX RDF
30	Dave Dice, Alex Kogan	Avoiding Scalability Collapse by Restricting Concurrency.	Euro-Par	2019	DBLP DOI BibTeX RDF
30	Dave Dice, Alex Kogan	BRAVO - Biased Locking for Reader-Writer Locks.	USENIX Annual Technical Conference	2019	DBLP BibTeX RDF
30	Bradley D. Dice, Vyas Ramasubramani, Eric S. Harper, Matthew P. Spellings, Joshua A. Anderson, Sharon C. Glotzer	Analyzing Particle Systems for Machine Learning and Data Visualization with freud.	SciPy	2019	DBLP DOI BibTeX RDF
30	Dave Dice, Alex Kogan	Compact NUMA-aware Locks.	EuroSys	2019	DBLP DOI BibTeX RDF
30	Peter A. Buhr, David Dice, Wim H. Hesselink	High-contention mutual exclusion by elevator algorithms.	Concurr. Comput. Pract. Exp.	2018	DBLP DOI BibTeX RDF
30	Wim H. Hesselink, Peter A. Buhr, David Dice	Fast mutual exclusion by the Triangle algorithm.	Concurr. Comput. Pract. Exp.	2018	DBLP DOI BibTeX RDF
30	Dave Dice, Maurice Herlihy, Alex Kogan	Improving Parallelism in Hardware Transactional Memory.	ACM Trans. Archit. Code Optim.	2018	DBLP DOI BibTeX RDF
30	David Dice, Alex Kogan	BRAVO - Biased Locking for Reader-Writer Locks.	CoRR	2018	DBLP BibTeX RDF
30	Dave Dice, Alex Kogan	Compact NUMA-Aware Locks.	CoRR	2018	DBLP BibTeX RDF
30	Virendra J. Marathe, Achin Mishra, Amee Trivedi, Yihe Huang, Faisal Zaghloul, Sanidhya Kashyap, Margo I. Seltzer, Tim Harris 0001, Steve Byan, Bill Bridge, Dave Dice	Persistent Memory Transactions.	CoRR	2018	DBLP BibTeX RDF
30	Dave Dice, Alex Kogan	TWA - Ticket Locks Augmented with a Waiting Array.	CoRR	2018	DBLP BibTeX RDF
30	Kevin Dice, Cortez Gray, George Walker, Cody Baldwin, Daniel Andresen	CUDA-Accelerated Simulation of Brownian Dynamics.	PEARC	2018	DBLP DOI BibTeX RDF
30	Vyas Ramasubramani, Carl S. Adorf, Paul M. Dodd, Bradley D. Dice, Sharon C. Glotzer	signac: A Python framework for data and workflow management.	SciPy	2018	DBLP DOI BibTeX RDF
30	Maria Carpen-Amarie, Yaroslav Hayduk, Pascal Felber, Christof Fetzer, Gaël Thomas 0001, Dave Dice	Towards an Efficient Pauseless Java GC with Selective HTM-Based Access Barriers.	ManLang	2017	DBLP DOI BibTeX RDF
30	Dave Dice	Malthusian Locks.	EuroSys	2017	DBLP DOI BibTeX RDF
30	Peter A. Buhr, David Dice, Wim H. Hesselink	Dekker's mutual exclusion algorithm made RW-safe.	Concurr. Comput. Pract. Exp.	2016	DBLP DOI BibTeX RDF
30	Dave Dice, Maurice Herlihy, Alex Kogan	Fast non-intrusive memory reclamation for highly-concurrent data structures.	ISMM	2016	DBLP DOI BibTeX RDF
30	Maria Carpen-Amarie, Dave Dice, Gaël Thomas 0001, Pascal Felber	Transactional Pointers: Experiences with HTM-Based Reference Counting in C++.	NETYS	2016	DBLP DOI BibTeX RDF
30	Robert Kondo, Daisuke 'Dice' Tsutsumi, Tomohiko Ishii, Genki Kawamura	MOOM (Japan).	SIGGRAPH ASIA Computer Animation Festival	2016	DBLP DOI BibTeX RDF
30	Dave Dice, Alex Kogan, Yossi Lev	Refined transactional lock elision.	PPoPP	2016	DBLP DOI BibTeX RDF
30	Peter A. Buhr, David Dice, Wim H. Hesselink	High-performance N-thread software solutions for mutual exclusion.	Concurr. Comput. Pract. Exp.	2015	DBLP DOI BibTeX RDF
30	Dave Dice	Malthusian Locks.	CoRR	2015	DBLP BibTeX RDF
30	Dave Dice, Tim Harris 0001, Alex Kogan, Yossi Lev	The Influence of Malloc Placement on TSX Hardware Transactional Memory.	CoRR	2015	DBLP BibTeX RDF
30	David Dice, Virendra J. Marathe, Nir Shavit	Lock Cohorting: A General Technique for Designing NUMA Locks.	ACM Trans. Parallel Comput.	2015	DBLP DOI BibTeX RDF
30	Jons-Tobias Wamhoff, Stephan Diestelhorst, Christof Fetzer, Patrick Marlier, Pascal Felber, Dave Dice	The TURBO Diaries: Application-controlled Frequency Scaling Explained.	Software Engineering & Management	2015	DBLP BibTeX RDF
30	Maria Carpen-Amarie, Dave Dice, Patrick Marlier, Gaël Thomas 0001, Pascal Felber	Evaluating HTM for Pauseless Garbage Collectors in Java.	TrustCom/BigDataSE/ISPA (3)	2015	DBLP DOI BibTeX RDF
30	Dave Dice, Danny Hendler, Ilya Mirsky	Software-based contention management for efficient compare-and-swap operations.	Concurr. Comput. Pract. Exp.	2014	DBLP DOI BibTeX RDF
30	Dave Dice, Timothy L. Harris, Alex Kogan, Yossi Lev, Mark Moir	Hardware extensions to make lazy subscription safe.	CoRR	2014	DBLP BibTeX RDF
30	Jons-Tobias Wamhoff, Stephan Diestelhorst, Christof Fetzer, Patrick Marlier, Pascal Felber, Dave Dice	The TURBO Diaries: Application-controlled Frequency Scaling Explained.	USENIX Annual Technical Conference	2014	DBLP BibTeX RDF
30	Dave Dice, Alex Kogan, Yossi Lev, Timothy Merrifield, Mark Moir	Adaptive integration of hardware and software lock elision techniques.	SPAA	2014	DBLP DOI BibTeX RDF
30	Dave Dice, Virendra J. Marathe, Nir Shavit	Brief announcement: persistent unfairness arising from cache residency imbalance.	SPAA	2014	DBLP DOI BibTeX RDF
30	Dave Dice, Danny Hendler, Ilya Mirsky	Lightweight Contention Management for Efficient Compare-and-Swap Operations	CoRR	2013	DBLP BibTeX RDF
30	David Dice, Danny Hendler, Ilya Mirsky	Lightweight Contention Management for Efficient Compare-and-Swap Operations.	Euro-Par	2013	DBLP DOI BibTeX RDF
30	Irina Calciu, Dave Dice, Tim Harris 0001, Maurice Herlihy, Alex Kogan, Virendra J. Marathe, Mark Moir	Message Passing or Shared Memory: Evaluating the Delegation Abstraction for Multicores.	OPODIS	2013	DBLP DOI BibTeX RDF
30	Irina Calciu, David Dice, Yossi Lev, Victor Luchangco, Virendra J. Marathe, Nir Shavit	NUMA-aware reader-writer locks.	PPoPP	2013	DBLP DOI BibTeX RDF