Search results for "PRES"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
160	Soyeon Park, Yuanyuan Zhou 0001, Weiwei Xiong, Zuoning Yin, Rini Kaushik, Kyu H. Lee, Shan Lu 0001	PRES: probabilistic replay with execution sketching on multiprocessors.	SOSP	2009	DBLP DOI BibTeX RDF	replay, concurrency bug
128	Walid Magdy, Gareth J. F. Jones	PRES: a score metric for evaluating recall-oriented information retrieval applications.	SIGIR	2010	DBLP DOI BibTeX RDF	PRES, recall-oriented information retrieval, evaluation metric, patent retrieval
76	Luis Alejandro Cortés, Petru Eles, Zebo Peng	Definitions of Equivalence for Transformational Synthesis of Embedded Systems.	ICECCS	2000	DBLP DOI BibTeX RDF	transformational synthesis, PRES+, explicit notion, Ethernet network coprocessor, embedded systems, Petri nets, computational model, equivalence, embedded systems design, data transformation, formal notation, design cycles, complex task
51	Yuqing Sun 0001, Peng Pan	PRES: a practical flexible RBAC workflow system.	ICEC	2005	DBLP DOI BibTeX RDF	property right exchange, workflow, RBAC, electronic business
44	Luis Alejandro Cortés, Petru Eles, Zebo Peng	Verification of Embedded Systems using a Petri Net based Representation.	ISSS	2000	DBLP DOI BibTeX RDF
44	Luis Alejandro Cortés, Petru Eles, Zebo Peng	Formal Coverification of Embedded Systems Using Model Checking.	EUROMICRO	2000	DBLP DOI BibTeX RDF
41	Andrew Lee, Xiaoyan Bai, Itamar Pres, Martin Wattenberg, Jonathan K. Kummerfeld, Rada Mihalcea	A Mechanistic Understanding of Alignment Algorithms: A Case Study on DPO and Toxicity.	CoRR	2024	DBLP DOI BibTeX RDF
41	Sascha Pres, Susanne Wende	The European Union Trade-Secrets Directive: To-Dos for Companies? [IP Corner].	IEEE Consumer Electron. Mag.	2017	DBLP DOI BibTeX RDF
41	Massimiliano Caporin, Juliusz Pres	Modelling and forecasting wind speed intensity for weather risk management.	Comput. Stat. Data Anal.	2012	DBLP DOI BibTeX RDF
41	Arthur I. Karshmer, Pres Brawner, George Reiswig	An experimental sound-based hierarchical menu navigation system for visually handicapped use of graphical user interfaces.	ASSETS	1994	DBLP DOI BibTeX RDF
41	Arthur I. Karshmer, Bill Ogden, Pres Brawner, Karlis Kaugars, George Reiswig	Adapting Graphical User Interfaces for Use by Visually Handicapped Computer Users: Current Results and Continuing Research.	ICCHP	1994	DBLP DOI BibTeX RDF
41	Andreas Pres	Gestaltungsformen urheberrechtlicher Softwarelizenzverträge: eine juristische und ökonomische Untersuchung unter besonderer Berücksichtigung des Zweiten Gesetzes zur Änderung des Urheberrechtsgesetzes vom 9. Juni 1993.		1994	RDF
30	Yang Wang 0050, Yanmin Zhao, Mingqiang Wang	Lattice-based key private PREs with HRA security and PCS security.	Comput. Stand. Interfaces	2024	DBLP DOI BibTeX RDF
30	Junwei Su, Difan Zou, Chuan Wu 0001	PRES: Toward Scalable Memory-Based Dynamic Graph Neural Networks.	CoRR	2024	DBLP DOI BibTeX RDF
30	Dezhong Lv, Kang Xu, Changbo Yang, Yujie Liu, Ya Luo, Weiwei Zhou, Haozhe Zou, Yangyang Cai, Na Ding, Xia Li 0004, Tingting Shao, Yongsheng Li 0001, Juan Xu 0001	PRES: a webserver for decoding the functional perturbations of RNA editing sites.	Briefings Bioinform.	2022	DBLP DOI BibTeX RDF
30	Yang Wang, Yanmin Zhao, Mingqiang Wang	PREs with HRA Security and Key Privacy Based on Standard LWE Assumptions.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
30	Uma Yadav, Anju Gupta, Rajesh Kumar Ahuja	Bode Plot Analysis of PRES and Novel PRESH Controller Interfaced with Three Phase GTSPPS.	INTAP	2021	DBLP DOI BibTeX RDF
30	Chenliu Yang, Jiahui Hu, Yunman Fan, An Fang	PHS-PRES: Multi-Sided Protection for Population Health Data.	iPRES	2021	DBLP BibTeX RDF
30	Nicolas Dub	Enumeration of triangulations modulo symmetries and of rooted triangulations counted by their number of (d - 2)-simplices in dimension d ≥ 2. (Enumération de triangulations aux symétries près et de triangulations enracinées comptées avec leur nombre de (d-2) simplexes en dimension supérieure ou égale à 2).		2021	RDF
30	Zekun Yang, Yu Chen 0002, Ning Zhou, Shiqiong Tong	PReS: Power Peak Reduction by Real-time Scheduling for Urban Railway Transit.	StICT	2019	DBLP DOI BibTeX RDF
30	Nicolas Rollet, Valérie Beaudouin, Isabelle Garron	Vidéo-ethnographie des usages de GallicaUne exploration au plus près de l'activité.	Document Numérique	2017	DBLP DOI BibTeX RDF
30	Michail Chatzidakis, Michael Loukeris, Stathes Hadjiefthymiades	E-PreS: Evaluation of Building Evacuation Drills: A Smart Tool to Help Building Evacuation Drill Designers to Find the Optimal Evacuation Pattern.	PCI	2017	DBLP DOI BibTeX RDF
30	Soumyadip Bandyopadhyay, Dipankar Sarkar 0001, Chittaranjan A. Mandal, Kunal Banerjee 0001, Krishnam Raju Duddu	A Path Construction Algorithm for Translation Validation Using PRES+ Models.	Parallel Process. Lett.	2016	DBLP DOI BibTeX RDF
30	Michail Chatzidakis, Michail Loukerist, Kostis Gerakos, Stathes Hadjiefthymiades	E-PreS: Monitoring and evaluation of natural hazard preparedness at school community.	ICT-DM	2016	DBLP DOI BibTeX RDF
30	Ellen M. Voorhees	On the Behavior of PRES Using Incomplete Judgment Sets.	ICTIR	2015	DBLP DOI BibTeX RDF
30	Seyed Mohammad Seyedzadeh, Rakan Maddah, Alex K. Jones, Rami G. Melhem	PRES: pseudo-random encoding scheme to increase the bit flip reduction in the memory.	DAC	2015	DBLP DOI BibTeX RDF
30	Soumyadip Bandyopadhyay, Kunal Banerjee 0001, Dipankar Sarkar 0001, Chittaranjan A. Mandal	Translation Validation for PRES+ Models of Parallel Behaviours via an FSMD Equivalence Checker.	VDAT	2012	DBLP DOI BibTeX RDF
30	Santosh Shedabale, Gordon Russell 0002, Alexandre Yakovlev	M-PRES: a statistical tool for modelling the impact of manufacturing process variations on circuit-level performance parameters.	IET Circuits Devices Syst.	2011	DBLP DOI BibTeX RDF
30	Soumyadip Bandyopadhyay	Equivalence Checking in Embedded Systems Design Verification using PRES+ model	CoRR	2010	DBLP BibTeX RDF
30	Adrian Rice	"To a Factor prés": Cayley's Partial Anticipation of the Weierstrass γ-Function.	Am. Math. Mon.	2010	DBLP DOI BibTeX RDF
30	Lenuta Alboaie	PRES - Personalized Evaluation System in a Web Community - A Conceptual Model Designed to Evaluate Reputation in Order to Achive a Personalised View on the System for Each User.	ICE-B	2008	DBLP BibTeX RDF
30	Claude Chaunier, Nik Lygeros	Le nombre de posets à isomorphie près ayant 12 èlèments.	Theor. Comput. Sci.	1994	DBLP DOI BibTeX RDF
30	Xavier Chabot, Kaija Saariaho, Jean-Baptiste Barrière	On the Realization of NoaNoa and Près, Two Pieces for Solo Instruments and Ircam Signal Processing Workstation.	ICMC	1993	DBLP BibTeX RDF
22	Lu Ma, Jeffrey J. P. Tsai	Formal Modeling and Analysis of a Secure Mobile-Agent System.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
22	Shubhankar Basu, Ranga Vemuri	Process Variation and NBTI Tolerant Standard Cells to Improve Parametric Yield and Lifetime of ICs.	ISVLSI	2007	DBLP DOI BibTeX RDF
22	Katharina Siorpaes, Martin Hepp	OntoGame: Towards Overcoming the Incentive Bottleneck in Ontology Building.	OTM Workshops (2)	2007	DBLP DOI BibTeX RDF
22	Gexiang Zhang, Haina Rong	Quantum-Inspired Genetic Algorithm Based Time-Frequency Atom Decomposition.	International Conference on Computational Science (4)	2007	DBLP DOI BibTeX RDF	Quantum-inspired genetic algorithm, time-frequency atom decomposition, fast implementation algorithm
22	Jacky Estublier	Objects Control for Software Configuration Management.	CAiSE	2001	DBLP DOI BibTeX RDF	architecture, distribution, Version control, concurrent engineering, Software configuration management
22	Masaaki Fukumoto, Yoshinobu Tonomura	Whisper: A Wristwatch Style Wearable Handset.	CHI	1999	DBLP DOI BibTeX RDF	UbiButton, Whisper, wearable computer, PDA, cellular phone, handset, interface device