|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 56 occurrences of 53 keywords
|
|
|
Results
Found 84 publication records. Showing 84 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
63 | Wolf Zimmermann |
On the Correctness of Transformations in Compiler Back-Ends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers, pp. 74-95, 2004, Springer, 3-540-48928-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
63 | Helmut Emmelmann, Friedrich-Wilhelm Schröer, Rudolf Landwehr |
BEG - A Generator for Efficient Back Ends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'89 Conference on Programming Language Design and Implementation (PLDI), Portland, Oregon, USA, June 21-23, 1989, pp. 227-237, 1989, ACM, 0-89791-306-X. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Modula-2 |
61 | Vivek S. Pai, Mohit Aron, Gaurav Banga, Michael Svendsen, Peter Druschel, Willy Zwaenepoel, Erich M. Nahum |
Locality-Aware Request Distribution in Cluster-based Network Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: ASPLOS-VIII Proceedings of the 8th International Conference on Architectural Support for Programming Languages and Operating Systems, San Jose, California, USA, October 3-7, 1998., pp. 205-216, 1998, ACM Press, 1-58113-107-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
52 | Paramjit S. Oberoi, Gurindar S. Sohi |
Parallelism in the Front-End. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 30th International Symposium on Computer Architecture (ISCA 2003), 9-11 June 2003, San Diego, California, USA, pp. 230-240, 2003, IEEE Computer Society, 0-7695-1945-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
47 | Andreas Heuer 0001, Denny Priebe |
Integrating a Query Language for Structured and Semi-Structured Data and IR Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 6-8 September 2000, Greenwich, London, UK, pp. 703-707, 2000, IEEE Computer Society, 0-7695-0680-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
IR techniques, Information Retrieval Query Language, back-ends, GETESS project, IRQL development, information retrieval techniques, SQL99 standard, information retrieval clauses, Boolean retrieval, object-relational model, attribute-independent queries, RDBMSs, IRQL queries, full-text DBMSs, conventional search engines, information retrieval, user interface, query languages, data model, semi-structured data, post processing, data access, structured data, dialogue system, database query languages, object-relational DBMSs |
45 | Fernando Latorre, José González 0002, Antonio González 0001 |
Back-end assignment schemes for clustered multithreaded processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 18th Annual International Conference on Supercomputing, ICS 2004, Saint Malo, France, June 26 - July 01, 2004, pp. 316-325, 2004, ACM, 1-58113-839-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
clustered, CMP, multithreaded, steering |
41 | Lin Li 0032, Fuchuan Tong, Qingyang Hong |
When Speaker Recognition Meets Noisy Labels: Optimizations for Front-Ends and Back-Ends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Audio Speech Lang. Process. ![In: IEEE ACM Trans. Audio Speech Lang. Process. 30, pp. 1586-1599, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
41 | Alexis Bernard, Yifan Gong 0001, Xiaodong Cui |
Can back-ends be more robust than front-ends? Investigation over the Aurora-2 database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP (1) ![In: 2004 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2004, Montreal, Quebec, Canada, May 17-21, 2004, pp. 1025-1028, 2004, IEEE, 0-7803-8484-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Jongbae Moon, Yongyoon Cho |
A High-Availability Webserver Cluster Using Multiple Front-Ends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIS ![In: Computational and Information Science, First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004, Proceedings, pp. 752-761, 2004, Springer, 3-540-24127-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Mikael Pettersson, Peter Fritzson |
DML - a meta-language and system for the generation of practical and efficient compilers from denotational specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: ICCL'92, Proceedings of the 1992 International Conference on Computer Languages, Oakland, California, USA, 20-23 Apr 1992, pp. 127-136, 1992, IEEE Computer Society, 0-8186-2585-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
25 | Alexey Sholokhov, Nikita Kuzmin, Kong Aik Lee, Eng Siong Chng |
Probabilistic Back-ends for Online Speaker Recognition and Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.09523, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Alexey Sholokhov, Nikita Kuzmin, Kong Aik Lee, Eng Siong Chng |
Probabilistic Back-ends for Online Speaker Recognition and Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: IEEE International Conference on Acoustics, Speech and Signal Processing ICASSP 2023, Rhodes Island, Greece, June 4-10, 2023, pp. 1-5, 2023, IEEE, 978-1-7281-6327-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Zhuo Li, Runqiu Xiao, Zihan Zhang, Zhenduo Zhao, Wenchao Wang, Pengyuan Zhang |
Back-ends Selection for Deep Speaker Embeddings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.11403, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Zhiyuan Peng, Xuanji He, Ke Ding, Tan Lee, Guanglu Wan |
Unifying Cosine and PLDA Back-ends for Speaker Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.10523, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Øyvind Anders Arntzen Toftegaard, Janne Hagen, Bernhard M. Hämmerli |
Are European Security Policies Ready for Advanced Metering Systems with Cloud Back-Ends? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection XVI - 16th IFIP WG 11.10 International Conference, ICCIP 2022, Virtual Event, March 14-15, 2022, Revised Selected Papers, pp. 47-69, 2022, Springer, 978-3-031-20136-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Zhiyuan Peng, Xuanji He, Ke Ding, Tan Lee, Guanglu Wan |
Unifying Cosine and PLDA Back-ends for Speaker Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERSPEECH ![In: Interspeech 2022, 23rd Annual Conference of the International Speech Communication Association, Incheon, Korea, 18-22 September 2022., pp. 336-340, 2022, ISCA. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Anna Silnova, Themos Stafylakis, Ladislav Mosner, Oldrich Plchot, Johan Rohdin, Pavel Matejka, Lukás Burget, Ondrej Glembek, Niko Brummer |
Analyzing Speaker Verification Embedding Extractors and Back-Ends Under Language and Channel Mismatch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Odyssey ![In: Odyssey 2022: The Speaker and Language Recognition Workshop, 28 June - 1 July 2022, Beijing, China, pp. 9-16, 2022, ISCA. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Dionysis Athanasopoulos |
Composite Pattern for Autonomic Switching of Service Back-Ends between the Fog and the Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroPLoP ![In: EuroPLoP'21: European Conference on Pattern Languages of Programs 2021, Graz, Austria, July 7 - 11, 2021, pp. 23:1-23:10, 2021, ACM, 978-1-4503-8997-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Abutalib Aghayev, Sage A. Weil, Michael Kuchnik, Mark Nelson 0002, Greg Ganger, George Amvrosiadis |
File Systems Unfit as Distributed Storage Back Ends: Lessons from 10 Years of Ceph Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
login Usenix Mag. ![In: login Usenix Mag. 45(1), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
25 | Elisabeth Bauer, Oliver Schluga, Silia Maksuti, Ani Bicaku, David Hofbauer, Igor Ivkic, Markus Tauber, Alexander Wöhrer |
Towards a Security Baseline for IaaS-Cloud Back-Ends in Industry 4.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1905.06709, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
25 | Vladimir M. Milovanovic, Darko M. Tasovac |
A Customizable DDR3 SDRAM Controller Tailored for FPGA-Based Data Buffering Inside Real-Time Range-Doppler Radar Signal Processing Back Ends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCON ![In: IEEE EUROCON 2019 - 18th International Conference on Smart Technologies, Novi Sad, Serbia, July 1-4, 2019, pp. 1-6, 2019, IEEE, 978-1-5386-9301-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Javier García Blas, David del Rio Astorga, Javier Daniel Garcia, Jesús Carretero 0001 |
Exploiting Stream Parallelism of MRI Reconstruction Using GrPPI over Multiple Back-Ends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 19th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGRID 2019, Larnaca, Cyprus, May 14-17, 2019, pp. 631-637, 2019, IEEE, 978-1-7281-0912-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Blerina Bazelli, Eleni Stroulia |
WL++: a framework to build cross-platform mobile applications and RESTful back-ends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bus. Process. Integr. Manag. ![In: Int. J. Bus. Process. Integr. Manag. 8(1), pp. 1-15, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Srikanth R. Madikeri, Marc Ferras, Petr Motlícek, Subhadeep Dey |
Intra-class covariance adaptation in PLDA back-ends for speaker verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: 2017 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2017, New Orleans, LA, USA, March 5-9, 2017, pp. 5365-5369, 2017, IEEE, 978-1-5090-4117-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Elisabeth Bauer, Oliver Schluga, Silia Maksuti, Ani Bicaku, David Hofbauer, Igor Ivkic, Markus Gerhard Tauber, Alexander Wöhrer |
Towards a security baseline for IaaS-cloud back-ends in Industry 4.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICITST ![In: 12th International Conference for Internet Technology and Secured Transactions, ICITST 2017, Cambridge, United Kingdom, December 11-14, 2017, pp. 427-432, 2017, IEEE, 978-1-908320-93-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Petri Rantanen |
Architecture for Interfacing Content Analysis Back Ends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
25 | Stuart Marsden, Jouko Vankka |
Tactical Network Modeller Simulation Tool Combined discrete event and network back-ends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1508.05830, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
25 | Anna Fedorova, Ondrej Glembek, Tomi Kinnunen, Pavel Matejka |
Exploring ANN back-ends for i-vector based speaker age estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERSPEECH ![In: INTERSPEECH 2015, 16th Annual Conference of the International Speech Communication Association, Dresden, Germany, September 6-10, 2015, pp. 3036-3040, 2015, ISCA. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Eleni Stroulia, Blerina Bazelli, Joanna W. Ng, Tinny Ng |
WL++: Code Generation of Multi-platform Mobile Clients to Restful Back-Ends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOBILESoft ![In: 2nd ACM International Conference on Mobile Software Engineering and Systems, MOBILESoft 2015, Florence, Italy, May 16-17, 2015, pp. 136-137, 2015, IEEE Computer Society, 978-0-7695-5566-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Yasir Latif, Cesar Dario Cadena Lerma, José Neira |
Robust graph SLAM back-ends: A comparative analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2014, Chicago, IL, USA, September 14-18, 2014, pp. 2683-2690, 2014, IEEE, 978-1-4799-6931-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Karsten Schwenk, Gerrit Voß, Johannes Behr, Yvonne Jung, Max Limper, Pasquale Herzig, Arjan Kuijper |
Extending a distributed virtual reality system with exchangeable rendering back-ends - Techniques, applications, experiences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 29(10), pp. 1039-1049, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Sastry K. V. S. N, Ambadas Choudhari |
Legacy mainframe back-ends supporting new age enterprise applications: can the elephant run with deers? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISEC ![In: 6th India Software Engineering Conference, ISEC '13, New Delhi, India - February 21 - 23, 2013, pp. 55-60, 2013, ACM, 978-1-4503-1987-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Cyrille Artho, Armin Biere, Martina Seidl |
Model-Based Testing for Verification Back-Ends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest, Hungary, June 16-20, 2013. Proceedings, pp. 39-55, 2013, Springer, 978-3-642-38915-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Ngoc Viet Tran, Andreas Ganser, Horst Lichter |
Multi Back-Ends for a Model Library Abstraction Layer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2013 - 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III, pp. 160-174, 2013, Springer, 978-3-642-39645-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Karsten Schwenk, Gerrit Voss, Johannes Behr |
A System Architecture for Flexible Rendering Back-ends in Distributed Virtual Reality Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CW ![In: 2012 International Conference on Cyberworlds, Darmstadt, Germany, September 25-27, 2012, pp. 7-14, 2012, IEEE Computer Society, 978-1-4673-2736-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Elke Salecker |
Test and verification of compiler back ends with a cost-benefit analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
25 | Nicolas Scheffer, Yun Lei, Luciana Ferrer |
Factor Analysis Back Ends for MLLR Transforms in Speaker Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERSPEECH ![In: INTERSPEECH 2011, 12th Annual Conference of the International Speech Communication Association, Florence, Italy, August 27-31, 2011, pp. 257-260, 2011, ISCA. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Wolf Zimmermann |
On the Correctness of Transformations in Compiler Back-Ends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (Preliminary proceedings) ![In: International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings, pp. 10-17, 2004, Department of Computer Science, University of Cyprus. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
25 | Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann |
ASM-based Mechanized Verification of Compiler Back-Ends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Abstract State Machines ![In: Fifth International Workshop on Abstract State Machines, ASM 1998, Magdeburg, Germany, September 21-22, Proceedings, pp. 50-67, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
25 | Wolf Zimmermann, Thilo Gaul |
On the Construction of Correct Compiler Back-Ends: An ASM-Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 3(5), pp. 504-567, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
25 | Louis A. Molina, Carlos Gandarillas, Martha A. Centeno |
Goal Driven Simulation Intelligent Back Ends: A State of the Art Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 28th conference on Winter simulation, WSC 1996, Coronado, CA, USA, December 8-11, 1996, pp. 734-739, 1996, IEEE Computer Society, 0-7803-3383-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Thérèse Hardin, Luc Maranget, Bruno Pagano |
Functional Back-Ends within the Lambda-Sigma Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, ICFP 1996, Philadelphia, Pennsylvania, USA, May 24-26, 1996., pp. 25-33, 1996, ACM, 0-89791-770-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Gilberto Barbieri, Luigi Colazzo, Andrea Molinari |
Relational Back-Ends in the Management of Large Hypertexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hypertext/Hypermedia ![In: Hypertext/Hypermedia, Tagung der GI, SI und OCG, Graz, 27./28 Mai 1991, Proceedings, pp. 34-51, 1991, Springer, 3-540-54145-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
23 | Yanping Gao, Xiangjun Li, Yandong Che |
New Architecture and Algorithm for Webserver Cluster Based on Linux Virtual Server. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIP ![In: International Symposium on Information Processing, ISIP 2008 / International Pacific Workshop on Web Mining, and Web-Based Application, WMWA 2008, Moscow, Russia, 23-25 May 2008, pp. 520-524, 2008, IEEE Computer Society, 978-0-7695-3151-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò 0001, Laurent Vigneron |
The AVISS Security Protocol Analysis Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings, pp. 349-353, 2002, Springer, 3-540-43997-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Alper Buyuktosunoglu, Tejas Karkhanis, David H. Albonesi, Pradip Bose |
Energy Efficient Co-Adaptive Instruction Fetch and Issue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 30th International Symposium on Computer Architecture (ISCA 2003), 9-11 June 2003, San Diego, California, USA, pp. 147-156, 2003, IEEE Computer Society, 0-7695-1945-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | E. Michael Maximilien |
Web Services on Rails: Using Ruby and Rails for Web Services Development and Mashups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: 2006 IEEE International Conference on Services Computing (SCC 2006), 18-22 September 2006, Chicago, Illinois, USA, 2006, IEEE Computer Society, 0-7695-2670-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Andres Rudmik, Barbara G. Moore |
An Efficient Separate Compilation Strategy for Very Large Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGPLAN Symposium on Compiler Construction ![In: Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, Boston, Massachusetts, USA, June 23-25, 1982, pp. 301-307, 1982, ACM, 0-89791-074-5. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
CCS, CHILL |
15 | Yutong Lu, Huajian Mao, Jie Shen |
A Distributed file system framework for transparent accessing heterogeneous storage services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009, pp. 1-8, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Mike Mammarella, Shant Hovsepian, Eddie Kohler |
Modular data storage with Anvil. ![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. 147-160, 2009, ACM, 978-1-60558-752-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
software architecture, databases, modular design |
15 | Anthony D. Wood, John A. Stankovic, Gilles Virone, Leo Selavo, Zhimin He, Qiuhua Cao, Thao Doan, Yafeng Wu, Lei Fang, Radu Stoleru |
Context-aware wireless sensor networks for assisted living and residential monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Netw. ![In: IEEE Netw. 22(4), pp. 26-33, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Cyril Brignone, Tim Connors, Mehrban Jam, Geoff Lyon, Geetha Manjunath, Alan A. McReynolds, Swarup Mohalik, Ian Robinson, Craig Sayers, Cosme Sevestre, Jean Tourrilhes, Venugopal Srinivasmurthy |
Real time asset tracking in the data center. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Parallel Databases ![In: Distributed Parallel Databases 21(2-3), pp. 145-165, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
RIFD, Asset tracking, Supply chain, Change management, Data center, Inventory management |
15 | Tiankai Tu, Hongfeng Yu 0001, Leonardo Ramírez-Guzmán, Jacobo Bielak, Omar Ghattas, Kwan-Liu Ma, David R. O'Hallaron |
Scalable systems software - From mesh generation to scientific visualization: an end-to-end approach to parallel supercomputing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the ACM/IEEE SC2006 Conference on High Performance Networking and Computing, November 11-17, 2006, Tampa, FL, USA, pp. 91, 2006, ACM Press, 0-7695-2700-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | J. Eliot B. Moss, Trek S. Palmer, Timothy Richards, Edward K. Walters II, Charles C. Weems |
CISL: A Class-Based Machine Description Language for Co-Generation of Compilers and Simulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 33(2-3), pp. 231-246, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
simulator, compiler, Language design, instruction set architecture, machine description |
11 | Harald Zankl, Nao Hirokawa, Aart Middeldorp |
KBO Orientability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 43(2), pp. 173-201, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Knuth-Bendix order, Termination, Term rewriting |
11 | Stefan Pietschmann, Martin Voigt, Klaus Meißner |
Dynamic Composition of Service-Oriented Web User Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: Fourth International Conference on Internet and Web Applications and Services, ICIW 2009, 24-28 May 2009, Venice/Mestre, Italy, pp. 217-222, 2009, IEEE Computer Society, 978-0-7695-3613-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey |
Cadmium: An Implementation of ACD Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 531-545, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Steve Dworschak, Torsten Grote, Arne König, Torsten Schaub, Philippe Veber |
The System BioC for Reasoning about Biological Models in Action Language C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI (1) ![In: 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 1, pp. 11-18, 2008, IEEE Computer Society, 978-0-7695-3440-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Ross King, Niko Popitsch, Utz Westermann |
METIS: a flexible foundation for the unified management of multimedia assets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 33(3), pp. 325-349, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Unified media management, Multimedia databases |
11 | Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi |
A SystemC/TLM Semantics in Promelaand Its Possible Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings, pp. 204-222, 2007, Springer, 978-3-540-73369-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Torsten Grust, Jan Rittinger, Jens Teubner |
Data-intensive XQuery debugging with instant replay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XIME-P ![In: Proceedings of the 4th International Workshop on XQuery Implementation, Experience and Perspectives, in cooperation with ACM SIGMOD, June 15, 2007, Beijing, China, 2007, 978-1-59593-800-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Szabolcs Payrits, Péter Dornbach, Gábor Márton |
Architecture and Performance of XML-Based Componentization of the Symbian Smartphone Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29 - September 1, 2006, Cavtat/Dubrovnik, Croatia, pp. 100-107, 2006, IEEE Computer Society, 0-7695-2594-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Olivier Delannoy, Nahid Emad, Serge G. Petiton |
Workflow Global Computing with YML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRID ![In: 7th IEEE/ACM International Conference on Grid Computing (GRID 2006), September 28-29, 2006, Barcelona, Spain, Proceedings, pp. 25-32, 2006, IEEE Computer Society, 1-4244-0344-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mödersheim, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò 0001, Laurent Vigneron |
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, pp. 281-285, 2005, Springer, 3-540-27231-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Cristiana Amza, Alan L. Cox, Willy Zwaenepoel |
A Comparative Evaluation of Transparent Scaling Techniques for Dynamic Content Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 21st International Conference on Data Engineering, ICDE 2005, 5-8 April 2005, Tokyo, Japan, pp. 230-241, 2005, IEEE Computer Society, 0-7695-2285-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Truman Parks Boyer, Mohsen Chitsaz |
ICE™ and ICE/T™: tools to assist in compiler design and implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 36(4), pp. 55-57, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
back-end, compiler, project, translator |
11 | Susanne M. Balle, John L. Bishop, David LaFrance-Linden, Howard Rifkin |
Ygdrasil: Aggregator Network Toolkit for Large Scale Systems and the Grid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARA ![In: Applied Parallel Computing, State of the Art in Scientific Computing, 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004, Revised Selected Papers, pp. 207-216, 2004, Springer, 3-540-29067-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Ross King, Niko Popitsch, Utz Westermann |
METIS: a flexible database foundation for unified media management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 12th ACM International Conference on Multimedia, New York, NY, USA, October 10-16, 2004, pp. 744-745, 2004, ACM, 1-58113-893-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
unified media management, multimedia database systems |
11 | J. Eliot B. Moss, Trek S. Palmer, Timothy Richards, Edward K. Walters II, Charles C. Weems |
CMDL: A Class-Based Machine Description Language for Co-generation of Compilers and Simulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS Next Generation Software Program - NSFNGS - PI Workshop ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Daniel Luna, Mikael Pettersson, Konstantinos Sagonas |
HiPE on AMD64. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2004 ACM SIGPLAN Workshop on Erlang, Snowbird, Utah, USA, September 22, 2004, pp. 38-47, 2004, ACM, 1-58113-918-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
AMD64, native code compilation, erlang |
11 | Arturo González-Escribano, Arjan J. C. van Gemund, Valentín Cardeñoso-Payo, Raúl Portales-Fernández, Jose A. Caminero-Granja |
A Preliminary Nested-Parallel Framework to Efficiently Implement Scientific Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECPAR ![In: High Performance Computing for Computational Science - VECPAR 2004, 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers, pp. 541-555, 2004, Springer, 3-540-25424-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Zonghui Wang, Xiaohong Jiang 0002, Jiaoying Shi |
HIVE: a Highly Scalable Framework for DVE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VR ![In: IEEE Virtual Reality Conference 2004 (VR 2004), 27-31 March 2004, Chicago, IL, USA, Proceedings, pp. 261-, 2004, IEEE Computer Society, 0-7803-8415-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Philip C. Roth, Dorian C. Arnold, Barton P. Miller |
MRNet: A Software-Based Multicast/Reduction Network for Scalable Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the ACM/IEEE SC2003 Conference on High Performance Networking and Computing, 15-21 November 2003, Phoenix, AZ, USA, CD-Rom, pp. 21, 2003, ACM, 1-58113-695-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Scalability, multicast, tools, aggregation, reduction |
11 | Guilan Dai, Suqing Zhang, Jinlan Tian, Weidu Jiang |
A study of compiler techniques for multiple targets in compiler infrastructures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 37(6), pp. 45-51, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
compiler infrastructures, embedded systems, code generation, intermediate representations, machine descriptions |
11 | Huaxin Zhang, Eleni Stroulia |
Babel: An XML-Based Application Integration Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 14th International Conference, CAiSE 2002, Toronto, Canada, May 27-31, 2002, Proceedings, pp. 280-295, 2002, Springer, 3-540-43738-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | L. Peter Deutsch |
Engineering broad-spectrum document software: lessons from ghostscript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2002 ACM Symposium on Document Engineering, McLean, Virginia, USA, November 8-9, 2002, pp. 1, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Olivier Danvy, Bernd Grobauer, Morten Rhiger |
A Unifying Approach to Goal-Directed Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAIG ![In: Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, Proceedings, pp. 108-125, 2001, Springer, 3-540-42558-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Stefan Pees, Andreas Hoffmann 0002, Heinrich Meyr |
Retargetable compiled simulation of embedded processors using a machine description language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 5(4), pp. 815-834, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
HW/SW cosimulation, machine description languages, processor modeling and simulation, system-on-chip, instruction set simulators, compiled simulation, DSP processors |
11 | Nenad V. Nikolic, Milan V. Trajkovic, Milan M. Milicevic, Dragan Milicev, Dejan Marjanovic, Ivan D. Sokic, Veljko M. Milutinovic, Massimo De Santo, Saverio Salerno, Pierluigi Ritrovato, Marco Marsella |
Socratenon - A Web-based Training System with an Intellect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 4-7 January, 2000, Maui, Hawaii, USA, 2000, IEEE Computer Society, 0-7695-0493-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Axel Dold, Vincent Vialard |
Formal Verification of a Compiler Back-End Generic Checker Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 470-480, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
checker-based program verification, generic specification, formal verification |
11 | Christopher League, Zhong Shao, Valery Trifonov |
Representing Java Classes in a Typed Intermediate Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999., pp. 183-196, 1999, ACM, 1-58113-111-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | David Toman 0001 |
Point-Based Temporal Extensions of SQL and Their Efficient Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Databases, Dagstuhl ![In: Temporal Databases: Research and Practice. (the book grow out of a Dagstuhl Seminar, June 23-27, 1997), pp. 211-237, 1997, Springer, 3-540-64519-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Yau-Tsun Steven Li, Sharad Malik, Andrew Wolfe |
Cinderella: A Retargetable Environment for Performance Analysis of Real-Time Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings, pp. 1308-1315, 1997, Springer, 3-540-63440-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Peter H. Beckman, Dennis Gannon |
Tulip: A Portable Run-Time System for Object-Parallel Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '96, The 10th International Parallel Processing Symposium, April 15-19, 1996, Honolulu, Hawaii, USA, pp. 532-536, 1996, IEEE Computer Society, 0-8186-7255-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
scalable, message passing, barrier, Run-Time System |
Displaying result #1 - #84 of 84 (100 per page; Change: )
|
|