Sciweavers

127 search results - page 16 / 26
» Finding design qualities in a tangible programming space
Sort
View
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 3 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
109
Voted
CAL
2002
14 years 11 months ago
MinneSPEC: A New SPEC Benchmark Workload for Simulation-Based Computer Architecture Research
Abstract-- Computer architects must determine how to most effectively use finite computational resources when running simulations to evaluate new architectural ideas. To facilitate...
A. J. KleinOsowski, David J. Lilja
ICMCS
2006
IEEE
140views Multimedia» more  ICMCS 2006»
15 years 5 months ago
Evolutionary Feature Generation in Speech Emotion Recognition
Feature sets are broadly discussed within speech emotion recognition by acoustic analysis. While popular filter and wrapper based search help to retrieve relevant ones, we feel th...
Björn Schuller, Stephan Reiter, Gerhard Rigol...
CCE
2004
14 years 11 months ago
An algorithmic framework for improving heuristic solutions: Part II. A new version of the stochastic traveling salesman problem
The algorithmic framework developed for improving heuristic solutions of the new version of deterministic TSP [Choi et al., 2002] is extended to the stochastic case. To verify the...
Jaein Choi, Jay H. Lee, Matthew J. Realff
CORR
2010
Springer
133views Education» more  CORR 2010»
14 years 11 months ago
Access-Network Association Policies for Media Streaming in Heterogeneous Environments
Abstract--We study the design of media streaming applications in the presence of multiple heterogeneous wireless access methods with different throughputs and costs. Our objective ...
Ali ParandehGheibi, Muriel Médard, Asuman E...