Search results for "Porting"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Raine Mäkeläinen, Cristiano di Flora, Tommi Mikkonen	Enhanced integration of Java to symbian OS using smart pointers.	JTRES	2008	DBLP DOI BibTeX RDF	Symbian OS, mobile Java integration, mobile devices programming, J2ME, Java native interface
10	Alexander Ploss, Stefan Wichmann, Frank Glinka, Sergei Gorlatch	From a single- to multi-server online game: a Quake 3 case study using RTF.	Advances in Computer Entertainment Technology	2008	DBLP DOI BibTeX RDF	Quake 3 arena, RTF, network middleware, real-time online interactive applications, performance, scalability, middleware, online games, responsiveness, distributed architecture, massively multiplayer online games
10	Stefan Berger, Michael Schrefl	From Federated Databases to a Federated Data Warehouse System.	HICSS	2008	DBLP DOI BibTeX RDF
10	Tzvetan Ostromsky, Ivan Dimov 0001, Zahari Zlatev	Parallel Performance and Scalability Experiments with the Danish Eulerian Model on the EPCC Supercomputers.	NAA	2008	DBLP DOI BibTeX RDF
10	Licia Capra, Rami Bahsoon, Wolfgang Emmerich, Mohamed E. Fayad	The international workshop on software architectures and mobility (SAM 2008).	ICSE Companion	2008	DBLP DOI BibTeX RDF	mobility, software architectures
10	Manoel T. F. Cunha, Jose C. F. Telles, Alvaro L. G. A. Coutinho	On the Implementation of Boundary Element Engineering Codes on the Cell Broadband Engine.	VECPAR	2008	DBLP DOI BibTeX RDF	Parallel Programming, SIMD, Vectorization, Cell Broadband Engine, Boundary Element Method, Boundary Elements
10	Harald Servat, Cecilia González-Alvarez, Xavier Aguilar, Daniel Cabrera-Benitez, Daniel Jiménez-González	Drug Design Issues on the Cell BE.	HiPEAC	2008	DBLP DOI BibTeX RDF
10	Shane Ryoo, Christopher I. Rodrigues, Sara S. Baghsorkhi, Sam S. Stone, David Blair Kirk, Wen-mei W. Hwu	Optimization principles and application performance evaluation of a multithreaded GPU using CUDA.	PPoPP	2008	DBLP DOI BibTeX RDF	parallel computing, GPU computing
10	Tien-Hsiung Weng, Ruey-Kuen Perng, Barbara M. Chapman	OpenMP Implementation of SPICE3 Circuit Simulator.	Int. J. Parallel Program.	2007	DBLP DOI BibTeX RDF	OpenMP SPICE circuit simulator, Shared-memory programming model
10	Gregory L. Lee, Martin Schulz 0001, Dong H. Ahn, Andrew Bernat, Bronis R. de Supinski, Steven Y. Ko, Barry Rountree	Dynamic Binary Instrumentation and Data Aggregation on Large Scale Systems.	Int. J. Parallel Program.	2007	DBLP DOI BibTeX RDF	binary instrumentation, scalable data collection, performance analysis tools, Massively parallel architectures
10	Nilanjan Banerjee, Arup Acharya, Sajal K. Das 0001	Enabling SIP-based sessions in ad hoc networks.	Wirel. Networks	2007	DBLP DOI BibTeX RDF	Ad hoc networks, Session initiation protocol (SIP)
10	Martin J. Pearson, Anthony G. Pipe, Benjamin Mitchinson, Kevin N. Gurney, Chris Melhuish, Ian Gilhespy, Mokhtar Nibouche	Implementing Spiking Neural Networks for Real-Time Signal-Processing and Control Applications: A Model-Validated FPGA Approach.	IEEE Trans. Neural Networks	2007	DBLP DOI BibTeX RDF
10	Nikos Chatzichrisafis, Vassilios Diakoloukas, Vassilios Digalakis, Costas Harizakis	Gaussian Mixture Clustering and Language Adaptation for the Development of a New Language Speech Recognition System.	IEEE Trans. Speech Audio Process.	2007	DBLP DOI BibTeX RDF
10	Dana Petcu	Distributed Symbolic Computations.	ISPDC	2007	DBLP DOI BibTeX RDF
10	Alfio Massimiliano Gliozzo, Aldo Gangemi, Valentina Presutti, Elena Cardillo, Enrico Daga, Alberto Salvati, Gianluca Troiani	A Collaborative Semantic Web Layer to Enhance Legacy Systems.	ISWC/ASWC	2007	DBLP DOI BibTeX RDF
10	Aaron Marcus, Angel Perez	m-YouTube Mobile UI: Video Selection Based on Social Influence.	HCI (3)	2007	DBLP DOI BibTeX RDF	design, mobile, network, interface, video, user, social, YouTube
10	David Gay, Robert Ennals, Eric A. Brewer	Safe manual memory management.	ISMM	2007	DBLP DOI BibTeX RDF	C, safety, memory management, reference counting
10	Stefan Kraemer, Rainer Leupers, Gerd Ascheid, Heinrich Meyr	Interactive presentation: SoftSIMD - exploiting subword parallelism using source code transformations.	DATE	2007	DBLP DOI BibTeX RDF
10	Federico Baronti, Francesco Lenzi, Roberto Roncella, Roberto Saletti	A Hardware-Software Platform for Design and Verification of In-Motorcycle Electronic Systems.	DSD	2007	DBLP DOI BibTeX RDF
10	Mei Wen, Nan Wu 0003, Chunyuan Zhang, Wei Wu, Qianming Yang, Changqing Xun	FT64: Scientific Computing with Streams.	HiPC	2007	DBLP DOI BibTeX RDF
10	Estela Saquete, Patricio Martínez-Barco, Rafael Muñoz 0001	Evaluation of an Automatic Extension of Temporal Expression Treatment to Catalan.	CICLing	2007	DBLP DOI BibTeX RDF
10	David Atienza, Christos Baloukas, Lazaros Papadopoulos, Christophe Poucet, Stylianos Mamagkakis, José Ignacio Hidalgo, Francky Catthoor, Dimitrios Soudris, Juan Lanchares	Optimization of dynamic data structures in multimedia embedded systems using evolutionary computation.	SCOPES	2007	DBLP DOI BibTeX RDF
10	Nabil Abdennadher, Régis Boesch	Towards a Peer-To-Peer Platform for High Performance Computing.	GPC	2007	DBLP DOI BibTeX RDF	Peer-To-Peer, Grid, High Performance Computing, Scheduling algorithm
10	Sándor Héman, Niels Nes, Marcin Zukowski, Peter A. Boncz	Vectorized data processing on the cell broadband engine.	DaMoN	2007	DBLP DOI BibTeX RDF
10	Filip Blagojevic, Alexandros Stamatakis, Christos D. Antonopoulos, Dimitrios S. Nikolopoulos	RAxML-Cell: Parallel Phylogenetic Tree Inference on the Cell Broadband Engine.	IPDPS	2007	DBLP DOI BibTeX RDF
10	Jeremy S. Meredith, Sadaf R. Alam, Jeffrey S. Vetter	Analysis of a Computational Biology Simulation Technique on Emerging Processing Architectures.	IPDPS	2007	DBLP DOI BibTeX RDF
10	Ganesh Gopalakrishnan, Robert M. Kirby	Formal Analysis for Debugging and Performance Optimization of MPI.	IPDPS	2007	DBLP DOI BibTeX RDF
10	Kazutaka Matsuzaki, Shinichi Honiden	Increasing the Ease of Deployment in Ubiquitous Environments.	PerCom Workshops	2007	DBLP DOI BibTeX RDF
10	Han Wei, Mark Muir, Ioannis Nousias, Tughrul Arslan, Ahmet T. Erdogan	Mapping Real Time Operating System on Reconfigurable Instruction Cell Based Architectures.	FCCM	2007	DBLP DOI BibTeX RDF
10	Nicholas Moore, Albert Conti, Miriam Leeser, Laurie A. Smith King	Writing Portable Applications that Dynamically Bind at Run Time to Reconfigurable Hardware.	FCCM	2007	DBLP DOI BibTeX RDF
10	Maryam Ashoori, Chunyan Miao, Yundong Cai	Socializing Pedagogical Agents for Personalization in Virtual Learning Environments.	Web Intelligence/IAT Workshops	2007	DBLP DOI BibTeX RDF
10	Arun Kumar 0004, Ganapathy Senthilkumar, Murali Krishna, Naresh Jayam, Pallav K. Baruah, Raghunath Sharma, Ashok Srinivasan, Shakti Kapoor	A Buffered-Mode MPI Implementation for the Cell BETM Processor.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF	heterogeneous multi-core processors, MPI, Cell processor
10	Nabil Abdennadher, Régis Boesch	Deploying PHYLIP phylogenetic package on a Large Scale Distributed System.	CCGRID	2007	DBLP DOI BibTeX RDF
10	João Lourenço, Gonçalo Cunha	Testing patterns for software transactional memory engines.	PADTAD	2007	DBLP DOI BibTeX RDF	testing, concurrency, debugging, software transactional memory, testing patterns
10	Salvatore Garruzzo, Domenico Rosaci, Giuseppe M. L. Sarnè	MASHA-EL: A Multi-Agent System for Supporting Adaptive E-Learning.	ICTAI (2)	2007	DBLP DOI BibTeX RDF
10	Ullas Pazhayaveetil, Dhruba Chandra, Paul D. Franzon	Flexible Low Power Probability Density Estimation Unit For Speech Recognition.	ISCAS	2007	DBLP DOI BibTeX RDF
10	T. K. S. Lakshmi Priya, V. Hari Prasad, D. Kannan, L. Karthik Singaram, G. Madhan, R. Meenakshi Sundaram, R. M. Prasad, Ranjani Parthasarathi	Evaluating the Network Processor Architecture for Application-Awareness.	COMSWARE	2007	DBLP DOI BibTeX RDF
10	Bo Song, Guangwen Yang, Qiming Fang	Improving the Performance of MPI Applications over Computational Grid.	GCC	2007	DBLP DOI BibTeX RDF
10	Diego Rivera, Dana Schaa, Micha Moffie, David R. Kaeli	Exploring Novel Parallelization Technologies for 3-D Imaging Applications.	SBAC-PAD	2007	DBLP DOI BibTeX RDF
10	Torben Schou, Henry J. Gardner	A Wii remote, a game engine, five sensor bars and a virtual reality theatre.	OZCHI	2007	DBLP DOI BibTeX RDF	virtual reality, immersive, game engine, Wii remote
10	Lei Wang, Dian Tjondronegoro, Yue Liu	Clustering and Visualizing Audiovisual Dataset on Mobile Devices in a Topic-Oriented Manner.	VISUAL	2007	DBLP DOI BibTeX RDF	Audiovisual Content, Topic-oriented, Visualization, Mobile
10	Anna Tordai, Borys Omelayenko, Guus Schreiber	Thesaurus and metadata alignment for a semantic e-culture application.	K-CAP	2007	DBLP DOI BibTeX RDF	thesaurus alignment, semantic web, schema mapping
10	Andrew Watson	Modeling for Maintainability.	ICSE Companion	2007	DBLP DOI BibTeX RDF
10	Jens Müller 0004, Sergei Gorlatch, Tobias Schröter, Stefan Fischer 0001	Scaling multiplayer online games using proxy-server replication: a case study of Quake 2.	HPDC	2007	DBLP DOI BibTeX RDF	scalability, replication, computer games, proxy-server
10	Sandro Fiore, Massimo Cafaro, Alessandro Negro, Salvatore Vadacca, Giovanni Aloisio, Roberto Barbera, Emidio Giorgio	GRelC DAS: A Grid-DB Access Service for gLite Based Production Grids.	WETICE	2007	DBLP DOI BibTeX RDF
10	Salvatore Scifo	GSAF - Grid Storage Access Framework.	WETICE	2007	DBLP DOI BibTeX RDF
10	Michael Ott 0001, Jaroslaw Zola, Alexandros Stamatakis, Srinivas Aluru	Large-scale maximum likelihood-based phylogenetic analysis on the IBM BlueGene/L.	SC	2007	DBLP DOI BibTeX RDF	IBM BlueGene/L, RAxML, maximum likelihood, phylogenetic inference
10	Parimal Patel	Tutorial IND2A: Embedded Systems Design with Xilinx Virtex-5 Series FPGA.	VLSI Design	2007	DBLP DOI BibTeX RDF
10	Jay P. Hoeflinger	Programming with cluster openMP.	PPoPP	2007	DBLP DOI BibTeX RDF	shared memory, OpenMP, computational clusters
10	Milena Ivanova, Niels Nes, Romulo Goncalves, Martin L. Kersten	MonetDB/SQL Meets SkyServer: the Challenges of a Scientific Database.	SSDBM	2007	DBLP DOI BibTeX RDF
10	M. Cecilia Bastarrica, Sebastián Rivas, Pedro O. Rossel	From a Single Product Architecture to a Product Line Architecture.	SCCC	2007	DBLP DOI BibTeX RDF
10	Fu-Ching Yang, Wen-Kai Huang, Ing-Jer Huang	Automatic Verification of External Interrupt Behaviors for Microprocessor Design.	DAC	2007	DBLP DOI BibTeX RDF
10	Simon Kågström, Håkan Grahn, Lars Lundberg	Cibyl: an environment for language diversity on mobile devices.	VEE	2007	DBLP DOI BibTeX RDF	programming environment, portability, J2ME, binary translation
10	Mark Wallis, Frans Henskens, Michael Hannaford	A System for Robust Peer-to-Peer Communication with Dynamic Protocol Selection.	PDCAT	2007	DBLP DOI BibTeX RDF
10	Charles Dietzel, Keith C. Clarke	Decreasing Computational Time of Urban Cellular Automata Through Model Portability.	GeoInformatica	2006	DBLP DOI BibTeX RDF	Cellular automata, Calibration, Portability
10	Nouredine Melab, El-Ghazali Talbi, Sébastien Cahon	On Parallel Evolutionary Algorithms on the Computational Grid.	Parallel Evolutionary Computations	2006	DBLP DOI BibTeX RDF
10	Sung-Chul Han, Franz Franchetti, Markus Püschel	Program generation for the all-pairs shortest path problem.	PACT	2006	DBLP DOI BibTeX RDF	Floyd-Warshall algorithm, SIMD vectorization, empirical search, tiling, blocking
10	Nikos Ntarmos, Peter Triantafillou, Gerhard Weikum	Counting at Large: Efficient Cardinality Estimation in Internet-Scale Data Networks.	ICDE	2006	DBLP DOI BibTeX RDF
10	Ivan Corretjer, Chia-Jui Hsu, Shuvra S. Bhattacharyya	Configuration and Representation of Large-Scale Dataflow Graphs using the Dataflow Interchange Format.	SiPS	2006	DBLP DOI BibTeX RDF
10	Yu-Chieh Wu, Chia-Hui Chang, Yue-Shi Lee	A General and Multi-lingual Phrase Chunking Model Based on Masking Method.	CICLing	2006	DBLP DOI BibTeX RDF
10	Chen-Shie Ho, Kuo-Cheng Chiang	Reconfigurable and power-saving integrated operating system design for supporting mobile nodes in sensor networks.	SUTC (1)	2006	DBLP DOI BibTeX RDF
10	Marco D. Santambrogio, Donatella Sciuto	Partial Dynamic Reconfiguration: The Caronte Approach. A New Degree of Freedom in the HW/SW Codesign.	FPL	2006	DBLP DOI BibTeX RDF
10	Satish Narayanasamy, Cristiano Pereira, Harish Patil, Robert Cohn, Brad Calder	Automatic logging of operating system effects to guide application-level architecture simulation.	SIGMETRICS/Performance	2006	DBLP DOI BibTeX RDF	emulating system calls, checkpoints, architecture simulation
10	Xavier Martorell, Marc González 0001, Alejandro Duran, Jairo Balart, Roger Ferrer, Eduard Ayguadé, Jesús Labarta	Techniques supporting threadprivate in OpenMP.	IPDPS	2006	DBLP DOI BibTeX RDF
10	Özgür Yürekten, Kivanç Dinçer, Berk Akar, Müberra Sungur, Elif Kurtaran Özbudak	Migrating a Hierarchical Legacy Database Application onto an XML-Based Service-Oriented Web Platform.	ISCIS	2006	DBLP DOI BibTeX RDF
10	Sunil Shukla, Neil W. Bergmann, Jürgen Becker 0001	QUKU: A Fast Run Time Reconfigurable Platform for Image Edge Detection.	ARC	2006	DBLP DOI BibTeX RDF
10	Gerd Van den Branden, Geert Braeckman, Abdellah Touhafi, Erik F. Dirkx	Case Study: Implementation of a Virtual Instrument on a Dynamically Reconfigurable Platform.	ARC	2006	DBLP DOI BibTeX RDF
10	Mei Wen, Nan Wu 0003, Changqing Xun, Wei Wu, Chunyuan Zhang	Optimization and Evaluating of StreamYGX2 on MASA Stream Processor.	Asia-Pacific Computer Systems Architecture Conference	2006	DBLP DOI BibTeX RDF	Ygx2, 2D Lagrange-Euler Method, scientific computing, stream processor
10	Lurng-Kuo Liu, Sreeni Kesavarapu, Jonathan Connell, Ashish Jagmohan, Lark-hoon Leem, Brent Paulovicks, Vadim Sheinin, Lijung Tang, Hangu Yeo	Video Analysis and Compression on the STI Cell Broadband Engine Processor.	ICME	2006	DBLP DOI BibTeX RDF
10	Vladimir Korkhov, Valeria V. Krzhizhanovskaya	Benchmarking and Adaptive Load Balancing of the Virtual Reactor Application on the Russian-Dutch Grid.	International Conference on Computational Science (1)	2006	DBLP DOI BibTeX RDF	parallel distributed application, Virtual Reactor, PECVD, Grid, benchmarking, heterogeneous resources, adaptive load balancing
10	Nithya N. Vijayakumar, Ying Liu 0043, Beth Plale	Calder Query Grid Service: Insights and Experimental Evaluation.	CCGRID	2006	DBLP DOI BibTeX RDF
10	Yu Shao, Chip-Hong Chang	A Kalman filter based on wavelet filter-bank and psychoacoustic modeling for speech enhancement.	ISCAS	2006	DBLP DOI BibTeX RDF
10	Rochit Rajsuman	Towards The Methodology of On-line Diagnosis.	IOLTS	2006	DBLP DOI BibTeX RDF
10	Christos Ampatzis, Elio Tuci, Vito Trianni, Marco Dorigo	Evolution of Signalling in a Group of Robots Controlled by Dynamic Neural Networks.	Swarm Robotics	2006	DBLP DOI BibTeX RDF
10	Mark I. Parsons, Francis W. Wray	Programming FPGAs - Programming FPGAs: challenges and successes.	SC	2006	DBLP DOI BibTeX RDF
10	Leroy Anthony Drummond, Vicente Galiano Ibarra, Osni Marques, Violeta Migallón, José Penadés	PyACTS: A High-Level Framework for Fast Development of High Performance Applications.	VECPAR	2006	DBLP DOI BibTeX RDF
10	Hiroshi Yamauchi, Mario Wolczko	Writing Solaris device drivers in Java.	PLOS	2006	DBLP DOI BibTeX RDF	type-safe languages, operating systems, device drivers
10	Paul Coulton, Omer Rashid, Reuben Edwards, Robert Thompson 0002	Creating entertainment applications for cellular phones.	Comput. Entertain.	2005	DBLP DOI BibTeX RDF	sports services, J2ME, cellular, BREW, Symbian
10	Eamonn Kenny, Brian A. Coghlan, John Walsh 0001, Stephen Childs, David O'Callaghan, Geoff Quigley	Heterogeneity of Computing Nodes for Grid Computing.	EGC	2005	DBLP DOI BibTeX RDF
10	Osvaldo Gervasi, Cristian Dittamo, Antonio Laganà	A Grid Molecular Simulator for E-Science.	EGC	2005	DBLP DOI BibTeX RDF
10	Humaira Kamal, Brad Penoff, Alan Wagner	SCTP-Based Middleware for MPI in Wide-Area Networks.	CNSR	2005	DBLP DOI BibTeX RDF	Middleware, Protocol, MPI, Message-passing, Wide Area Network, SCTP
10	Carl Christensen, Tolu Aina, Dave Stainforth	The Challenge of Volunteer Computing with Lengthy Climate Model Simulations.	e-Science	2005	DBLP DOI BibTeX RDF
10	Davide Falessi, Guido Pennella, Giovanni Cantone	Experiences, Strategies and Challenges in Adapting PVM to VxWorks™ Hard Real-Time Operating System, for Safety-Critical Software.	PVM/MPI	2005	DBLP DOI BibTeX RDF	Open Source Software (OSS), Safety-Critical Software (SCS), Embedded Hard Real-Time (HRT) Distributed Systems, Experimental Software Engineering (ESE), Parallel Virtual Machine (PVM)
10	Franco Frattolillo, Salvatore D'Onofrio	An Efficient Parallel File System for Cluster Grids.	PVM/MPI	2005	DBLP DOI BibTeX RDF
10	Alberto Donato, Fabrizio Ferrandi, Massimo Redaelli, Marco D. Santambrogio, Donatella Sciuto	Caronte: A methodology for the Implementation of Partially dynamically Self-Reconfiguring Systems on FPGA Platforms.	VLSI-SoC	2005	DBLP DOI BibTeX RDF
10	Greg Stitt, Zhi Guo, Walid A. Najjar, Frank Vahid	Techniques for synthesizing binaries to an advanced register/memory structure.	FPGA	2005	DBLP DOI BibTeX RDF	smart buffers, FPGA, embedded systems, synthesis, decompilation, binaries
10	Ya-Shu Chen, Li-Pin Chang, Tei-Wei Kuo, Aloysius K. Mok	Real-time task scheduling anomaly: observations and prevention.	SAC	2005	DBLP DOI BibTeX RDF	process synchronization, real-time task scheduling
10	Anna T. Lawniczak, Alf Gerisch, Kevin P. Maxie, Bruno N. Di Stefano	Netzwerk: Migration of a Packet-Switching Network Simulation Environment from MS Windows PC to Linux PC and to HPC.	HPCS	2005	DBLP DOI BibTeX RDF	OSI Network Layer, POSIX threading, parallelization, packet-switching networks, pthreads
10	Cihan Sahin, Ashish Thandavan, Vassil N. Alexandrov	Grid Enablement of the Danish Eulerian Air Pollution Model.	HPCC	2005	DBLP DOI BibTeX RDF	Globus Toolkit 3, Large Scale Air Pollution Model, Grid, MPI, OGSA
10	Barry Norton, Sam Chapman, Fabio Ciravegna	Orchestration of Semantic Web Services for Large-Scale Document Annotation.	ESWC	2005	DBLP DOI BibTeX RDF
10	Antonio Carlos Schneider Beck, Luigi Carro	Application of Binary Translation to Java Reconfigurable Architectures.	IPDPS	2005	DBLP DOI BibTeX RDF
10	Jun Sun 0002, Wanghong Yuan, Mahesh Kallahalla, Nayeem Islam	HAIL: a language for easy and correct device access.	EMSOFT	2005	DBLP DOI BibTeX RDF	invariant specification and verification, register access, embedded systems, system-on-chip, software reuse, domain-specific languages, automatic code generation, device drivers
10	Simon Kågström, Håkan Grahn, Lars Lundberg	Experiences from Implementing Multiprocessor Support for an Industrial Operating System Kernel.	RTCSA	2005	DBLP DOI BibTeX RDF
10	Sai Gopalan, Gayathri Venkataraman, Sabu Emmanuel	FPGA Implementation and Analyses of Cluster Maintenance Algorithms in Mobile Ad-Hoc Networks.	Asia-Pacific Computer Systems Architecture Conference	2005	DBLP DOI BibTeX RDF	cluster maintenance algorithm, VHDL (Very High Speed Integrated Circuit Hardware Description Language), FPGA (Field Programmable Gate Arrays), Mobile ad-hoc networks
10	Peter Hellinckx, Kurt Vanmechelen, Gunther Stuer, Frans Arickx, Jan Broeckhove	User Experiences with Nuclear Physics Calculations on a H2O Metacomputing System and on the BEgrid.	International Conference on Computational Science (2)	2005	DBLP DOI BibTeX RDF
10	Eamonn Kenny, Brian A. Coghlan, George Tsouloupas, Marios D. Dikaiakos, John Walsh 0001, Stephen Childs, David O'Callaghan, Geoff Quigley	Heterogeneous Grid Computing: Issues and Early Benchmarks.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
10	Anat Dahan, Daniel Geist, Leonid Gluhovsky, Dmitry Pidan, Gil Shapir, Yaron Wolfsthal, Lyes Benalycherif, Romain Kamdem, Younes Lahbib	Combining System Level Modeling with Assertion Based Verification.	ISQED	2005	DBLP DOI BibTeX RDF
10	Georg Neugschwandtner, Wolfgang Kastner, Martin Kögler	Programming fieldbus nodes: a RAD approach to customizable applications.	ETFA	2005	DBLP DOI BibTeX RDF
10	Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano	Modelling CANopen communications according to the socket paradigm.	ETFA	2005	DBLP DOI BibTeX RDF
10	Salvatore Distefano, Antonio Puliafito, Marco Scarpa	GridSPN: a Grid-based non Markovian Petri Nets Tool.	WETICE	2005	DBLP DOI BibTeX RDF	Non-Markovian SPN, DPH, parallel computation, Grid, MPI, MPICH-G2