Sciweavers

529 search results - page 80 / 106
» Context Sensitive Performance Analysis of Automotive Applica...
Sort
View
IFIP
2010
Springer
15 years 3 months ago
Service Migration Protocol for NFC Links
Abstract. In future ubiquitous communication environments, users expect to move freely while continuously interacting with the available applications through a variety of devices. ...
Anders Nickelsen, Miquel Martin, Hans-Peter Schwef...
FMCAD
2009
Springer
15 years 8 months ago
Generalized, efficient array decision procedures
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
Leonardo Mendonça de Moura, Nikolaj Bj&osla...
NAACL
2007
15 years 5 months ago
Automatic Assessment of Student Translations for Foreign Language Tutoring
This paper introduces the use of speech translation technology for a new type of voice-interactive Computer Aided Language Learning (CALL) application. We describe a computer game...
Chao Wang, Stephanie Seneff
JVM
2001
97views Education» more  JVM 2001»
15 years 5 months ago
Deterministic Execution of Java's Primitive Bytecode Operations
For the application of Java in realtime and safety critical domains, an analysis of the worst-case execution times of primitive Java operations is necessary. All primitive operati...
Fridtjof Siebert, Andy Walter
GECCO
2008
Springer
156views Optimization» more  GECCO 2008»
15 years 5 months ago
Computing minimum cuts by randomized search heuristics
We study the minimum s-t-cut problem in graphs with costs on the edges in the context of evolutionary algorithms. Minimum cut problems belong to the class of basic network optimiz...
Frank Neumann, Joachim Reichel, Martin Skutella