|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 26 occurrences of 26 keywords
|
|
|
Results
Found 44 publication records. Showing 39 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, SOSP 2009, Big Sky, Montana, USA, October 11-14, 2009, pp. 177-192, 2009, ACM, 978-1-60558-752-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: Proceeding of the 33rd International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2010, Geneva, Switzerland, July 19-23, 2010, pp. 611-618, 2010, ACM, 978-1-4503-0153-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 11-15 September 2000, Tokyo, Japan, pp. 134-142, 2000, IEEE Computer Society, 0-7695-0583-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Proceedings of the 7th International Conference on Electronic Commerce, ICEC 2005, Xi'an, China, August 15-17, 2005, pp. 653-658, 2005, ACM, 1-59593-112-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Proceedings of the 13th International Symposium on System Synthesis, ISSS'00, Madrid, Spain, September 20-22, 2000., pp. 149-156, 2000, ACM / IEEE Computer Society, 0-7695-0765-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
44 | Luis Alejandro Cortés, Petru Eles, Zebo Peng |
Formal Coverification of Embedded Systems Using Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 26th EUROMICRO 2000 Conference, Informatics: Inventing the Future, 5-7 September 2000, Maastricht, The Netherlands, pp. 1106-1113, 2000, IEEE Computer Society, 0-7695-0780-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.01967, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
41 | Sascha Pres, Susanne Wende |
The European Union Trade-Secrets Directive: To-Dos for Companies? [IP Corner]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Consumer Electron. Mag. ![In: IEEE Consumer Electron. Mag. 6(2), pp. 105-117, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
41 | Massimiliano Caporin, Juliusz Pres |
Modelling and forecasting wind speed intensity for weather risk management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stat. Data Anal. ![In: Comput. Stat. Data Anal. 56(11), pp. 3459-3476, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASSETS ![In: Proceedings of the First Annual ACM Conference on Assistive Technologies, ASSETS 1994, Marina Del Rey, California, USA, October 31 - November 3, 1994, pp. 123-128, 1994, ACM, 0-89791-649-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers for Handicapped Persons, 4th International Conference, ICCHP'94, Vienna, Austria, September 14-16, 1994, Proceedings, pp. 16-24, 1994, Springer, 3-540-58476-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1994 |
RDF |
|
30 | Yang Wang 0050, Yanmin Zhao, Mingqiang Wang |
Lattice-based key private PREs with HRA security and PCS security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stand. Interfaces ![In: Comput. Stand. Interfaces 87, pp. 103778, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
30 | Junwei Su, Difan Zou, Chuan Wu 0001 |
PRES: Toward Scalable Memory-Based Dynamic Graph Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.04284, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Briefings Bioinform. ![In: Briefings Bioinform. 23(4), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Yang Wang, Yanmin Zhao, Mingqiang Wang |
PREs with HRA Security and Key Privacy Based on Standard LWE Assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2021, pp. 1424, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTAP ![In: Intelligent Technologies and Applications - 4th International Conference, INTAP 2021, Grimstad, Norway, October 11-13, 2021, Revised Selected Papers, pp. 210-222, 2021, Springer, 978-3-031-10524-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Chenliu Yang, Jiahui Hu, Yunman Fan, An Fang |
PHS-PRES: Multi-Sided Protection for Population Health Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iPRES ![In: Proceedings of the 17th International Conference on Digital Preservation, iPRES 2021, Beijing, China, October 19-22, 2021, 2021. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
30 | Zekun Yang, Yu Chen 0002, Ning Zhou, Shiqiong Tong |
PReS: Power Peak Reduction by Real-time Scheduling for Urban Railway Transit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
StICT ![In: IEEE Sustainability through ICT Summit, StICT 2019, Montréal, QC, Canada, June 18-19, 2019, pp. 1-6, 2019, IEEE, 978-1-7281-0308-2. The full citation details ...](Pics/full.jpeg) |
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é. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Document Numérique ![In: Document Numérique 20(2-3), pp. 97-114, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PCI ![In: Proceedings of the 21st Pan-Hellenic Conference on Informatics, Larissa, Greece, September 28-30, 2017, pp. 8:1-8:2, 2017, ACM, 978-1-4503-5355-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Process. Lett. ![In: Parallel Process. Lett. 26(2), pp. 1650010:1-1650010:18, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICT-DM ![In: 3rd International Conference on Information and Communication Technologies for Disaster Management, ICT-DM 2016, Vienna, Austria, December 13-15, 2016, pp. 1-6, 2016, IEEE, 978-1-5090-5234-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
30 | Ellen M. Voorhees |
On the Behavior of PRES Using Incomplete Judgment Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTIR ![In: Proceedings of the 2015 International Conference on The Theory of Information Retrieval, ICTIR 2015, Northampton, Massachusetts, USA, September 27-30, 2015, pp. 333-336, 2015, ACM, 978-1-4503-3833-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 52nd Annual Design Automation Conference, San Francisco, CA, USA, June 7-11, 2015, pp. 23:1-23:6, 2015, ACM, 978-1-4503-3520-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDAT ![In: Progress in VLSI Design and Test - 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings, pp. 69-78, 2012, Springer, 978-3-642-31493-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Circuits Devices Syst. ![In: IET Circuits Devices Syst. 5(5), pp. 403-410, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Soumyadip Bandyopadhyay |
Equivalence Checking in Embedded Systems Design Verification using PRES+ model ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1010.4953, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
30 | Adrian Rice |
"To a Factor prés": Cayley's Partial Anticipation of the Weierstrass γ-Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 117(4), pp. 291-302, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICE-B ![In: ICE-B 2008 - Proceedings of the International Conference on e-Business, Porto, Portugal, July 26-29, 2008, ICE-B is part of ICETE - The International Joint Conference on e-Business and Telecommunications, pp. 64-69, 2008, INSTICC Press, 978-989-8111-58-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
30 | Claude Chaunier, Nik Lygeros |
Le nombre de posets à isomorphie près ayant 12 èlèments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 123(1), pp. 89-94, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMC ![In: Opening a New Horizon: Proceedings of the 1993 International Computer Music Conference, ICMC 1993, Tokio, Japan, September 10-15, 1993, 1993, Michigan Publishing. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
22 | Lu Ma, Jeffrey J. P. Tsai |
Formal Modeling and Analysis of a Secure Mobile-Agent System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 38(1), pp. 180-196, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVLSI ![In: 2007 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2007), May 9-11, 2007, Porto Alegre, Brazil, pp. 291-298, 2007, IEEE Computer Society, 0-7695-2896-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Katharina Siorpaes, Martin Hepp |
OntoGame: Towards Overcoming the Incentive Bottleneck in Ontology Building. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops (2) ![In: On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part II, pp. 1222-1232, 2007, Springer, 978-3-540-76889-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Gexiang Zhang, Haina Rong |
Quantum-Inspired Genetic Algorithm Based Time-Frequency Atom Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (4) ![In: Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV, pp. 243-250, 2007, Springer, 978-3-540-72589-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 13th International Conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001, Proceedings, pp. 359-373, 2001, Springer, 3-540-42215-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceeding of the CHI '99 Conference on Human Factors in Computing Systems: The CHI is the Limit, Pittsburgh, PA, USA, May 15-20, 1999., pp. 112-119, 1999, ACM, 0-201-48559-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
UbiButton, Whisper, wearable computer, PDA, cellular phone, handset, interface device |
Displaying result #1 - #39 of 39 (100 per page; Change: )
|
|