5054 search results - page 166 / 1011 » simulation 2008 |
125
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
144
click to vote
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Proposed and developed is the language Service Composition (SC) CoJava, which extends the programming language Java with (1) a modular service composition framework; (2) an extens...
125
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
We present an auto-tuning approach to optimize application performance on emerging multicore architectures. The methodology extends the idea of searchbased performance optimizatio...
139
click to vote
ISCC
2008
IEEE
15 years 10 months ago
2008
IEEE
Wireless sensor networks (WSNs) have emerged as the enabling technology for a wide range of applications. In the context of environmental monitoring, especially in urban scenarios...
122
click to vote
VTC
2008
IEEE
15 years 10 months ago
2008
IEEE
—Car-to-car communication (C2CC) enables cars to exchange information that can be used to, e.g., improve the drivers’ safety or comfort. Recently, WLANs based on the IEEE 802.1...