Sciweavers

5707 search results - page 266 / 1142
» Symbolic Simulation - Techniques and Applications
Sort
View
CASE
2011
102views more  CASE 2011»
14 years 6 months ago
Towards an automated verification process for industrial safety applications
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
Kleanthis Thramboulidis, Doaa Soliman, Georg Frey
HPDC
2012
IEEE
13 years 9 months ago
Exploring the performance and mapping of HPC applications to platforms in the cloud
This paper presents a scheme to optimize the mapping of HPC applications to a set of hybrid dedicated and cloud resources. First, we characterize application performance on dedica...
Abhishek Gupta, Laxmikant V. Kalé, Dejan S....
EWSN
2008
Springer
16 years 6 months ago
Que: A Sensor Network Rapid Prototyping Tool with Application Experiences from a Data Center Deployment
Several considerable impediments stand in the way of sensor network prototype applications that wish to realize sustained deployments. These are: scale, longevity, data of interest...
David Chu, Feng Zhao, Jie Liu, Michel Goraczko
ICMCS
2007
IEEE
102views Multimedia» more  ICMCS 2007»
16 years 1 months ago
Joint Network and Rate Allocation for Simultaneous Wireless Applications
We address the problem of rate allocation and network/path selection for multiple users, running simultaneous applications over multiple parallel access networks. Our joint optimi...
Dan Jurca, Wolfgang Kellerer, Eckehard G. Steinbac...
ICTAI
2007
IEEE
16 years 1 months ago
CompoNet: Programmatically Embedding Neural Networks into AI Applications as Software Components
The provision of embedding neural networks into software applications can enable variety of Artificial Intelligence systems for individual users as well as organizations. Previous...
Uzair Ahmad, Andrey Gavrilov, Sungyoung Lee, Young...