Sciweavers

828 search results - page 67 / 166
» Global Software Enterpreneurship
Sort
View
CAV
2009
Springer
165views Hardware» more  CAV 2009»
16 years 13 days ago
Symbolic Counter Abstraction for Concurrent Software
Counter Abstraction for Concurrent Software G?erard Basler1 , Michele Mazzucchi1 , Thomas Wahl1,2 , Daniel Kroening1,2 1 Computer Systems Institute, ETH Zurich, Switzerland 2 Compu...
Daniel Kroening, Gérard Basler, Michele Maz...
FIDJI
2003
Springer
15 years 5 months ago
Hard Real-Time Implementation of Embedded Software in JAVA
The popular slogan ”write once, run anywhere” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...
Jean-Pierre Talpin, Abdoulaye Gamatié, Davi...
HUC
1999
Springer
15 years 4 months ago
A Digital Photography Framework Supporting Social Interaction and Affective Awareness
Photographs have significant social roles. For example, they help families and friends to preserve an affective link and provide a support for communication. The increasing popular...
Olivier Liechti, Tadao Ichikawa
CSCLP
2004
Springer
15 years 3 months ago
Constraint-Based Approaches to the Covering Test Problem
Covering arrays have been studied for their applications to drug screening and software and hardware testing. In this paper, we model the problem as a constraint program. Our propo...
Brahim Hnich, Steven David Prestwich, Evgeny Selen...
AVSS
2003
IEEE
15 years 3 months ago
Combined Wavelet Domain and Temporal Video Denoising
We develop a new filter which combines spatially adaptive noise filtering in the wavelet domain and temporal filtering in the signal domain. For spatial filtering, we propose a ne...
Aleksandra Pizurica, Vladimir Zlokolica, Wilfried ...