Sciweavers

1332 search results - page 173 / 267
» A generative programming approach to developing pervasive co...
Sort
View
DAC
2006
ACM
13 years 11 months ago
Systematic software-based self-test for pipelined processors
Software-based self-test (SBST) has recently emerged as an effective methodology for the manufacturing test of processors and other components in systems-on-chip (SoCs). By moving ...
Mihalis Psarakis, Dimitris Gizopoulos, Miltiadis H...
GI
2010
Springer
13 years 7 months ago
Explicit and Implicit Ratings for Mobile Applications
: Today most mobile operating systems provide an application portal (e.g. Android Market, AppStore) where users can search by keywords and explicitly rate applications published by...
Andrea Girardello, Florian Michahelles
ICCV
1999
IEEE
14 years 11 months ago
Recognition of Multi-Agent Interaction in Video Surveillance
This paper describes a probabilistic syntactic approach to the detection and recognition of temporally extended activities and interactions between multiple agents. A complete sys...
Yuri A. Ivanov, Aaron F. Bobick
COORDINATION
2006
Springer
14 years 1 months ago
Synthesizing Concurrency Control Components from Process Algebraic Specifications
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
Edoardo Bontà, Marco Bernardo, Jeff Magee, ...
CASES
2007
ACM
14 years 1 months ago
Non-transparent debugging for software-pipelined loops
This paper tackles the problem of providing correct information about program variable values in a software-pipelined loop through a non-transparent debugging approach. Since mode...
Hugo Venturini, Frédéric Riss, Jean-...