|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 713 occurrences of 499 keywords
|
|
|
Results
Found 1145 publication records. Showing 1145 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
9 | John A. Gardner, Leon Ungier, John J. Boyer |
Braille Math Made Easy with the Tiger Formatter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 10th International Conference, ICCHP 2006, Linz, Austria, July 11-13, 2006, Proceedings, pp. 1215-1222, 2006, Springer, 3-540-36020-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Niklas Steinleitner, Henning Peters, Xiaoming Fu 0001 |
Implementation and Performance Study of a New NAT/Firewall Signaling Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 4-7 July 2006, Lisboa, Portugal, pp. 8, 2006, IEEE Computer Society, 0-7695-2541-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Shan Shan Huang, Yannis Smaragdakis |
Easy language extension with meta-aspectJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 865-868, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
domain-specific languages, language extensions |
9 | Mathew Graves, Mohammad Zulkernine |
Bridging the gap: software specification meets intrusion detector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PST ![In: Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services, PST 2006, Markham, Ontario, Canada, October 30 - November 1, 2006, pp. 31, 2006, ACM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
attack languages, intrusion detection, software security, software specification |
9 | Yoav Weiss, Elena Gabriela Barrantes |
Known/Chosen Key Attacks against Software Instruction Set Randomization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 22nd Annual Computer Security Applications Conference (ACSAC 2006), 11-15 December 2006, Miami Beach, Florida, USA, pp. 349-360, 2006, IEEE Computer Society, 0-7695-2716-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
9 | W. Jirattitichareon, Thanarat H. Chalidabhongse |
Automatic Detection and Segmentation of Text in Low Quality Thai Sign Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCCAS ![In: IEEE Asia Pacific Conference on Circuits and Systems 2006, APCCAS 2006, Singapore, 4-7 December 2006, pp. 1000-1003, 2006, IEEE, 1-4244-0387-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Xiangpeng Zhao, Hongli Yang, Zongyan Qiu |
Towards the Formal Model and Verification of Web Service Choreography Description Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings, pp. 273-287, 2006, Springer, 3-540-38862-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Maricela Claudia Bravo Contreras, José Conrado Velázquez Hernández |
Ontology Solution for Communicating Heterogeneous Negotiation Agents in a Web-based Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LA-WEB ![In: Fourth Latin American Web Congress (LA-Web 2006), 25-27 October 2006, Cholula, Puebla, Mexico, pp. 59-66, 2006, IEEE Computer Society, 0-7695-2693-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
9 | William Naylor, Julian A. Padget |
From Untyped to Polymorphically Typed Objects in Mathematical Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings, pp. 222-236, 2006, Springer, 3-540-37104-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Elena Gabriela Barrantes, David H. Ackley, Stephanie Forrest, Darko Stefanovic |
Randomized instruction set emulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. Secur. ![In: ACM Trans. Inf. Syst. Secur. 8(1), pp. 3-40, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Automated diversity, randomized instruction sets, software diversity |
9 | Daniele Braga, Alessandro Campi |
XQBE: A Graphical Environment to Query XML Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Wide Web ![In: World Wide Web 8(3), pp. 287-316, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
XML, query languages, visual interfaces |
9 | Samir Chatterjee, Bengisu Tulu, Tarun Abhichandani, Haiqing Li |
SIP-based enterprise converged networks for voice/video-over-IP: implementation and evaluation of components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 23(10), pp. 1921-1933, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Yao-Chung Chang, Jiann-Liang Chen, Han-Chieh Chao, Sy-Yen Kuo |
OSA-based service platform for all-IPv6 network environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 23(11), pp. 2172-2181, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Ismail Kadayif, Mahmut T. Kandemir |
Data space-oriented tiling for enhancing locality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 4(2), pp. 388-414, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Software compilation, array-intensive applications, iteration space tiling, data locality, scratch pad memory |
9 | William B. Gardner |
Converging CSP specifications and C++ programming via selective formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 4(2), pp. 302-330, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
hardware/software codesign, Executable specifications, object-oriented application frameworks |
9 | Dejing Dou, Drew V. McDermott, Peishen Qi |
Ontology Translation on the Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics II, pp. 35-57, 2005, Springer, 3-540-24208-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Stephen Doxsee, William B. Gardner |
Synthesis of C++ Software from Verifiable CSPm Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USA, pp. 193-201, 2005, IEEE Computer Society, 0-7695-2308-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Tzu-Chi Huang, Ce-Kuen Shieh, Wen-Huang Lai, Yu-Ben Miao |
Smart Tunnel Union for NAT Traversal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCA ![In: Fourth IEEE International Symposium on Network Computing and Applications (NCA 2005), 27-29 July 2005, Cambridge, MA, USA, pp. 227-231, 2005, IEEE Computer Society, 0-7695-2326-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Giuseppe Ateniese, Susan Hohenberger |
Proxy re-signatures: new definitions, algorithms, and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 12th ACM Conference on Computer and Communications Security, CCS 2005, Alexandria, VA, USA, November 7-11, 2005, pp. 310-319, 2005, ACM, 1-59593-226-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
authenticating path in network, proxy re-signature, bilinear maps |
9 | Mariana C. D'Abreu, Gabriel A. Wainer |
M/CD++: modeling continuous systems using Modelica and DEVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: 13th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2005), 27-29 September 2005, Atlanta, GA, USA, pp. 229-238, 2005, IEEE Computer Society, 0-7695-2458-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Hui Wu, Jeff Gray 0001 |
Testing domain-specific languages in eclipse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 173-174, 2005, ACM, 1-59593-193-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
testing, debugging, domain-specific languages, eclipse, grammar |
9 | Stephen Doxsee, William B. Gardner |
Synthesis of C++ software for automated teller from CSPm specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 1565-1566, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
executable specifications, object-oriented application frameworks |
9 | Jianguo Zhou, Yifeng Chen |
Generating C Code from LOGS Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings, pp. 195-210, 2005, Springer, 3-540-29107-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Kyung-Ah Yang, Jae Dong Yang, Ki-Heon Kim |
Bio-ontology Construction Using Object-oriented Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 15-17 December 2005, Taipei, Taiwan, pp. 317-322, 2005, IEEE Computer Society, 0-7695-2465-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Indradeep Ghosh |
High Level Test Generation for Custom Hardware: An Industrial Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 14th Asian Test Symposium (ATS 2005), 18-21 December 2005, Calcutta, India, pp. 458, 2005, IEEE Computer Society, 0-7695-2481-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Vianey Guadalupe Cruz Sánchez, Gerardo Reyes Salgado, Osslan Osiris Vergara-Villegas, Joaquín Pérez Ortega, Azucena Montes Rendón |
Compilation of Symbolic Knowledge and Integration with Numeric Knowledge Using Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2005: Advances in Artificial Intelligence, 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings, pp. 11-20, 2005, Springer, 3-540-29896-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | J. C. Ernest, A. S. Bowser, S. Ghule, S. Sudireddy, Jameson P. Porter, Douglas A. Talbert, Martha J. Kosa |
Weathering MindStorms with drizzle and DIODE in CS0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2005, Caparica, Portugal, June 27-29, 2005, pp. 353, 2005, ACM, 1-59593-024-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
robots, CS0 |
9 | Bernd Mohr, Luiz De Rose, Jeffrey S. Vetter |
A Performance Measurement Infrastructure for Co-array Fortran. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings, pp. 146-155, 2005, Springer, 3-540-28700-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Hiroyasu Nishiyama |
SecureC: Control-Flow Protection Against General Buffer Overflow Attack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume 1, pp. 149-155, 2005, IEEE Computer Society, 0-7695-2413-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Bill McCloskey, Eric A. Brewer |
ASTEC: a new approach to refactoring C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005, pp. 21-30, 2005, ACM, 1-59593-014-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
ASTEC, C, refactoring, translation, macro, preprocessor |
9 | Jae-woo Chung, Rachel Kern, Henry Lieberman |
Topic spotting common sense translation assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2005 Conference on Human Factors in Computing Systems, CHI 2005, Portland, Oregon, USA, April 2-7, 2005, pp. 1280-1283, 2005, ACM, 1-59593-002-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
topic-spotting, common sense reasoning, language translation |
9 | Margaret M. McMahon, Eric C. Firkin |
Performance of a Hub-Based Network-Centric Application over the Iridium Satellite Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN (2) ![In: Networking - ICN 2005, 4th International Conference on Networking, ReunionIsland, France, April 17-21, 2005, Proceedings, Part II, pp. 575-584, 2005, Springer, 3-540-25338-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Yongxin Zhu 0001, Zhenxin Sun, Alexander Maxiaguine, Weng-Fai Wong |
Using UML 2.0 for System Level Design of Real Time SoC Platforms for Stream Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 17-19 August 2005, Hong Kong, China, pp. 154-159, 2005, IEEE Computer Society, 0-7695-2346-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Klaus Bothe, Sam Joachim |
Interactive Tool-Based Production of Multilingual Teaching and Learning Materials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: Proceedings of the 5th IEEE International Conference on Advanced Learning Technologies, ICALT 2005, Kaohsiung, Taiwan, July 5-8, 2005, pp. 516-518, 2005, IEEE Computer Society, 0-7695-2338-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Jorge Civera, Juan Miguel Vilar, Elsa Cubel, Antonio L. Lagarda, Sergio Barrachina 0001, Francisco Casacuberta, Enrique Vidal 0001 |
A Novel Approach to Computer-Assisted Translation Based on Finite-State Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSMNLP ![In: Finite-State Methods and Natural Language Processing, 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers, pp. 32-42, 2005, Springer, 3-540-35467-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Ken Ka Lun Ho, Meiliu Lu |
Web-based expert system for class schedule planning using JESS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRI ![In: Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, IRI - 2005, August 15-17, 2005, Las Vegas Hilton, Las Vegas, NV, USA, pp. 166-171, 2005, IEEE Systems, Man, and Cybernetics Society, 0-7803-9093-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Frank Kargl, Alexander Bernauer |
The COMPASS Location System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LoCA ![In: Location- and Context-Awareness, First International Workshop, LoCA 2005, Oberpfaffenhofen, Germany, May 12-13, 2005, Proceedings, pp. 105-112, 2005, Springer, 3-540-25896-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Galen S. Swint, Calton Pu, Gueyoung Jung, Wenchang Yan, Younggyun Koh, Qinyi Wu, Charles Consel, Akhil Sahai, Koichi Moriyama |
Clearwater: extensible, flexible, modular code generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, pp. 144-153, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
AXpect, ISG, clearwater, infopipes, code generation, DSL |
9 | Koji Hashimoto, Yoshitaka Shibata |
An Adaptive Communication System for User's Resource Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 28-30 March 2005, Taipei, Taiwan, pp. 113-116, 2005, IEEE Computer Society, 0-7695-2249-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Hongping Lim, Dilsun Kirli Kaynar, Nancy A. Lynch, Sayan Mitra |
Translating Timed I/O Automata Specifications for Theorem Proving in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings, pp. 17-31, 2005, Springer, 3-540-30946-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Emilio Jesús Gallego Arias, Julio Mariño |
An overview of the Sloth2005 curry system: system description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCFLP ![In: Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005, pp. 66-69, 2005, ACM, 1-59593-069-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
constraint definitional trees, sloth, type classes, curry |
9 | Isaiah Pinchas Kantorovitz |
Lexical analysis tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 39(5), pp. 66-74, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
algorithm, compiler, software tool, lexical analysis, scanner |
9 | Mahmut T. Kandemir, J. Ramanujam, Mary Jane Irwin, Narayanan Vijaykrishnan, Ismail Kadayif, Amisha Parikh |
A compiler-based approach for dynamically managing scratch-pad memories in embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23(2), pp. 243-260, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Chuanxiong Guo, Zihua Guo, Qian Zhang 0001, Wenwu Zhu 0001 |
A seamless and proactive end-to-end mobility solution for roaming across heterogeneous wireless networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 22(5), pp. 834-848, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Panagiotis E. Hadjidoukas |
A Lightweight Framework for Executing Task Parallelism on Top of MPI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 11th European PVM/MPI Users' Group Meeting, Budapest, Hungary, September 19-22, 2004, Proceedings, pp. 287-294, 2004, Springer, 3-540-23163-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Newton Cheung, Sri Parameswaran, Jörg Henkel, Jeremy Chan |
MINCE: Matching INstructions Using Combinational Equivalence for Extensible Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France, pp. 1020-1027, 2004, IEEE Computer Society, 0-7695-2085-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Neil Vachharajani, Matthew J. Bridges, Jonathan Chang, Ram Rangan, Guilherme Ottoni, Jason A. Blome, George A. Reis, Manish Vachharajani, David I. August |
RIFLE: An Architectural Framework for User-Centric Information-Flow Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: 37th Annual International Symposium on Microarchitecture (MICRO-37 2004), 4-8 December 2004, Portland, OR, USA, pp. 243-254, 2004, IEEE Computer Society, 0-7695-2126-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Ramon Canal, Antonio González 0001, James E. Smith 0001 |
Software-Controlled Operand-Gating. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: 2nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2004), 20-24 March 2004, San Jose, CA, USA, pp. 125-136, 2004, IEEE Computer Society, 0-7695-2102-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Mohammed Minout, Esteban Zimányi |
Algebra-to-SQL Query Translation for Spatio-Temporal Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 15th International Conference, DEXA 2004 Zaragoza, Spain, August 30-September 3, 2004, Proceedings, pp. 904-913, 2004, Springer, 3-540-22936-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Franck Legendre, Marcelo Dias de Amorim, Serge Fdida |
Context-Aware Inter-Networking for Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MWCN ![In: Mobile and Wireless Communication Networks, IFIP TC6 / WG6.8 Conference on Mobile and Wireless Communication Networks (MWCN 2004), October 25-27, 2004, Paris, France, pp. 383-394, 2004, Kluwer/Springer, 0-387-23148-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Suranjan Pramanik, Shambhu J. Upadhyaya |
RABIT: A New Framework for Runtime Emulation and Binary Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 37th Annual Simulation Symposium (ANSS-37 2004), 18-22 April 2004, Arlington, VA, USA, pp. 213-220, 2004, IEEE Computer Society, 0-7695-2110-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Wladimir De Lara Araújo Filho, Celso Massaki Hirata |
Translating Activity Cycle Diagrams to Java Simulation Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 37th Annual Simulation Symposium (ANSS-37 2004), 18-22 April 2004, Arlington, VA, USA, pp. 157-164, 2004, IEEE Computer Society, 0-7695-2110-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Jinghai Rao, Peep Küngas, Mihhail Matskin |
Logic-based Web Services Composition: From Service Description to Process Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: Proceedings of the IEEE International Conference on Web Services (ICWS'04), June 6-9, 2004, San Diego, California, USA, pp. 446-453, 2004, IEEE Computer Society, 0-7695-2167-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Emilia Oikarinen, Tomi Janhunen |
Verifying the Equivalence of Logic Programs in the Disjunctive Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings, pp. 180-193, 2004, Springer, 3-540-20721-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Eun-Seok Ryu, Chuck Yoo |
An approach to interactive media system for mobile devices. ![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. 160-161, 2004, ACM, 1-58113-893-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
IML, mobile device, interactive media |
9 | Nikola Milanovic, Jan Richling, Miroslaw Malek |
Lightweight Services for Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSTFEUS ![In: 2nd IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, WSTFEUS 2004, Vienna, Austria, May 11-12, 2004, pp. 40-44, 2004, IEEE Computer Society, 0-7695-2123-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
embedded systems, services, contracts |
9 | Ondrej Lhoták, Laurie J. Hendren |
Jedd: a BDD-based relational extension of Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004, pp. 158-169, 2004, ACM, 1-58113-807-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
boolean formula satisfiability, Java, program analysis, binary decision diagrams, language design, relations |
9 | Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi |
Defining and translating a "safe" subset of simulink/stateflow into lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings, pp. 259-268, 2004, ACM, 1-58113-860-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
embedded software, simulink, lustre, automatic translation |
9 | André C. Nácul, Tony Givargis |
Code partitioning for synthesis of embedded applications with phantom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2004 International Conference on Computer-Aided Design, ICCAD 2004, San Jose, CA, USA, November 7-11, 2004, pp. 190-196, 2004, IEEE Computer Society / ACM, 0-7803-8702-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Daniel Gayo-Avello, Darío Álvarez Gutiérrez, José Gayo-Avello |
Application of Variable Length N-Gram Vectors to Monolingual and Bilingual Information Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEF ![In: Multilingual Information Access for Text, Speech and Images, 5th Workshop of the Cross-Language Evaluation Forum, CLEF 2004, Bath, UK, September 15-17, 2004, Revised Selected Papers, pp. 73-82, 2004, Springer, 3-540-27420-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Camel Tanougast, Yves Berviller, Christian Mannino, Hassan Rabah, Michael Janiaut, Serge Weber |
SystemC Model of a MPEG-2 DVB-T Bit-Rate Measurement Architecture for FPGA Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 15th IEEE International Workshop on Rapid System Prototyping (RSP 2004), 28-30 June 2004, Geneva, Switzerland, pp. 157-163, 2004, IEEE Computer Society, 0-7695-2159-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Ge Zhang 0005, Markus Hillenbrand |
Implementing SIP and H.323 Signalling as Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 30th EUROMICRO Conference 2004, 31 August - 3 September 2004, Rennes, France, pp. 265-271, 2004, IEEE Computer Society, 0-7695-2199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Qing Yi, Daniel J. Quinlan |
Applying Loop Optimizations to Object-Oriented Abstractions Through General Classification of Array Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for High Performance Computing, 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers, pp. 253-267, 2004, Springer, 3-540-28009-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Narayan Annamalai, Gopal Gupta 0001, B. Prabhakaran 0001 |
Accessing Documents via Audio: An Extensible Transcoder for HTML to VoiceXML Conversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 9th International Conference, ICCHP 2004, Paris, France, July 7-9, 2004, Proceedings, pp. 339-346, 2004, Springer, 3-540-22334-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Koji Hashimoto, Yoshitaka Shibata |
Extended Video Stream by Media Transcoding Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 23-24 March 2004, Hachioji, Tokyo, Japan, pp. 16-21, 2004, IEEE Computer Society, 0-7695-2087-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Koji Hashimoto, Yoshitaka Shibata |
Dynamic Transcoding Functions by Extended Media Stream. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA (1) ![In: 18th International Conference on Advanced Information Networking and Applications (AINA 2004), 29-31 March 2004, Fukuoka, Japan, pp. 334-339, 2004, IEEE Computer Society, 0-7695-2051-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Sisi Liu, Rania Khalaf, Francisco Curbera |
From DAML-S Processes to BPEL4WS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RIDE ![In: 14th International Workshop on Research Issues in Data Engineering (RIDE-WS-ECEG 2004), Web Services for E-Commerce and E-Government Applications, 28-29 March 2004, Boston, MA, USA, pp. 77-84, 2004, IEEE Computer Society, 0-7695-2095-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Elliott Macklovitch |
The Contribution of End-Users to the TransType2 Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMTA ![In: Machine Translation: From Real Users to Research, 6th Conference of the Association for Machine Translation in the Americas, AMTA 2004, Washington, DC, USA, September 28-October 2, 2004, Proceedings, pp. 197-207, 2004, Springer, 3-540-23300-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Frank Lin, Teruko Mitamura |
Keyword Translation from English to Chinese for Multilingual QA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMTA ![In: Machine Translation: From Real Users to Research, 6th Conference of the Association for Machine Translation in the Americas, AMTA 2004, Washington, DC, USA, September 28-October 2, 2004, Proceedings, pp. 164-176, 2004, Springer, 3-540-23300-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Valery A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky |
Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 29(6), pp. 338-350, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Davide Ancona, Giovanni Lagorio, Elena Zucca |
Jam - designing a Java extension with mixins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 25(5), pp. 641-712, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Java, language design |
9 | Norman Ramsey, Cristina Cifuentes |
A transformational approach to binary translation of delayed branches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 25(2), pp. 210-224, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
program transformation, program analysis, Binary translation |
9 | Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, Peter Niebert |
From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2003 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'03). San Diego, California, USA, June 11-13, 2003, pp. 153-162, 2003, ACM, 1-58113-647-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
scheduling, embedded software, synchronous languages, simulink, lustre, code distribution |
9 | Elena Gabriela Barrantes, David H. Ackley, Trek S. Palmer, Darko Stefanovic, Dino Dai Zovi |
Randomized instruction set emulation to disrupt binary code injection attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 10th ACM Conference on Computer and Communications Security, CCS 2003, Washington, DC, USA, October 27-30, 2003, pp. 281-289, 2003, ACM, 1-58113-738-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
automated diversity, language randomization, security, emulation, information hiding, obfuscation |
9 | Sanjai Rayadurgam, Anjali Joshi, Mats Per Erik Heimdahl |
Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings, pp. 167-186, 2003, Springer, 3-540-20461-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Ho-Seop Kim, James E. Smith 0001 |
Dynamic Binary Translation for Accumulator-Oriented Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: 1st IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2003), 23-26 March 2003, San Francisco, CA, USA, pp. 25-35, 2003, IEEE Computer Society, 0-7695-1913-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | James C. Dehnert, Brian Grant, John P. Banning, Richard Johnson, Thomas Kistler, Alexander Klaiber, Jim Mattson |
The Transmeta Code Morphing - Software: Using Speculation, Recovery, and Adaptive Retranslation to Address Real-Life Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: 1st IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2003), 23-26 March 2003, San Francisco, CA, USA, pp. 15-24, 2003, IEEE Computer Society, 0-7695-1913-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Asif Iqbal 0004, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh 0001 |
Visual Modeling and Verification of Distributed Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings, pp. 22-34, 2003, Springer, 3-540-20126-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Rakesh Agrawal 0001, Jerry Kiernan, Ramakrishnan Srikant, Yirong Xu |
An SPath-based preference language for P3P. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the Twelfth International World Wide Web Conference, WWW 2003, Budapest, Hungary, May 20-24, 2003, pp. 629-639, 2003, ACM, 1-58113-680-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
APPEL, XPref, hippocratic databases, privacy-aware data management, XPath, preference, P3P |
9 | James C. Dehnert |
The Transmeta Crusoe: VLIW Embedded in CISC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCOPES ![In: Software and Compilers for Embedded Systems, 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings, pp. 1, 2003, Springer, 3-540-20145-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Jernej Kovse, Wolfgang Mahnke |
Introducing Custom Language Extensions to SQL: 1999. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 15th International Conference, CAiSE 2003, Klagenfurt, Austria, June 16-18, 2003, Proceedings, pp. 193-208, 2003, Springer, 3-540-40442-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Jens Lechtenbörger |
The impact of the constant complement approach towards view updating. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 9-12, 2003, San Diego, CA, USA, pp. 49-55, 2003, ACM, 1-58113-670-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Steven Nordstrom, Shweta Shetty, Kumar Gaurav Chhokra, Jonathan Sprinkle, Brandon Eames, Ákos Lédeczi |
ANEMIC: Automatic Interface Enabler for Model Integrated Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings, pp. 138-150, 2003, Springer, 3-540-20102-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Xi Chen 0024, Harry Hsieh, Felice Balarin, Yosinori Watanabe |
Case Studies of Model Checking for Embedded System Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 18-20 June 2003, Guimaraes, Portugal, pp. 20-28, 2003, IEEE Computer Society, 0-7695-1887-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Farn Wang, Fang Yu 0001 |
OVL Assertion-Checking of Embedded Software with Dense-Time Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: Real-Time and Embedded Computing Systems and Applications, 9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers, pp. 254-278, 2003, Springer, 3-540-21974-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Haoqiang Jin, Gabriele Jost |
Support of Multidimensional Parallelism in the OpenMP Programming Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISHPC ![In: High Performance Computing, 5th International Symposium, ISHPC 2003, Tokyo-Odaiba, Japan, October 20-22, 2003, Proceedings, pp. 511-522, 2003, Springer, 3-540-20359-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Panagiotis E. Hadjidoukas, Eleftherios D. Polychronopoulos, Theodore S. Papatheodorou |
OpenMP for Adaptive Master-Slave Message Passing Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISHPC ![In: High Performance Computing, 5th International Symposium, ISHPC 2003, Tokyo-Odaiba, Japan, October 20-22, 2003, Proceedings, pp. 540-551, 2003, Springer, 3-540-20359-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Dejing Dou, Drew V. McDermott, Peishen Qi |
Ontology Translation on the Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM ![In: On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE - OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2003, Catania, Sicily, Italy, November 3-7, 2003, pp. 952-969, 2003, Springer, 3-540-20498-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Sang Ik Lee, Troy A. Johnson, Rudolf Eigenmann |
Cetus - An Extensible Compiler Infrastructure for Source-to-Source Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 16th International Workshop, LCPC 2003, College Station, TX, USA, October 2-4, 2003, Revised Papers, pp. 539-553, 2003, Springer, 3-540-21199-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Omid Banyasad, Philip T. Cox |
On translating geometric solids to functional expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden, pp. 44-55, 2003, ACM, 1-58113-705-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
visual logic programming, functional programming, translation, geometric programming, design language |
9 | Frederic Tronel, Frédéric Lang, Hubert Garavel |
Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings, pp. 244-260, 2003, Springer, 3-540-20491-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Christoforos D. Kavadias, Bernard Perrin, Vangelis Kollias, Michael Loupis |
Enhanced SDL Subset for the Design and Implementation of Java-Enabled Embedded Signalling Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2003: System Design, 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings, pp. 137-149, 2003, Springer. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Koji Hashimoto, Yoshitaka Shibata |
Design of a Middleware System for Scalable Multimedia Streaming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 19-22 May 2003, Providence, RI, USA, pp. 660-665, 2003, IEEE Computer Society, 0-7695-1921-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | S. Senapathi, B. Chandrasekaran 0001, Don Stredney, Han-Wei Shen, Dhabaleswar K. Panda 0001 |
QoS-Aware Middleware for Cluster-Based Servers to support Interactive and Resource-Adaptive Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: 12th International Symposium on High-Performance Distributed Computing (HPDC-12 2003), 22-24 June 2003, Seattle, WA, USA, pp. 205-215, 2003, IEEE Computer Society, 0-7695-1965-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Koji Hashimoto, Yoshitaka Shibata |
Design of a Middleware System for Flexible Intercommunication Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 17th International Conference on Advanced Information Networking and Applications (AINA'03), March 27-29, 2003, Xi'an, China, pp. 59-64, 2003, IEEE Computer Society, 0-7695-1906-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Atsutoshi Imai, Shûichi Yukita |
RDF Model and Relational Metadata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 17th International Conference on Advanced Information Networking and Applications (AINA'03), March 27-29, 2003, Xi'an, China, pp. 534-537, 2003, IEEE Computer Society, 0-7695-1906-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Yang-Suk Kee, Jin-Soo Kim 0001, Soonhoi Ha |
ParADE: An OpenMP Programming Environment for SMP Cluster Systems. ![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. 6, 2003, ACM, 1-58113-695-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
software distributedshared memory, hybrid programming, MPI, programming environment, OpenMP, SMP cluster |
9 | Heikki Tauriainen, Keijo Heljanko |
Testing LTL formula translation into Büchi automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 4(1), pp. 57-70, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Model checking, Verification, Software testing, Temporal logic |
9 | Hiroki Suguri, Eiichiro Kodama, Masatoshi Miyazaki, Isao Kaji |
Assuring Interoperability between Heterogeneous Multi-Agent Systems with a Gateway Agent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 167-170, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Yunja Choi, Mats Per Erik Heimdahl |
Model Checking RSML-e Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 109-118, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #901 - #1000 of 1145 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|